The Backpack patch.
[ghc.git] / compiler / typecheck / TcEnv.hs
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/