Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / dependent / should_fail / all.T
2017-07-27  Richard EisenbergImprove error messages around kind mismatches.
2017-01-23  Simon Peyton JonesApply the right substitution in ty-fam improvement
2016-10-24  Simon Peyton JonesTest Trac #12081
2016-10-24  Simon Peyton JonesTest Trac #12174
2016-03-21  Richard EisenbergRename test for #11334 to 11334b, fixing conflict
2016-03-16  Richard EisenbergClean up some pretty-printing in errors.
2016-03-16  Richard EisenbergFix #11473.
2016-03-15  Richard EisenbergFix #11648.
2016-03-15  Richard EisenbergFix #11334.
2016-03-15  Richard EisenbergFix #11407.
2015-12-14  Richard EisenbergSuggest import Data.Kinds when * is out of scope
2015-12-11  Richard EisenbergAdd kind equalities to GHC.