mirror of
https://github.com/enso-org/enso.git
synced 2024-12-27 18:54:03 +03:00
4076a64f33
`Number.nan` can be used as a key in `Map`. This PR basically implements the support for [JavaScript's Same Value Zero Equality](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Equality_comparisons_and_sameness#same-value-zero_equality) so that `Number.nan` can be used as a key in `Map`. # Important Notes - For NaN, it holds that `Meta.is_same_object Number.nan Number.nan`, and `Number.nan != Number.nan` - inspired by JS spec. - `Meta.is_same_object x y` implies `Any.== x y`, except for `Number.nan`. |
||
---|---|---|
.. | ||
Base/0.0.0-dev | ||
Database/0.0.0-dev | ||
Examples/0.0.0-dev | ||
Geo/0.0.0-dev | ||
Google_Api/0.0.0-dev | ||
Image/0.0.0-dev | ||
Searcher/0.0.0-dev | ||
Table/0.0.0-dev | ||
Test/0.0.0-dev | ||
Visualization/0.0.0-dev |