Refine the suppression of RuntimeRep variables
[ghc.git] / compiler / iface / IfaceType.hs
2018-12-20  Simon Peyton JonesRefine the suppression of RuntimeRep variables
2018-12-19  Ryan ScottFix #16030 by refactoring IfaceSyn's treatment of GADT...
2018-12-03  Arnaud SpiwackFix link name to a note
2018-11-26  Ryan ScottFix #15941 by only special-casing visible infix applica...
2018-11-26  Ryan ScottPrint explicit foralls in type family eqns when appropriate
2018-11-22  Ryan ScottOverhaul -fprint-explicit-kinds to use VKA
2018-11-15  Simon Peyton JonesSmarter HsType pretty-print for promoted datacons
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-10-04  Simon Peyton JonesBetter pretty-printing of forall types
2018-09-15  ningningCoercion Quantification
2018-08-24  Simon Peyton JonesAdd comments about pretty-printing via IfaceSyn
2018-08-05  Krzysztof GogolewskiFix typos
2018-07-11  Ryan ScottUse IfaceAppArgs to store an IfaceAppTy's arguments
2018-07-10  ningningRefactor coercion rule
2018-07-05  Ryan ScottMake ppr_tc_args aware of -fprint-explicit-kinds
2018-07-05  Ryan ScottFix #15308 by suppressing invisble args more rigorously
2018-06-14  Vladislav ZavialovEmbrace -XTypeInType, add -XStarIsType
2018-06-08  HE, TaoFix `print-explicit-runtime-reps` (#11786).
2018-06-07  Andreas HerrmannFix unparseable pretty-printing of promoted data cons
2018-06-02  Ben Gamarivectorise: Put it out of its misery
2018-05-16  Ryan ScottFix #15039 by pretty-printing equalities more systemati...
2018-05-14  Ryan ScottFix #14875 by introducing PprPrec, and using it
2018-04-07  Ryan ScottFix #14238 by always pretty-printing visible tyvars
2018-04-01  Richard EisenbergTrack type variable scope more carefully.
2018-03-19  Simon Peyton JonesComments and tiny refactor
2018-03-03  Ryan ScottParenthesize (() :: Constraint) in argument position
2018-01-03  Simon Peyton JonesMore informative pretty-printing for phantom coercions
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-03  Ryan ScottTrack the order of user-written tyvars in DataCon
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-09-14  Richard EisenbergFix #13963.
2017-09-14  Richard EisenbergFix #13407 by suppressing invisibles better.
2017-09-02  Ryan ScottFix #14167 by using isGadtSyntaxTyCon in more places
2017-08-31  Herbert Valerio... Add missing Semigroup instances to compiler
2017-08-31  Simon Peyton JonesAdd debugPprType
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/