Make the Ord Module independent of Unique order
[ghc.git] / testsuite / tests / dependent /
2016-06-13  Simon Peyton JonesImprove typechecking of let-bindings
2016-04-26  Bartosz NitkaKill varSetElems in TcErrors
2016-04-26  Bartosz NitkaKill varSetElemsWellScoped in quantifyTyVars
2016-04-22  Simon Peyton JonesWarn about simplifiable class constraints
2016-04-04  Simon Peyton JonesDeeply instantiate in :type
2016-03-24  Ben GamariDefault RuntimeRep variables unless -fprint-explicit...
2016-03-21  Richard EisenbergFix #11723 and #11724.
2016-03-21  Richard EisenbergRename test for #11334 to 11334b, fixing conflict
2016-03-21  Richard EisenbergFix #11635 / #11719.
2016-03-21  Richard EisenbergTypeApplications does not imply AllowAmbiguousTypes
2016-03-17  Richard EisenbergFix #11512 by getting visibility right for methods
2016-03-17  Richard EisenbergFix #11716.
2016-03-17  Richard EisenbergFix #11711.
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.
2016-02-27  Herbert Valerio... Print which flag controls emitted desugaring warnings
2016-02-25  Michael WalkerPrint which warning-flag controls an emitted warning
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-02-17  Richard EisenbergFix #11241.
2016-01-29  Thomas MiedemaMark dynamic-paper as expect_fail_for optasm and optllv...
2016-01-26  Simon Peyton JonesFix two cloning-related bugs
2016-01-26  Simon Peyton JonesAdd "ticks-exhausted" comment
2016-01-15  Richard EisenbergFix #11405.
2016-01-15  Richard EisenbergConstrained types have kind * in validity check.
2016-01-15  Richard EisenbergFix #11311
2015-12-26  Richard EisenbergHave mkCastTy look more closely for reflexivity.
2015-12-14  Richard EisenbergTest #9632 in dependent/should_compile/T9632
2015-12-14  Richard EisenbergSuggest import Data.Kinds when * is out of scope
2015-12-12  Richard EisenbergTest case for #7961.
2015-12-11  Richard EisenbergAdd kind equalities to GHC.