search

alpaca-lang / alpaca

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

Make precompiled modules' types available to exhaustiveness checks #255

Closed j14159 closed 6 years ago

j14159 commented 6 years ago

Fixes #228