search

alpaca-lang / alpaca

Functional programming inspired by ML for the Erlang VM
Other
1.44k stars 47 forks source link

Type errors for type instance tag/constructor arity errors. #252

Closed j14159 closed 6 years ago

j14159 commented 6 years ago

Fixes #229.

Given:

type opt 'a = Some 'a | None

Now both of these are proper type errors with details: