Visible dependent quantification
[ghc.git] / compiler / hsSyn / HsDecls.hs
2019-03-01  Ryan ScottVisible dependent quantification
2019-02-08  Simon Peyton JonesMinor refactor of CUSK handling
2019-01-23  Gabor GreifA few typofixes
2019-01-03  mynguyenVisible kind application
2018-11-29  Simon Peyton JonesTaming the Kind Inference Monster
2018-10-27  Matthew YacavoneMore explicit foralls (GHC Proposal 0007)
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-10-17  Richard EisenbergFix #15761 by adding parens
2018-08-21  Simon Peyton JonesAdd a solveEqualities to tcClassDecl1
2018-07-22  Krzysztof GogolewskiFix pretty-printing of data declarations in splices
2018-07-13  Simon Peyton JonesComments only
2018-07-13  Simon Peyton JonesImprove comments about CUSKs
2018-07-10  Simon Peyton JonesMore refactoring in TcValidity
2018-06-25  Simon Peyton JonesRefactor the kind-checking of tyvar binders
2018-06-19  Alan ZimmermanFix API Annotations for GADT constructors
2018-06-14  Vladislav ZavialovEmbrace -XTypeInType, add -XStarIsType
2018-06-05  Ryan ScottIntroduce DerivingVia
2018-06-02  Ben Gamarivectorise: Put it out of its misery
2018-05-14  Ryan ScottFix #14875 by introducing PprPrec, and using it
2018-04-27  Alan ZimmermanTTG : complete for balance of hsSyn AST
2018-04-13  Alan ZimmermanTTG for HsBinds and Data instances Plan B
2018-04-09  Alan ZimmermanRestore Trees That Grow reverted commits
2018-04-07  Alan ZimmermanRemove HasSourceText and SourceTextX classes
2018-04-01  Richard EisenbergTrack type variable scope more carefully.
2018-03-23  Ryan ScottAllow PartialTypeSignatures in standalone deriving...
2018-03-02  Ryan ScottFix #14817 by not double-printing data family instance...
2017-12-07  Simon Peyton JonesRefactor ConDecl: Trac #14529
2017-11-22  Ben GamariUpdate Hadrian
2017-11-21  Ben GamariRevert "trees that grow" work
2017-11-15  Andrey MokhovPull recent Hadrian changes from upstream
2017-11-14  Alan ZimmermanTTG3 Combined Step 1 and 3 for Trees That Grow
2017-11-10  Ben GamariMerge commit '5229c43ccf77bcbffeced01dccb27398d017fa34'
2017-11-09  Ben GamariMerge initial Hadrian snapshot
2017-11-08  Alan ZimmermanWIP on Doing a combined Step 1 and 3 for Trees That...
2017-11-08  Ben GamariMerge remote-tracking branch 'github/pr/83'
2017-11-07  Ben GamariRevert "WIP on combining Step 1 and 3 of Trees That...
2017-11-07  Alan ZimmermanWIP on combining Step 1 and 3 of Trees That Grow
2017-11-06  Andrey MokhovMerge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988...
2017-10-11  Alan ZimmermanPretty-printing of derived multi-parameter classes...
2017-10-02  Alan ZimmermanPretty-printer missing parens for infix class declaration
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-08-29  Ryan ScottRefactor type family instance abstract syntax declarations
2017-08-29  Simon Peyton JonesComments only
2017-08-25  Simon Peyton JonesComments, plus adjust debug print of TcTyThing(ATyVar)
2017-07-29  Richard EisenbergFix #14045 by omitting an unnecessary check
2017-06-05  Alan ZimmermanUdate hsSyn AST to use Trees that Grow
2017-05-28  Alan ZimmermanRemove HsContext from ppr_mono_ty, and remove ppParendH...
2017-03-14  Richard EisenbergFix #13337.
2016-12-12  Alan ZimmermanAdd infix flag for class and data declarations
2016-12-07  Alan ZimmermanAdd HsSyn prettyprinter tests
2016-11-17  Edward Z. YangTest for type synonym loops on TyCon.
2016-10-01  Ryan ScottImplement deriving strategies
2016-08-05  Ben GamariExpanded abbreviations in Haddock documentation
2016-06-06  Alan ZimmermanMerge MatchFixity and HsMatchContext
2016-05-24  Ryan ScottRemove 'deriving Typeable' statements
2016-04-20  Simon Peyton JonesSCC analysis for instances as well as types/classes
2016-04-12  Richard EisenbergFix #11811.
2016-03-15  Richard EisenbergFix #11648.
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2015-12-31  Herbert Valerio... Drop pre-AMP compatibility CPP conditionals
2015-12-23  Simon Peyton JonesTidy up and comment wildcards in family instances
2015-12-21  Jan StolarekAdd proper GADTs support to Template Haskell
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-07  Alan ZimmermanRefactor ConDecl
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-11-11  Jan StolarekRemove unused field in ConDecl
2015-10-16  Adam GundryImplement DuplicateRecordFields
2015-09-21  Richard EisenbergSmall improvement in pretty-printing constructors.
2015-09-21  Richard EisenbergPrint associated types a bit better.
2015-09-03  Jan StolarekInjective type families
2015-08-01  Gabor GreifTypos in comments
2015-07-23  Ben GamariAccept next-docstrings on GADT constructors.
2015-06-16  Ben Gamariusers_guide: Various spelling fixes
2015-06-16  Ben GamariLexer: Suggest adding 'let' on unexpected '=' token
2015-06-01  Alan ZimmermanApiAnnotations : strings in warnings do not return...
2015-05-04  Adam GundryPermit empty closed type families
2015-04-14  Alan Zimmermanparser: opt_kind_sig has incorrect SrcSpan
2015-02-10  Simon Peyton JonesRefactor the handling of quasi-quotes
2015-02-10  Yuri de WitReplace .lhs with .hs in compiler comments
2015-01-19  Alan ZimmermanAPI Annotations documentation update, parsing issue...
2015-01-16  Alan ZimmermanAPI Annotations tweaks.
2015-01-06  Simon Peyton JonesRemove redundant constraints in the compiler itself...
2014-12-03  Austin Seippcompiler: de-lhs hsSyn/