Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / polykinds / T9017.stderr
2017-07-27  Richard EisenbergImprove error messages around kind mismatches.
2016-06-15  Simon Peyton JonesMajor patch to introduce TyConBinder
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-06-13  Simon Peyton JonesImprove typechecking of let-bindings
2016-05-18  Bartosz NitkaMake inert_model and inert_eqs deterministic sets
2015-12-15  Simon Peyton JonesAllow recursive (undecidable) superclasses
2015-12-12  Richard EisenbergTest #9017 in polykinds/T9017