When flattening, try reducing type-family applications eagerly
[ghc.git] / compiler / typecheck / TcSMonad.hs
2014-12-10  Simon Peyton JonesWhen flattening, try reducing type-family applications...
2014-12-10  Simon Peyton JonesReorganise the work list, so that flattening goals...
2014-12-08  Simon Peyton JonesImprove the treatment of AppTy equalities
2014-12-08  Simon Peyton JonesOptimise partitionFunEqs for the 'false' case
2014-12-03  Austin Seippcompiler: de-lhs typecheck/