search

amuletml / amulet

An ML-like functional programming language
https://amulet.works/
BSD 3-Clause "New" or "Revised" License
324 stars 14 forks source link

Type checker can't infer impredicative instantations from matches #281

Open plt-amy opened 4 years ago

plt-amy commented 4 years ago

See here. In:

    | None ->
      match tasks key with
      | Some task ->

task enters scope with type α, not - as you'd expect - forall 'x. _...

Ughr.

I worked around this by slapping some flex tape on lower!