Remove old coercion pretty-printer
[ghc.git] / compiler / types / Coercion.hs-boot
2017-07-27  Richard EisenbergRemove old coercion pretty-printer
2017-03-29  Simon Peyton JonesAdd a couple of HasDebugCallStack contexts
2017-02-18  Ben GamariGeneralize kind of the (->) tycon
2016-12-21  Simon Peyton JonesMove typeSize/coercionSize into TyCoRep
2016-11-13  Ben GamariKill Type pretty-printer
2015-12-26  Richard EisenbergHave mkCastTy look more closely for reflexivity.
2015-12-11  Richard EisenbergAdd kind equalities to GHC.