Remove knot-tying bug in TcHsSyn.zonkTyVarOcc
[ghc.git] / testsuite / tests / dependent / should_fail /
2018-08-24  Simon Peyton JonesBetter error reporting for inaccessible code
2018-08-02  Richard EisenbergRemove decideKindGeneralisationPlan
2018-08-01  Richard EisenbergRemove the type-checking knot.
2018-07-10  Simon Peyton JonesFix decompsePiCos and visible type application
2018-07-05  Ryan ScottFix #15308 by suppressing invisble args more rigorously
2018-06-17  Ryan ScottRemove accidentally checked-in T14845.stderr
2018-06-17  Ryan ScottProvide a better error message for unpromotable data...
2018-06-15  Simon Peyton JonesMake better "fake tycons" in error recovery
2018-06-14  Vladislav ZavialovEmbrace -XTypeInType, add -XStarIsType
2018-05-18  Simon Peyton JonesOrient TyVar/TyVar equalities with deepest on the left
2018-04-01  Richard EisenbergTrack type variable scope more carefully.
2018-03-26  Richard EisenbergFix #12919 by making the flattener homegeneous.
2017-11-22  Ben GamariUpdate Hadrian
2017-11-15  Andrey MokhovPull recent Hadrian changes from upstream
2017-11-10  Ben GamariMerge commit '5229c43ccf77bcbffeced01dccb27398d017fa34'
2017-11-06  Andrey MokhovMerge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988...
2017-07-30  Gabor GreifTypofixes [ci skip]
2017-07-28  Ryan ScottAdd regression tests for #13601, #13780, #13877
2017-07-27  Richard EisenbergImprove error messages around kind mismatches.
2017-01-23  Simon Peyton JonesApply the right substitution in ty-fam improvement
2017-01-19  Richard EisenbergUpdate levity polymorphism
2016-12-07  Alan ZimmermanAdd HsSyn prettyprinter tests
2016-11-13  Ben GamariKill Type pretty-printer
2016-10-24  Simon Peyton JonesTest Trac #12081
2016-10-24  Simon Peyton JonesTest Trac #12174
2016-06-28  Simon Peyton JonesWibble error message for #11471
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-04-26  Bartosz NitkaKill varSetElems in TcErrors
2016-04-26  Bartosz NitkaKill varSetElemsWellScoped in quantifyTyVars
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-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-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2015-12-14  Richard EisenbergSuggest import Data.Kinds when * is out of scope
2015-12-11  Richard EisenbergAdd kind equalities to GHC.