Fix #16030 by refactoring IfaceSyn's treatment of GADT constructors
[ghc.git] / compiler / iface / IfaceSyn.hs
2018-12-19  Ryan ScottFix #16030 by refactoring IfaceSyn's treatment of GADT...
2018-11-29  Simon Peyton JonesTaming the Kind Inference Monster
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-01  Richard EisenbergFix embarrassing, egregious bug in roles of (->)
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-09-15  ningningCoercion Quantification
2018-09-13  Simon Peyton JonesComments only (on IfDataInstance)
2018-08-24  Simon Peyton JonesAdd comments about pretty-printing via IfaceSyn
2018-07-11  Ryan ScottUse IfaceAppArgs to store an IfaceAppTy's arguments
2018-07-10  ningningRefactor coercion rule
2018-05-14  Ryan ScottFix #14875 by introducing PprPrec, and using it
2018-01-05  Simon Peyton JonesImprove pretty-printing for pattern synonyms
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-16  Edward Z. YangLevity polymorphic Backpack.
2017-10-03  Ryan ScottTrack the order of user-written tyvars in DataCon
2017-09-26  Gabor GreifA bunch of typofixes
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-09-02  Ryan ScottFix #14167 by using isGadtSyntaxTyCon in more places
2017-08-31  Simon Peyton JonesAdd debugPprType
2017-07-27  Richard EisenbergPreserve CoVar uniques during pretty printing
2017-05-20  Ryan ScottPretty-print strict record fields from ifaces correctly
2017-05-19  Simon Peyton JonesAccount for IfUnpackCo in freeNamesIfDecl
2017-05-19  Simon Peyton JonesRefactor freeNamesIfDecl
2017-05-16  Simon Peyton JonesKill off unused IfaceType.eqIfaceType
2017-04-25  Ryan ScottOnly pretty-print binders in closed type families with...
2017-03-08  Reid BartonComments only [ci skip]
2017-03-03  Reid BartonDeserialize IfaceId more lazily
2017-03-02  Edward Z. YangProperly represent abstract classes in Class and IfaceDecl
2017-03-01  Simon Peyton JonesImprove pretty-printing of types
2017-02-27  Edward Z. YangTreat all TyCon with hole names as skolem abstract.
2017-02-24  Edward Z. YangRecord full FieldLabel in ifConFields.
2017-02-18  Edward Z. YangSay 'data' explicitly in IfAbstractTyCon output.
2017-02-12  Reid BartonMark orphan instances and rules in --show-iface output
2017-02-03  Sylvain HenryDitch static flags
2017-02-01  Luke MaurerJoin points
2017-01-30  Matthew PickeringPrint COMPLETE pragmas in --show-iface
2017-01-26  Matthew PickeringCOMPLETE pragmas for enhanced pattern exhaustiveness...
2017-01-25  Gabor GreifTypos in comments [ci skip]
2017-01-20  Phil de JouxShow explicit quantifiers in conflicting definitions...
2017-01-19  Richard EisenbergUpdate levity polymorphism
2016-11-25  Simon Peyton JonesImprove pretty-printing of types
2016-11-13  Ben GamariKill Type pretty-printer
2016-10-20  Edward Z. YangNew story for abstract data types in hsig files.
2016-10-14  Ben GamariClean up handling of known-key Names in interface files
2016-10-08  Edward Z. YangThe Backpack patch.
2016-06-30  Edward Z. YangAxe RecFlag on TyCons.
2016-06-15  Simon Peyton JonesMajor patch to introduce TyConBinder
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-05-10  Simon Peyton JonesAdd Outputable ShowHowMuch
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-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2015-12-24  Richard EisenbergVisible type application
2015-12-24  Simon Peyton JonesRefactoring only
2015-12-17  Herbert Valerio... Random typo fixes
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-11-25  Simon Peyton JonesRefactor default methods (Trac #11105)
2015-11-18  Michał SośnickiFix inconsistent pretty-printing of type families
2015-10-30  Ben GamariGenerate Typeable info at definition sites
2015-10-29  Ben GamariRevert "Generate Typeable info at definition sites"
2015-10-29  Ben GamariGenerate Typeable info at definition sites
2015-10-29  Matthew PickeringRecord pattern synonyms
2015-10-28  Simon Peyton JonesPattern synonyms: swap provided/required
2015-10-16  Adam GundryImplement DuplicateRecordFields
2015-09-17  Moritz KieferShow minimal complete definitions in ghci (#10847)
2015-09-03  Jan StolarekInjective type families
2015-08-10  Adam Sandberg ErikssonReplace HsBang type with HsSrcBang and HsImplBang
2015-07-27  Simon Peyton JonesImprove warnings for rules that might not fire
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-04  Adam GundryPermit empty closed type families
2015-01-11  Simon Peyton JonesMore comments on HsBang
2015-01-06  Simon Peyton JonesMajor patch to add -fwarn-redundant-constraints
2014-12-23  Simon Peyton JonesEliminate so-called "silent superclass parameters"
2014-12-18  Iavor S. DiatchkiAdd a provenance field to universal coercions.
2014-12-16  Peter WortmannSource notes (Core support)
2014-12-03  Austin Seippcompiler: de-lhs iface/