The type checker's constraint solver

The constraint solver is at the core of GHC's type inference engine. This page is just to help me track some open stuff I'm working on.

Branch: wip/spj-solver-branch

TIckets concerning termination of the solver

Last modified 3 years ago Last modified on Sep 2, 2016 11:00:35 AM