icicle-lang / icicle-ambiata

A streaming query language.
BSD 3-Clause "New" or "Revised" License
57 stars 11 forks source link

nan it all to hell #622

Closed amosr closed 6 years ago

amosr commented 6 years ago

I decided to move NanEq into icicle-data, because alpha equality, which is defined in icicle-data needed to use it.

! @jystic @tranma /jury approved @jystic

tranma commented 6 years ago

wow a new notion of alpha equivalence

amosr commented 6 years ago

I think I've used this pun before. I also changed the Map type generator, so it would only generate Ord types or primitives. Basically no arrays or maps inside the key of a Map.

amosr commented 6 years ago

625

jacobstanley commented 6 years ago

👍