Major patch to introduce TyConBinder
[ghc.git] / testsuite / tests / typecheck / should_fail / T6018fail.stderr
2016-06-15  Simon Peyton JonesMajor patch to introduce TyConBinder
2016-06-15  Simon Peyton JonesRevert "Make the Ord Module independent of Unique order"
2016-06-13  Bartosz NitkaMake the Ord Module independent of Unique order
2016-04-26  Bartosz NitkaKill varSetElemsWellScoped in quantifyTyVars
2016-04-20  Simon Peyton JonesSCC analysis for instances as well as types/classes
2016-04-19  Simon Peyton JonesTighten checking for associated type instances
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