Fix SigTvs at the kind level
[ghc.git] / testsuite / tests / polykinds / all.T
2017-12-11  Simon Peyton JonesFix SigTvs at the kind level
2017-12-11  Simon Peyton JonesBuild only well-kinded types in type checker
2017-11-22  Ben GamariUpdate Hadrian
2017-11-15  Andrey MokhovPull recent Hadrian changes from upstream
2017-11-14  Simon Peyton JonesFix a TyVar bug in the flattener
2017-11-10  Ben GamariMerge commit '5229c43ccf77bcbffeced01dccb27398d017fa34'
2017-11-06  Andrey MokhovMerge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988...
2017-10-11  Simon Peyton JonesAvoid creating dependent types in FloatOut
2017-10-03  Ryan ScottAdd regression test for #9725
2017-09-29  Richard EisenbergFix #13391 by checking for kind-GADTs
2017-09-25  Simon Peyton JonesImprove type-error reporting
2017-09-13  Ryan ScottAdd regression test for #14209
2017-09-05  Ryan ScottImplicitly bind kind variables in type family instance...
2017-08-29  Simon Peyton JonesRefactor bindHsQTyVars and friends
2017-08-18  Simon Peyton JonesTest Trac #14110
2017-05-19  Simon Peyton JonesFix scoping of data cons during kind checking
2017-05-09  Simon Peyton JonesAdd regression test for Trac #13659
2017-05-04  Ryan ScottAdd regression test for #11616
2017-04-23  Ryan ScottDocument the kind generalization behavior observed...
2017-03-10  Simon Peyton JonesFix TcSimplify.decideQuantification for kind variables
2017-03-10  Simon Peyton JonesDeal with JoinIds before void types
2017-03-08  Simon Peyton JonesJoin points can be levity-polymorphic
2017-02-21  Simon Peyton JonesDisallow class instances for synonyms
2017-01-22  Thomas MiedemaRemove clean_cmd and extra_clean usage from .T files
2016-12-01  Ben Gamaritestsuite: Add another testcase for #11821
2016-11-28  Simon Peyton JonesTest Trac #12885
2016-11-25  Simon Peyton JonesAnother major constraint-solver refactoring
2016-10-27  Simon Peyton JonesAllow levity-polymorpic arrows
2016-09-30  Simon Peyton JonesFix a bug in occurs checking
2016-06-30  Alexander ViethTrac #11554 fix loopy GADTs
2016-06-13  Simon Peyton JonesA second test for Trac #12055
2016-06-13  Simon Peyton JonesTest Trac #12055
2016-05-10  Simon Peyton JonesTest Trac #11640
2016-04-29  Richard EisenbergRemove the incredibly hairy splitTelescopeTvs.
2016-03-16  Richard EisenbergFix printing of "kind" vs. "type"
2016-03-15  Richard EisenbergFix #11648.
2016-02-26  Simon Peyton JonesTest Trac #11611
2016-02-15  Bartosz NitkaAdd a testcase for #11362
2016-02-10  Simon Peyton JonesWrap solveEqualities in checkNoErrs
2016-02-08  Simon Peyton JonesFix a nasty superclass expansion bug
2016-02-08  Simon Peyton JonesAdd Edward Kmett's example as a test case
2016-01-25  Simon Peyton JonesSpecial-case implicit params in superclass expansion
2016-01-21  Simon Peyton JonesAllow implicit parameters in constraint synonyms
2016-01-21  Simon Peyton JonesRe-add missing kind generalisation
2015-12-26  Richard EisenbergFix #11255.
2015-12-24  Richard EisenbergVisible type application
2015-12-23  Simon Peyton JonesFix super-class cycle check
2015-12-18  Simon Peyton JonesTest Trac #11248, #11249
2015-12-17  Richard EisenbergFix tcTyClTyVars to handle SigTvs
2015-12-12  Richard EisenbergTest #9017 in polykinds/T9017
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-10-06  Simon Peyton JonesFix kind-var abstraction in SimplUtils.abstractFloats
2015-08-06  Simon Peyton JonesTest Trac #10742
2015-08-03  Simon Peyton JonesTest Trac #10134
2015-07-23  Simon Peyton JonesFix Trac #10670
2015-07-13  Thomas MiedemaTestsuite: delete remaining only_compiler_types(['ghc...
2015-07-10  Simon Peyton JonesImprove error message for fundeps
2015-06-18  Simon Peyton JonesTest Trac #10503
2015-06-18  Simon Peyton JonesReport arity errors correctly despite kinds
2015-06-16  Ben Gamariusers_guide: Various spelling fixes
2015-06-16  Ben GamariLexer: Suggest adding 'let' on unexpected '=' token
2015-06-02  Simon Peyton JonesTest Trac #10451
2015-02-06  Simon Peyton JonesTest Trac #10041
2014-12-01  Simon Peyton JonesTest Trac #7908
2014-12-01  Simon Peyton JonesFix the handling of instance signatures (Trac #9582...
2014-11-28  Simon Peyton JonesKind variables in RHS of an associated type instances...
2014-11-27  Simon Peyton JonesDon't require ConstraintKinds at usage sites (Trac...
2014-11-21  Simon Peyton JonesTest Trac #9569
2014-11-21  Simon Peyton JonesTrac #9222 is actually an ambiguous type, now detected
2014-11-04  Simon Peyton JonesTest Trac #9750
2014-08-12  Richard EisenbergTestsuite wibbles around #9200
2014-08-12  Richard EisenbergAdded more testing for #9200. (polykinds/T9200b)
2014-08-12  Richard EisenbergTest #9200. (polykinds/T9200)
2014-07-15  Simon Peyton JonesEntirely re-jig the handling of default type-family...
2014-07-01  Simon Peyton JonesTest Trac #9222
2014-05-27  Simon Peyton JonesTest Trac #9144
2014-05-23  Simon Peyton JonesMake the unifier a fixpoint even for the free kind...
2014-04-19  Herbert Valerio... Fold template-haskell.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold integer-gmp.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold integer-simple.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold base.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold ghc-prim.git into ghc.git (re #8545)
2014-04-14  Simon Peyton JonesTest Trac #8985
2014-02-18  Simon Peyton JonesKeep kind-inconsistent Given type equalities (fixes...
2014-02-09  Richard EisenbergTest #7481, which had already been fixed.
2014-01-17  Simon Peyton JonesAdd an expect-broken test for Trac #8566
2014-01-13  Simon Peyton JonesTest Trac #8616
2014-01-12  Herbert Valerio... Fold testsuite.git into ghc.git (re #8545)
2013-12-10  Simon Peyton JonesTest Trac #8566
2013-11-19  Simon Peyton JonesTest Trac #8534
2013-10-18  Simon Peyton JonesTest Trac #8449
2013-10-03  Simon Peyton JonesTest Trac #8391
2013-10-01  Simon Peyton JonesTest Trac #8359
2013-09-04  Jose Pedro MagalhaesAdd test for #8132
2013-06-27  Richard EisenbergTest kind inference for closed type families/T7939.
2013-06-14  Ian LynaghFix some testsuite cleaning; part of #7941
2013-06-10  Simon Peyton JonesTest Trac #7973
2013-05-30  Austin SeippRemove CatPairs test.
2013-05-30  Austin SeippAdd test for polykinded Control.Category.
2013-05-22  Simon Peyton JonesTest Trac #7916
next