Simplify poly and poly_constraints

sdiehl / write-you-a-haskell

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

MIT License

3.34k stars 256 forks source link

Simplify poly and poly_constraints #42

Closed chsievers closed 9 years ago

chsievers commented 9 years ago

Guess the first commit is beyond dispute, the others might remove machinery that you need later on.

sdiehl commented 9 years ago

Looks simpler to me! Later on when we add type classes to the mix the solver logic will change, but I don't see any reason why we need it here for vanilla HM.