Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / T6018failclosed.stderr
2016-07-14  Joachim BreitnertidyOccNames: Rename variables fairly
2016-04-26  Bartosz NitkaKill varSetElemsWellScoped in quantifyTyVars
2016-04-19  Simon Peyton JonesTighten checking for associated type instances
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-11  Jan StolarekTestsuite cleanup