Re-engineer Given flatten-skolems
[ghc.git] / testsuite / tests / typecheck / should_compile / T9834.stderr
2017-05-26  Simon Peyton JonesRe-engineer Given flatten-skolems
2017-03-10  Simon Peyton JonesImprove error messages for skolems
2016-06-20  Thomas MiedemaTestsuite: remove Windows CR again.. [skip ci]
2016-06-13  Simon Peyton JonesImprove typechecking of let-bindings
2016-02-27  Herbert Valerio... Annotate `[-Wdeferred-type-errors]` in warnings (re...
2015-12-15  Simon Peyton JonesAllow recursive (undecidable) superclasses
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-11-24  Evan LaforgeRearrange error msgs and add section markers (Trac...
2015-01-06  Simon Peyton JonesModify a couple of error messages slightly
2014-11-26  Simon Peyton JonesTest Trac #9834