search

icicle-lang / icicle-ambiata

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

Reify possiblies: deal with primitives that return possibly #572

Closed amosr closed 7 years ago

amosr commented 7 years ago

! @tranma @jystic /jury approved @nhibberd

tranma commented 7 years ago

context: before the "cannot compute" change, only the arguments in an App can "infect" the type of the App with Possibly. Now the function can do that too. 👍

nhibberd commented 7 years ago

:+1:

tranma commented 7 years ago

update ice when this is merged too 💯