Synchronize ClsInst.doTyConApp with TcTypeable validity checks (#15862)
[ghc.git] / compiler / typecheck / TcEnv.hs
2019-03-15  Ryan ScottUpdate Trac ticket URLs to point to GitLab
2018-12-21  Simon Peyton JonesTiny refactor to tcExtendRecEnv
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-08-02  Richard EisenbergRemove decideKindGeneralisationPlan
2018-08-01  Richard EisenbergRemove the type-checking knot.
2018-06-25  Simon Peyton JonesImprove tc-tracing a bit
2018-06-15  Simon Peyton JonesMake better "fake tycons" in error recovery
2018-06-03  Alanas PlascinskastcExtendTyVarEnv2 changed to tcExtendNameTyVarEnv
2018-05-24  Ryan ScottMinor typos
2018-05-15  Artem PelenitsynLess Tc inside simplCore (Phase 1 for #14391)
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-07  Alan ZimmermanRemove HasSourceText and SourceTextX classes
2018-04-01  Richard EisenbergTrack type variable scope more carefully.
2017-12-21  Simon Peyton JonesRefactor coercion holes
2017-12-19  Gabor GreifGet rid of some stuttering in comments and docs
2017-12-18  Simon Peyton JonesTiny refactor: use mkTyVarNamePairs
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-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-09-26  Gabor GreifA bunch of typofixes
2017-09-21  Matthías Páll Giss... Also show types that subsume a hole as valid substituti...
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-09-14  Simon Peyton JonesTidying could cause ill-kinded types
2017-08-29  Ryan ScottRefactor type family instance abstract syntax declarations
2017-07-20  Ben GamariTypeable: Ensure that promoted data family instance...
2017-06-16  Simon Peyton JonesFix the treatment of 'closed' definitions
2017-06-05  Alan ZimmermanUdate hsSyn AST to use Trees that Grow
2017-05-19  Simon Peyton JonesFix scoping of data cons during kind checking
2017-02-23  Gabor GreifSpelling only [ci skip]
2017-01-19  Richard EisenbergUpdate levity polymorphism
2016-12-12  Alan ZimmermanAdd infix flag for class and data declarations
2016-12-07  Alan ZimmermanAdd HsSyn prettyprinter tests
2016-12-05  Simon Peyton JonesFix used-variable calculation (Trac #12548)
2016-10-08  Edward Z. YangThe Backpack patch.
2016-07-01  Matthew PickeringAllow one type signature for multiple pattern synonyms
2016-06-13  Simon Peyton JonesImprove typechecking of let-bindings
2016-06-09  Facundo DomínguezImprove the error messages for static forms.
2016-06-06  Alan ZimmermanMerge MatchFixity and HsMatchContext
2016-05-01  Bartosz NitkaRemove unused getScopedTyVarBinds
2016-04-22  Simon Peyton JonesAvoid double error on out-of-scope identifier
2016-04-07  Facundo DomínguezSet tct_closed to TopLevel for closed bindings.
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2016-01-18  Simon Peyton JonesRefactoring on IdInfo and system derived names
2016-01-07  Simon Peyton JonesTurn AThing into ATcTyCon, in TcTyThing
2015-12-23  Simon Peyton JonesAdd a pattern-syn form of PromotionErr
2015-12-15  Ben GamariExpose enabled language extensions to TH
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-11-25  Simon Peyton JonesRefactor default methods (Trac #11105)
2015-10-30  Ben GamariGenerate Typeable info at definition sites
2015-10-29  Ben GamariRevert "Generate Typeable info at definition sites"
2015-10-29  Ben GamariGenerate Typeable info at definition sites
2015-10-20  David KraeutmannExtended default rules now specialize Foldable, Travers...
2015-10-16  Adam GundryImplement DuplicateRecordFields
2015-10-15  Edward Z. YangRename package key to unit ID, and installed package...
2015-09-24  Ömer Sinan AğacanFix DeriveGeneric for types with same OccName (#10487)
2015-09-03  Jan StolarekInjective type families
2015-08-26  Simon Peyton JonesImplement lookupGlobal in TcEnv, and use it
2015-06-16  Ben Gamariusers_guide: Various spelling fixes
2015-06-16  Ben GamariLexer: Suggest adding 'let' on unexpected '=' token
2015-06-11  Edward Z. YangRemove redundant tcg_visible_orphan_mods, it is recorde...
2015-06-09  Thomas WinantRefactor wild card renaming
2015-06-01  Simon Peyton JonesRefactor the GlobalRdrEnv, fixing #7672
2015-03-24  Simon Peyton JonesImprove environment handling in TcBinds
2015-02-10  Simon Peyton JonesMore comments and white space
2015-02-10  Simon Peyton JonesRefactor the handling of quasi-quotes
2015-01-28  Edward Z. YangUse strict atomicModifyIORef' (added in GHC 7.6).
2014-12-15  Simon Peyton JonesFix dll-split problem with patch 'Make Core Lint check...
2014-12-15  Simon Peyton JonesMake Core Lint check for locally-bound GlobalIds
2014-12-03  Austin Seippcompiler: de-lhs typecheck/