enso-org/enso
1
1
Fork 0
mirror of https://github.com/enso-org/enso.git synced 2024-12-25 17:51:59 +03:00
Code Issues Projects Releases Wiki Activity
68119ad6bb
enso/tools
History
Pavel Marek 4076a64f33
NaN can be used as a key in Map (#6301) 
`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`.
2023-04-20 09:25:36 +00:00
..
build-performance Faster dev builds; tooling for measuring build times and app performance. (#3491) 2022-06-02 19:24:18 +00:00
ci Update GraalVM to 22.3.1 (#5602) 2023-02-14 15:51:17 +00:00
enso4igv Fixing the node.js dependencies, so the VSCode plugin can be built again (#5738) 2023-02-28 13:43:26 +00:00
graphmod Add a markdown style guide (#1022) 2020-07-21 13:59:40 +01:00
language-server sbt runEngineDistribution ...args... to build and execute the engine (#5609) 2023-02-16 21:37:12 +00:00
legal-review Batch insert suggestions (#6189) 2023-04-06 07:47:23 +00:00
legal-review-helper Apply unified prettier style to engine codebase (#3145) 2021-11-08 16:45:29 +01:00
native-image-config-cleanup Apply unified prettier style to engine codebase (#3145) 2021-11-08 16:45:29 +01:00
performance NaN can be used as a key in Map (#6301) 2023-04-20 09:25:36 +00:00
simple-httpbin Simple HTTPBin to replace Go equivalent (#3887) 2022-11-18 11:27:27 +00:00
simple-library-server Bump the build script (#3535) 2022-07-01 03:58:14 +02:00
README.md Add a markdown style guide (#1022) 2020-07-21 13:59:40 +01:00

README.md

Enso Tools

This folder contains various tools and utilities that aid in the development of the Enso programming language. It should not be used as a dumping ground for things that have better places, but instead is used to hold things that should be part of this repository but do not have another sensible place for them.