Smarter HsType pretty-print for promoted datacons
[ghc.git] / compiler / basicTypes / PatSyn.hs
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-09-15  ningningCoercion Quantification
2018-05-23  Gabor GreifTypo in comments
2017-12-18  Simon Peyton JonesFix scoping of pattern-synonym existentials
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-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-07-31  Gabor GreifA bunch of typofixes
2017-07-28  Simon Peyton JonesFix instantiation of pattern synonyms
2017-06-02  Ryan ScottUse lengthIs and friends in more places
2016-12-21  Ryan ScottDisambiguate two Notes with identical names
2016-08-05  Ben GamariExpanded abbreviations in Haddock documentation
2016-06-15  Simon Peyton JonesMajor patch to introduce TyConBinder
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-06-09  Bartosz NitkaRemove Ord PatSyn
2016-05-24  Ryan ScottRemove 'deriving Typeable' statements
2016-05-24  Gabor GreifSpelling
2016-04-20  Simon Peyton JonesReduce use of instances in hs-boot files
2016-04-02  Rik SteenkampImprove printing of pattern synonym types
2016-03-25  Simon Peyton JonesA raft of comments about TyBinders
2016-03-24  Rik SteenkampAdd `PatSynSigSkol` and modify `PatSynCtxt`
2016-03-21  Richard EisenbergTrack specified/invisible more carefully.
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-02-16  Rik SteenkampFix typos
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2016-01-18  Simon Peyton JonesImplement scoped type variables in pattern synonyms
2015-12-24  Richard EisenbergVisible type application
2015-12-22  Simon Peyton JonesFix typechecking for pattern synonym signatures
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-10-29  Matthew PickeringRecord pattern synonyms
2015-10-28  Simon Peyton JonesPattern synonyms: swap provided/required
2015-10-16  Simon Peyton JonesRemove dead function patSynTyDetails
2014-12-20  Dr. ERDI GergoUse a new $b prefix for pattern synonym builder names...
2014-12-03  Austin Seippcompiler: de-lhs basicTypes/