Treat isConstraintKind more consistently
[ghc.git] / compiler / types / Kind.hs
2018-07-25  Simon Peyton JonesTreat isConstraintKind more consistently
2018-06-14  Vladislav ZavialovEmbrace -XTypeInType, add -XStarIsType
2018-06-04  Simon Peyton JonesImplement QuantifiedConstraints
2018-03-21  Ryan ScottFix #14869 by being more mindful of Type vs. Constraint
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-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-08-24  Simon Peyton JonesRemove typeKind from Type.hs-boot
2017-05-03  Richard EisenbergFix #13233 by checking for lev-poly primops
2017-03-31  Ben GamariClean up coreView/tcView.
2017-02-18  Ben GamariType-indexed Typeable
2017-01-19  Richard EisenbergUpdate levity polymorphism
2016-11-30  Simon Peyton JonesRename RuntimeRepPolymorphism to LevityPolymorphism
2016-10-27  Simon Peyton JonesFix typo in comment
2016-10-27  Simon Peyton JonesAllow levity-polymorpic arrows
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-03-23  Simon Peyton JonesComment fix
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-09-03  Jan StolarekInjective type families
2015-02-10  Yuri de WitReplace .lhs with .hs in compiler comments
2014-12-01  Herbert Valerio... unlit compiler/types/ modules