Break up TcRnTypes, among other modules.
[ghc.git] / compiler / rename / RnSource.hs
2019-10-16  Richard EisenbergBreak up TcRnTypes, among other modules.
2019-10-08  Richard EisenbergSolve constraints from top-level groups sooner
2019-09-25  Vladislav ZavialovStandalone kind signatures (#16794) wip/top-level-kind-signatures
2019-09-20  Sylvain HenryModule hierarchy: Hs (#13009)
2019-08-19  Richard LuptonRemove Bag fold specialisations (#16969)
2019-07-26  Ryan ScottBanish reportFloatingViaTvs to the shadow realm (#15831...
2019-07-25  Ryan ScottMake DefUses = OrdList DefUse
2019-07-19  Vladislav ZavialovDrop the orphan roles check (#16941)
2019-07-09  Ryan ScottUse an empty data type in TTG extension constructors...
2019-06-14  Andrew MartinImplement the -XUnliftedNewtypes extension.
2019-05-22  Ryan ScottUse HsTyPats in associated type family defaults
2019-05-14  Vladislav ZavialovGuard CUSKs behind a language pragma
2019-03-22  Herbert Valerio... base: Remove `Monad(fail)` method and reexport `MonadFa...
2019-03-15  Ryan ScottUpdate Trac ticket URLs to point to GitLab
2019-03-09  Simon Peyton JonesStop inferring over-polymorphic kinds
2019-03-05  Simon Peyton JonesBe more careful when naming TyCon binders
2019-02-27  Vladislav ZavialovTreat kind/type variables identically, demolish FKTV
2019-01-15  Ryan ScottFix #16116 by removing badAssocRhs
2019-01-15  Ryan ScottFix #16114 by adding a validity check to rnClsInstDecl
2019-01-06  chessaiAdd -Wmissing-deriving-strategies
2019-01-03  mynguyenVisible kind application
2018-12-21  Simon Peyton JonesComments only
2018-12-21  Ryan ScottFix #16002 by moving a validity check to the renamer
2018-11-29  Matthew YacavoneFix #15828, from `More explicit foralls`
2018-11-24  Shayan-Najd[TTG: Handling Source Locations] Foundation and Pat
2018-11-22  David EichmannFix unused-import warnings
2018-10-27  Matthew YacavoneMore explicit foralls (GHC Proposal 0007)
2018-10-26  Simon Peyton JonesDe-monadise the 'extract' functions in RnTypes
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-09-23  Simon Peyton JonesBuglet in reporting out of scope errors in rules
2018-08-21  Ben GamariFix redundant imports of Class
2018-08-21  Simon Peyton JonesAdd a solveEqualities to tcClassDecl1
2018-08-17  AdityaAdd comment explaining change in syntax error suggestio...
2018-08-02  Richard EisenbergRemove decideKindGeneralisationPlan
2018-07-05  Ryan ScottInstantiate GND bindings with an explicit type signature
2018-06-19  Alan ZimmermanFix API Annotations for GADT constructors
2018-06-18  Gabor GreifTypofixes in docs and comments [ci skip]
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-08  Simon Peyton JonesUsed named fields for DataDeclRn
2018-04-27  Alan ZimmermanTTG : complete for balance of hsSyn AST
2018-04-19  Ryan ScottFix #14710 with more validity checks during renaming
2018-04-17  Simon Peyton JonesComments only
2018-04-13  Alan ZimmermanTTG for HsBinds and Data instances Plan B
2018-04-09  Alan ZimmermanRestore Trees That Grow reverted commits
2018-03-23  Ryan ScottAllow PartialTypeSignatures in standalone deriving...
2018-03-05  Simon Peyton JonesWombling around in Trac #14808
2018-02-18  Ryan ScottRename the types in a GADT constructor in toposorted...
2017-12-21  Simon Peyton JonesSimplify HsPatSynDetails
2017-12-19  Gabor GreifGet rid of some stuttering in comments and docs
2017-12-07  Simon Peyton JonesRefactor ConDecl: Trac #14529
2017-12-01  Edward Z. YangMake use of boot TyThings during typechecking.
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-11  Alan ZimmermanWIP on combined Step 1 and 3 for Trees That Grow, HsExpr
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  Ryan ScottFix #10816 by renaming FixitySigs more consistently
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-09-05  Ryan ScottImplicitly bind kind variables in type family instance...
2017-08-29  Ryan ScottRefactor type family instance abstract syntax declarations
2017-08-29  Simon Peyton JonesRefactor bindHsQTyVars and friends
2017-08-12  Ryan ScottUse NonEmpty lists to represent lists of duplicate...
2017-07-22  Ryan ScottFix ungrammatical error message
2017-06-05  Alan ZimmermanUdate hsSyn AST to use Trees that Grow
2017-04-12  Matthew PickeringSplit up RnEnv into 4 modules, RnUnbound, RnUtils and...
2017-04-05  Matthew PickeringReplace Digraph's Node type synonym with a data type
2017-03-14  Richard EisenbergFix #13337.
2017-03-01  David FeuerUpgrade UniqSet to a newtype
2017-02-18  Ben GamariType-indexed Typeable
2016-12-12  Alan ZimmermanAdd infix flag for class and data declarations
2016-11-21  Gabor GreifA few typos in comments
2016-10-26  Matthew PickeringMake traceRn behave more like traceTc
2016-10-08  Matthew PickeringRework renaming of children in export lists.
2016-10-01  Ryan ScottImplement deriving strategies
2016-07-26  Edward Z. YangCompute boot-defined TyCon names from ModIface.
2016-07-18  Ryan ScottFix misspellings of the word "instance" in comments
2016-07-07  AdityaCorrect the message displayed for syntax error (#12146)
2016-06-23  Bartosz NitkaProvide Uniquable version of SCC
2016-06-23  Simon Peyton JonesGive lookupGRE_Name a better API
2016-06-22  Gabor GreifMore typos in comments [skip ci]
2016-06-10  Simon Peyton JonesComments only
2016-05-24  Bartosz NitkaDocument some benign nondeterminism
2016-05-11  Bartosz NitkaDocument SCC determinism
2016-04-28  Bartosz NitkaAdd uniqSetAny and uniqSetAll and use them
2016-04-28  Simon Peyton JonesRefactor RecordPatSynField, FieldLabel
2016-04-20  Simon Peyton JonesSCC analysis for instances as well as types/classes
2016-04-19  Simon Peyton JonesTighten checking for associated type instances
2016-04-12  Richard EisenbergFix #11811.
2016-04-10  Jason EisenbergFix suggestions for unbound variables (#11680)
2016-03-15  Richard EisenbergFix #11648.
2016-03-15  Richard EisenbergRefactor visible type application.
2016-03-11  Edward Z. YangFix #11624, cannot declare hs-boot if already one in...
next