Cannot deduce type for `from b in [SOME true, NONE]`

hydromatic / morel

Standard ML interpreter, with relational extensions, implemented in Java

Apache License 2.0

291 stars 15 forks source link

Closed julianhyde closed 7 months ago

julianhyde commented 8 months ago

Cannot deduce type for the following expression:

from b in [SOME true, NONE]

The expression should have type bool option list, but Morel has trouble applying a parameterized type (list) to a parameterized type (option).