Some tidying up of type pretty-printing
[ghc.git] / testsuite / tests / typecheck / should_fail / T10194.stderr
2015-04-22  Simon Peyton JonesImprove error reporting for impredicative types
2015-04-07  Simon Peyton JonesLook inside synonyms for foralls when unifying