Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T9222.stderr
2018-07-25  Simon Peyton JonesSet GenSigCtxt for the argument part of tcSubType
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-01-26  Ryan ScottFix #14719 by using the setting the right SrcSpan
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-05-26  Simon Peyton JonesSome tidying up of type pretty-printing
2016-11-25  Simon Peyton JonesAnother major constraint-solver refactoring
2016-10-24  Simon Peyton JonesTake account of kinds in promoteTcType
2016-03-21  Richard EisenbergMake equality print better. (#11712)
2016-03-15  Richard EisenbergTestsuite wibbles from previous commits.
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-11-21  Bartosz NitkaCreate a deterministic version of tyVarsOfType
2015-06-18  Simon Peyton JonesReport arity errors correctly despite kinds
2015-01-06  Simon Peyton JonesPrint singleton consraints without parens
2014-11-21  Simon Peyton JonesTrac #9222 is actually an ambiguous type, now detected