Remove old coercion pretty-printer
[ghc.git] / compiler / iface / IfaceType.hs
2017-07-27  Richard EisenbergRemove old coercion pretty-printer
2017-07-27  Richard EisenbergPreserve CoVar uniques during pretty printing
2017-05-26  Simon Peyton JonesSome tidying up of type pretty-printing
2017-05-16  Simon Peyton JonesKill off unused IfaceType.eqIfaceType
2017-05-11  Ryan ScottParenthesize pretty-printed equalities when necessary
2017-03-01  Simon Peyton JonesImprove pretty-printing of types
2017-02-03  Sylvain HenryDitch static flags
2017-01-23  Simon Peyton JonesImprove pretty-printing of IfaceCoercions
2017-01-20  Phil de JouxShow explicit quantifiers in conflicting definitions...
2017-01-19  Richard EisenbergUpdate levity polymorphism
2016-12-13  John Leoprint * in unicode correctly (fixes #12550)
2016-11-25  Simon Peyton JonesImprove pretty-printing of types
2016-11-25  Simon Peyton JonesKill off ifaceTyVarsOfType
2016-11-13  Ben GamariKill Type pretty-printer
2016-06-30  Simon Peyton JonesFix pretty-printer for IfaceCo
2016-06-25  Richard Eisenbergs/Invisible/Inferred/g s/Visible/Required/g
2016-06-24  Simon Peyton JonesComments around invisibility
2016-06-24  Simon Peyton JonesImprove typechecking of instance defaults
2016-06-15  Simon Peyton JonesMajor patch to introduce TyConBinder
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-03-21  Richard EisenbergTrack specified/invisible more carefully.
2016-03-05  Rik SteenkampFix printing of an `IfacePatSyn`
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-02-18  Simon Peyton Jones(Another) minor refactoring of substitutions
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2016-01-18  Eric Seidelun-wire-in error, undefined, CallStack, and IP
2015-12-24  Richard EisenbergVisible type application
2015-12-17  Simon Peyton JonesImprove pretty-printing in pprIfaceIdBndr
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-11-25  Simon Peyton JonesRefactor default methods (Trac #11105)
2015-09-02  Eric SeidelUse IP based CallStack in error and undefined
2015-07-22  Edward Z. YangSome utility functions for testing IfaceType equality.
2015-05-20  Simon Peyton JonesFix binary instance for IfaceLitTy
2015-05-18  Simon Peyton JonesRefactor tuple constraints
2015-05-14  Austin SeippRevert multiple commits
2015-05-13  Simon Peyton JonesRefactor tuple constraints
2015-05-01  Simon Peyton JonesRefactor TyCon to eliminate TupleTyCon
2015-03-04  Simon Peyton JonesTidy up and improve comments about one-shot info
2015-02-10  Yuri de WitReplace .lhs with .hs in compiler comments
2014-12-18  Iavor S. DiatchkiAdd a provenance field to universal coercions.
2014-12-03  Austin Seippcompiler: de-lhs iface/