search

alpaca-lang / alpaca

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

Use bound type variables when typing ADT members in type specs #253

Closed j14159 closed 6 years ago

j14159 commented 6 years ago

Fixes #242

Previously we weren't falling back to previously defined and bound type variables when typing type specs.