Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds /
2018-08-01  Richard EisenbergRemove the type-checking knot.
2018-07-25  Simon Peyton JonesSet GenSigCtxt for the argument part of tcSubType
2018-07-16  Vladislav ZavialovDo not imply NoStarIsType by TypeOperators/TypeInType
2018-07-10  Richard EisenbergUnwrap casts before checking vars in eager unifier
2018-07-10  Simon Peyton JonesMore refactoring in TcValidity
2018-07-05  Simon Peyton JonesRefactor validity checking for constraints
2018-06-20  Ben Gamaribase: Add missing instances for Data.Ord.Down
2018-06-16  Richard EisenbergQuantify unfixed kind variables in CUSKs
2018-06-14  Vladislav ZavialovEmbrace -XTypeInType, add -XStarIsType
2018-06-04  Simon Peyton JonesExpand type synonyms when Linting a forall
2018-06-03  Ryan ScottFix #13777 by improving the underdetermined CUSK error...
2018-05-27  chessaibase: Introduce Data.Monoid.Ap
2018-05-26  Ryan ScottAdd regression test for #14172
2018-05-21  Simon Peyton JonesMake dischargeFmv handle Deriveds
2018-05-19  Jack Henahanbase: Add Foldable and Traversable instances for Alt
2018-05-18  Simon Peyton JonesOrient TyVar/TyVar equalities with deepest on the left
2018-05-08  Simon Peyton JonesSimplify the kind checking for type/class decls
2018-04-19  Ryan ScottFix #14710 with more validity checks during renaming
2018-04-06  Ben Gamaritestsuite: Accept output for T12593
2018-04-01  Richard EisenbergTrack type variable scope more carefully.
2018-03-26  Alexander ViethFix performance of flattener patch (#12919)
2018-03-05  Simon Peyton JonesRespect Note [The tcType invariant]
2018-02-27  Simon Peyton JonesFix a nasty bug in the pure unifier
2018-02-13  HE, TaoRaise parse error for `data T where`.
2018-01-31  Simon Peyton JonesPrioritise equalities when solving, incl deriveds
2018-01-26  Ryan ScottFix #14719 by using the setting the right SrcSpan
2017-12-18  Simon Peyton JonesFix scoping of pattern-synonym existentials
2017-12-15  Simon Peyton JonesFix tcDataKindSig
2017-12-14  Simon Peyton JonesAdd test for Trac #14580
2017-12-13  Simon Peyton JonesFurther improvements to well-kinded types
2017-12-13  Simon Peyton JonesAdd missing stderr for Trac #14561
2017-12-13  Simon Peyton JonesDetect levity-polymorphic uses of unsafeCoerce#
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 ScottTrack the order of user-written tyvars in DataCon
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-07  Herbert Valerio... Make Semigroup a superclass of Monoid (re #14191)
2017-09-05  Ryan ScottImplicitly bind kind variables in type family instance...
2017-09-04  Herbert Valerio... Move NonEmpty definition into GHC.Base
2017-08-29  Simon Peyton JonesRefactor bindHsQTyVars and friends
2017-08-18  Simon Peyton JonesTest Trac #14110
2017-07-27  Richard EisenbergTrack visibility in TypeEqOrigin
2017-07-27  Richard EisenbergFix #13819 by refactoring TypeEqOrigin.uo_thing
2017-07-27  Richard EisenbergImprove error messages around kind mismatches.
2017-05-28  Alan ZimmermanRemove HsContext from ppr_mono_ty, and remove ppParendH...
2017-05-26  Simon Peyton JonesSome tidying up of type pretty-printing
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 JonesImprove error messages for skolems
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-02-18  Ben GamariType-indexed Typeable
2017-01-22  Thomas MiedemaRemove clean_cmd and extra_clean usage from .T files
2016-12-07  Alan ZimmermanAdd HsSyn prettyprinter tests
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-31  Gabor GreifTypos in comments
2016-10-27  Simon Peyton JonesAllow levity-polymorpic arrows
2016-10-24  Simon Peyton JonesTake account of kinds in promoteTcType
2016-10-21  Simon Peyton JonesA collection of type-inference refactorings.
2016-09-30  Simon Peyton JonesFix a bug in occurs checking
2016-06-30  Alexander ViethTrac #11554 fix loopy GADTs
2016-06-20  Thomas MiedemaTestsuite: tabs -> spaces [skip ci]
2016-06-20  Thomas MiedemaTestsuite: remove Windows CR [skip ci]
2016-06-15  Simon Peyton JonesMajor patch to introduce TyConBinder
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-06-13  Simon Peyton JonesA second test for Trac #12055
2016-06-13  Simon Peyton JonesTest Trac #12055
2016-06-13  Simon Peyton JonesImprove typechecking of let-bindings
2016-05-18  Bartosz NitkaMake inert_model and inert_eqs deterministic sets
2016-05-10  Simon Peyton JonesTest Trac #11640
2016-04-29  Richard EisenbergRemove the incredibly hairy splitTelescopeTvs.
2016-04-28  Simon Peyton JonesMinor improvement to error message
2016-04-26  Bartosz NitkaKill varSetElemsWellScoped in quantifyTyVars
2016-04-22  Simon Peyton JonesWarn about simplifiable class constraints
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-03-21  Richard EisenbergMake equality print better. (#11712)
2016-03-16  Richard EisenbergClean up some pretty-printing in errors.
2016-03-16  Richard EisenbergFix printing of "kind" vs. "type"
2016-03-15  Richard EisenbergTestsuite wibbles from previous commits.
2016-03-15  Richard EisenbergFix #11648.
2016-02-26  Simon Peyton JonesTest Trac #11611
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-02-23  Thomas MiedemaTestsuite: delete Windows line endings [skip ci] (...
2016-02-23  Thomas MiedemaTestsuite: accept output without Windows line endings...
next