Flat constraint --> Simple constraint
[ghc.git] / compiler / typecheck / TcSimplify.hs
2014-12-12  Richard EisenbergFlat constraint --> Simple constraint
2014-12-12  Richard EisenbergRewrite `Coercible` solver
2014-12-03  Austin Seippcompiler: de-lhs typecheck/