Define TyCoRep.ppSuggestExplicitKinds, and use it
[ghc.git] / testsuite / tests / typecheck / should_fail / T6018fail.stderr
2016-04-19  Simon Peyton JonesDefine TyCoRep.ppSuggestExplicitKinds, and use it
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-11-18  Michał SośnickiFix inconsistent pretty-printing of type families
2015-09-21  Richard EisenbergRe-polish error messages around injective TFs.
2015-09-19  Richard EisenbergPolish some error messages.
2015-09-19  Richard EisenbergFix #10815 by kind-checking type patterns against known...
2015-09-03  Jan StolarekInjective type families