Smarter HsType pretty-print for promoted datacons
[ghc.git] / compiler / iface / ToIface.hs
2018-11-15  Simon Peyton JonesSmarter HsType pretty-print for promoted datacons
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-09-15  ningningCoercion Quantification
2018-08-22  Simon Peyton JonesTurn infinite loop into a panic
2018-08-21  klebinger.andreas... Replace most occurences of foldl with foldl'.
2018-07-24  Simon Peyton JonesFix a nasty bug in piResultTys
2018-07-11  Ryan ScottUse IfaceAppArgs to store an IfaceAppTy's arguments
2018-07-10  ningningRefactor coercion rule
2018-06-25  Simon Peyton JonesMore misc comments
2018-04-20  Tobias DammersCaching coercion roles in NthCo and coercionKindsRole...
2018-04-01  Richard EisenbergTrack type variable scope more carefully.
2018-01-03  Simon Peyton JonesGet evaluated-ness right in the back end
2017-12-21  Simon Peyton JonesRefactor coercion holes
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-10-31  Simon Peyton JonesTidy up IfaceEqualityTyCon
2017-10-30  Ryan ScottFix #14390 by making toIfaceTyCon aware of equality
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-07-27  Richard EisenbergRemove old coercion pretty-printer
2017-07-27  Richard EisenbergPreserve CoVar uniques during pretty printing
2017-06-29  Ryan ScottTypos in comments
2017-03-01  Simon Peyton JonesImprove pretty-printing of types
2017-02-18  Ben GamariGeneralize kind of the (->) tycon
2017-02-01  Luke MaurerJoin points
2017-01-19  Richard EisenbergUpdate levity polymorphism
2016-11-28  Simon Peyton JonesComments only (related to #12789)
2016-11-25  Simon Peyton JonesImprove pretty-printing of types
2016-11-25  Simon Peyton JonesAnother major constraint-solver refactoring
2016-11-13  Ben GamariKill Type pretty-printer