-
chak@cse.unsw.edu.au. authored
- This adds the new equational solver based on the notion of normalised equalities. - The new algorithm is conceptually much simpler and will eventually enable us to implement a fully integrated solver that solves equality and dictionary constraints together. - More details are at <http://hackage.haskell.org/trac/ghc/wiki/TypeFunctionsSolving> - The code is there, but it is not being used yet.
c4ec8f2a