Revise the inert-set invariants again
[ghc.git] / compiler / typecheck / TcCanonical.hs
2014-12-08  Simon Peyton JonesRevise the inert-set invariants again
2014-12-08  Simon Peyton JonesImprove the treatment of AppTy equalities
2014-12-03  Austin Seippcompiler: de-lhs typecheck/