Update Trac ticket URLs to point to GitLab
[ghc.git] / compiler / typecheck / TcSigs.hs
2019-03-15  Ryan ScottUpdate Trac ticket URLs to point to GitLab
2019-03-11  Krzysztof GogolewskiChange the warning in substTy back to an assertion
2019-03-05  Simon Peyton JonesBe more careful when naming TyCon binders
2019-03-01  Ryan ScottVisible dependent quantification
2019-02-24  Simon Peyton JonesAdd AnonArgFlag to FunTy
2019-01-03  mynguyenVisible kind application
2018-11-29  Simon Peyton JonesTaming the Kind Inference Monster
2018-10-29  Tobias DammersFinish fix for #14880.
2018-10-24  Simon Peyton JonesSolve equalities in a pattern signature
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-08-21  klebinger.andreas... Replace most occurences of foldl with foldl'.
2018-08-17  Joachim BreitnerRename SigTv to TyVarTv (#15480)
2018-08-02  Richard EisenbergRemove decideKindGeneralisationPlan
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-01  Richard EisenbergTrack type variable scope more carefully.
2018-01-09  Simon Peyton JonesFix two more bugs in partial signatures
2017-12-19  Gabor GreifGet rid of some stuttering in comments and docs
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-09-12  Joachim BreitnerAllow CSE'ing of work-wrapped bindings (#14186)
2017-07-27  Richard EisenbergFix #13819 by refactoring TypeEqOrigin.uo_thing
2017-07-11  Ömer Sinan AğacanMention which -Werror promoted a warning to an error
2017-06-16  Simon Peyton JonesFix the treatment of 'closed' definitions
2017-06-05  Alan ZimmermanUdate hsSyn AST to use Trees that Grow
2017-04-11  Gabor GreifTypos in comments [ci skip]
2017-03-14  Gabor GreifTypos in manual and comments
2017-01-23  Gabor GreifTypos and grammar in manual/comments
2017-01-19  Richard EisenbergUpdate levity polymorphism
2016-12-17  Richard EisenbergReshuffle levity polymorphism checks.
2016-07-20  Ömer Sinan AğacanSupport SCC pragmas in declaration context
2016-07-01  Matthew PickeringAllow one type signature for multiple pattern synonyms
2016-06-25  Richard Eisenbergs/Invisible/Inferred/g s/Visible/Required/g
2016-06-21  Gabor GreifTypos in comments
2016-06-15  Simon Peyton JonesMajor patch to introduce TyConBinder
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-06-13  Simon Peyton JonesImprove typechecking of let-bindings