Update Trac ticket URLs to point to GitLab
[ghc.git] / compiler / rename / RnTypes.hs
2019-03-15  Ryan ScottUpdate Trac ticket URLs to point to GitLab
2019-03-09  Simon Peyton JonesStop inferring over-polymorphic kinds
2019-03-01  Ryan ScottVisible dependent quantification
2019-02-27  Vladislav ZavialovTreat kind/type variables identically, demolish FKTV
2019-02-15  Vladislav Zavialov'forall' always a keyword, plus the dot type operator
2019-02-08  Alan ZimmermanAPI Annotations: AnnAt disconnected for TYPEAPP
2019-01-15  Ryan ScottFix #16114 by adding a validity check to rnClsInstDecl
2019-01-06  Ryan ScottFix #16133 by checking for TypeApplications in rnExpr
2019-01-03  mynguyenVisible kind application
2018-11-24  Shayan-Najd[TTG: Handling Source Locations] Foundation and Pat
2018-10-29  Tobias DammersFinish fix for #14880.
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-08-28  Ryan ScottRename kind vars in left-to-right order in bindHsQTyVars
2018-08-02  Richard EisenbergRemove decideKindGeneralisationPlan
2018-07-10  Richard EisenbergNote [Ordering of implicit variables]
2018-06-20  Ryan ScottRemove HsEqTy and XEqTy
2018-06-17  Vladislav ZavialovWarn about implicit kind variables with -Wcompat
2018-06-14  Vladislav ZavialovEmbrace -XTypeInType, add -XStarIsType
2018-06-02  Ben Gamarivectorise: Put it out of its misery
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-09  Alan ZimmermanRestore Trees That Grow reverted commits
2018-03-23  Ryan ScottAllow PartialTypeSignatures in standalone deriving...
2018-03-05  Simon Peyton JonesSimplify rnLHsInstType
2018-03-05  Simon Peyton JonesWombling around in Trac #14808
2017-12-19  Gabor GreifGet rid of some stuttering in comments and docs
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-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-12  Simon Peyton JonesDo not quantify over deriving clauses
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-09-05  Ryan ScottImplicitly bind kind variables in type family instance...
2017-09-05  Ryan ScottFix egregious duplication of vars in RnTypes
2017-08-30  Simon Peyton JonesAdd comments to RnTypes
2017-08-29  Simon Peyton JonesRefactor bindHsQTyVars and friends
2017-08-12  Ryan ScottUse NonEmpty lists to represent lists of duplicate...
2017-07-31  Simon Peyton JonesUse field names for all uses of datacon Match
2017-07-27  Richard EisenbergFix #11963 by checking for more mixed type/kinds
2017-07-11  Ryan ScottFix #13947 by checking for unbounded names more
2017-06-21  Carlos Toméchange filtering of variables in extract_hs_tv_bndrs...
2017-06-05  Alan ZimmermanUdate hsSyn AST to use Trees that Grow
2017-06-02  Gabor GreifA few typos [ci skip]
2017-04-12  Matthew PickeringSplit up RnEnv into 4 modules, RnUnbound, RnUtils and...
2017-03-14  Richard EisenbergFix #13337.
2017-02-14  Adam GundryRefactor renaming of operators/sections to fix Duplicat...
2017-02-10  Ryan ScottPrevent Template Haskell splices from throwing a spurio...
2017-01-23  Gabor GreifTypos and grammar in manual/comments
2017-01-18  Reid BartonFix get_op in the case of an unambiguous record selecto...
2017-01-18  Gabor GreifSpelling fixes in comments [ci skip]
2017-01-12  Gabor GreifTypos in manual, comments and tests
2017-01-10  John LeoCheck that type variable does not reference itself...
2016-12-12  Alan ZimmermanAdd infix flag for class and data declarations
2016-12-07  Alan ZimmermanAdd HsSyn prettyprinter tests
2016-11-24  Ömer Sinan AğacanCollect wildcards in sum types during renaming (#12711)
2016-10-26  Matthew PickeringRemove -dtrace-level
2016-10-26  Matthew PickeringMake traceRn behave more like traceTc
2016-10-01  Ryan ScottImplement deriving strategies
2016-07-21  Ömer Sinan AğacanImplement unboxed sum primitive type
2016-07-06  Facundo DomínguezHave addModFinalizer expose the local type environment.
2016-06-13  Simon Peyton JonesImprove typechecking of let-bindings
2016-04-12  Richard EisenbergFix #11811.
2016-04-10  Jason EisenbergFix suggestions for unbound variables (#11680)
2016-03-29  Ben Gamarirename: Disallow type signatures in patterns in plain...
2016-03-15  Richard EisenbergFix #11648.
2016-02-25  Michael WalkerPrint which warning-flag controls an emitted warning
2016-02-17  Richard EisenbergFix #11241.
2016-01-26  RyanGlScottSplit off -Wunused-type-variables from -Wunused-matches
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2016-01-16  Alan ZimmermanWork SourceText in for all integer literals
2016-01-16  Rik SteenkampFix some typos
2016-01-15  Richard EisenbergFix #11404
2015-12-31  Herbert Valerio... Drop pre-AMP compatibility CPP conditionals
2015-12-24  Richard EisenbergVisible type application
2015-12-23  Simon Peyton JonesComments only
2015-12-22  Simon Peyton JonesRefactor named wildcards (again)
2015-12-22  Alan ZimmermanMake HsAppsType contents Located
2015-12-21  Jan StolarekAdd proper GADTs support to Template Haskell
2015-12-21  Michał SośnickiWarn about unused type variables in type families
2015-12-21  Alan ZimmermanAdd Location to RdrName in FieldOcc
2015-12-15  Ben GamariExpose enabled language extensions to TH
2015-12-15  Ben GamariDynFlags Remove -fwarn-context-quantification flag
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-22  Alan ZimmermanApiAnnotations: Make all RdrName occurences Located
2015-11-13  Alan ZimmermanAPIAnnotations:add Locations in hsSyn for layout
2015-10-16  Jan StolarekAdd typed holes support in Template Haskell.
2015-10-16  Adam GundryImplement DuplicateRecordFields
next