Fix free checks in kindChecks (actually in Solver)

pietervdvn / Lang

Yet another programming language

1 stars 1 forks source link

Fix free checks in kindChecks (actually in Solver) #57

Closed pietervdvn closed 9 years ago

pietervdvn commented 9 years ago

Consider data type data A (a:Functor) (b:a, Monad). This means the free type variable a has the kind * ~> *, but the check gets an empty dictionary (thus all frees are considered of kind *)

Thus:

[x] Make a function that calculates the kinds of frees (based on the kind table and requirement table)
[x] Fix in Solver

pietervdvn commented 9 years ago

Fixed, but withing check type req table