compiler: introduce custom "GhcPrelude" Prelude
[ghc.git] / compiler / types / Kind.hs
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