Revert "Batch merge"
[ghc.git] / testsuite / tests / polykinds /
2019-01-30  Ben GamariRevert "Batch merge"
2019-01-30  Ben GamariBatch merge
2019-01-03  mynguyenVisible kind application
2018-12-21  Simon Peyton JonesMake candidateQTvs contain tyvar with zonked kinds
2018-12-07  Simon Peyton JonesWibble to Taming the Kind Inference Monster
2018-12-06  Simon Peyton JonesTests Trac #14847
2018-11-29  Simon Peyton JonesTaming the Kind Inference Monster
2018-11-22  Ryan ScottOverhaul -fprint-explicit-kinds to use VKA
2018-11-15  Simon Peyton JonesSmarter HsType pretty-print for promoted datacons
2018-11-01  Richard EisenbergActually fail in failIfEmitsConstraints
2018-10-30  Ryan ScottAdd second test case for #15592
2018-10-29  Richard EisenbergFix #15787 by squashing a coercion hole.
2018-10-29  Tobias DammersFinish fix for #14880.
2018-10-26  Simon Peyton JonesFix nasty bug in the type free-var finder, at last
2018-10-24  Simon Peyton JonesImprove output from -ddump-types
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-10-15  Vladislav ZavialovEnable -Wcompat=error in the testsuite
2018-10-04  Alec TheriaultAllow (unparenthesized) kind signatures
2018-10-04  Simon Peyton JonesDistinguish Inferred from Specified tyvars
2018-09-03  Simon Peyton JonescanCFunEqCan: use isTcReflexiveCo (not isTcReflCo)
2018-09-02  Ryan ScottReject class instances with type families in kinds
2018-08-28  Ryan ScottRename kind vars in left-to-right order in bindHsQTyVars
2018-08-24  Simon Peyton JonesBetter error reporting for inaccessible code
2018-08-17  Joachim BreitnerRename SigTv to TyVarTv (#15480)
2018-08-02  Richard EisenbergRemove decideKindGeneralisationPlan
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
next