Fix used-variable calculation (Trac #12548)
[ghc.git] / compiler / deSugar /
2016-11-29  Matthew PickeringRefactor Pattern Match Checker to use ListT
2016-11-29  Gabor GreifTypos in comments
2016-11-29  Simon Peyton JonesZonk the free tvs of a RULE lhs to TyVars
2016-11-20  Andreas KlebingerUpdated code comment regarding EquationInfo. Trac ...
2016-11-06  Matthew PickeringAdd tracing infrastructure to pattern match checker
2016-11-05  Mikhail VorozhtsovHandle types w/ type variables in signatures inside...
2016-10-08  Csongor KissFix build
2016-10-08  Edward Z. YangDistinguish between UnitId and InstalledUnitId.
2016-10-08  Edward Z. YangThe Backpack patch.
2016-10-01  Ryan ScottImplement deriving strategies
2016-09-30  Simon Peyton JonesFix desugaring of pattern bindings (again)
2016-09-29  Ömer Sinan AğacanCheck.hs: Use actual import lists instead of comments
2016-08-29  Ryan ScottTemplate Haskell support for TypeApplications
2016-08-23  Ryan ScottTemplate Haskell support for unboxed sums
2016-08-21  Edward Z. YangIntroduce BootUnfolding, set when unfolding is absent...
2016-08-03  Matthew PickeringClarify comment on makeCorePair
2016-08-03  Matthew PickeringMore comments about InlinePragmas
2016-07-21  Gabor GreifMore typos in comments
2016-07-21  Ömer Sinan AğacanImplement unboxed sum primitive type
2016-07-20  Ömer Sinan AğacanSupport SCC pragmas in declaration context
2016-07-08  Ben GamariDsExpr: Remove usage of concatFS in fingerprintName
2016-07-06  Facundo DomínguezHave addModFinalizer expose the local type environment.
2016-07-01  Matthew PickeringAllow one type signature for multiple pattern synonyms
2016-06-29  Bartosz NitkaRefactor match to not use Unique order
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-06-13  Simon Peyton JonesImprove typechecking of let-bindings
2016-06-08  Ömer Sinan AğacanRevert "Desugar: Display resulting program stats with...
2016-06-08  Ömer Sinan AğacanDesugar: Display resulting program stats with -v2
2016-06-07  Bartosz NitkaUse a deterministic map for imp_dep_mods
2016-06-06  Alan ZimmermanMerge MatchFixity and HsMatchContext
2016-06-02  Edward Z. YangImprove failed knot-tying error message.
2016-05-27  Ömer Sinan AğacanDo not init record accessors as exported
2016-05-26  Ömer Sinan AğacanCoverage.hs: Fix a duplication
2016-05-24  Bartosz NitkaMake Arrow desugaring deterministic
2016-05-24  Bartosz NitkaDocument some benign nondeterminism
2016-05-12  Dominik BollmannAdd TH support for pattern synonyms (fixes #8761)
2016-05-11  Bartosz NitkaRemove some varSetElems in dsCmdStmt
2016-05-02  Facundo DomínguezStaticPointers: Allow closed vars in the static form.
2016-04-22  Simon Peyton JonesRefactor free tyvars on LHS of rules
2016-04-20  Simon Peyton JonesSCC analysis for instances as well as types/classes
2016-04-17  David LuposchainskyAdd flag to control number of missing patterns in warnings
2016-04-17  Iavor S. DiatchkiAdd TemplateHaskell support for Overlapping pragmas
2016-04-15  Bartosz NitkaKill some unnecessary varSetElems
2016-04-12  Richard EisenbergFix #11797.
2016-04-10  Jason EisenbergFix suggestions for unbound variables (#11680)
2016-03-31  Simon Peyton JonesRefactor in TcMatches
2016-03-24  Ben GamariDsExpr: Rip out static/dynamic check in list desugaring
2016-03-24  Ben GamariErrUtils: Add timings to compiler phases
2016-03-23  Simon Peyton JonesMove DFunUnfolding generation to TcInstDcls
2016-03-20  Ben GamariDsExpr: Don't build/foldr huge lists
2016-03-15  Richard EisenbergFix #11648.
2016-03-15  Richard EisenbergRefactor visible type application.
2016-02-27  Herbert Valerio... Print which flag controls emitted desugaring warnings
2016-02-26  Simon Peyton JonesSpecial case for desugaring AbsBinds
2016-02-26  Simon Peyton JonesFix and refactor strict pattern bindings
2016-02-25  Michael WalkerPrint which warning-flag controls an emitted warning
2016-02-25  George Karachalias(Alternative way to) address #8710
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-02-18  Simon Peyton JonesFix desugaring of bang-pattern let-bindings
2016-02-12  Simon Peyton JonesSimplify AbsBinds wrapping
2016-02-11  Gabor GreifAnother batch of typo fixes in non-code
2016-02-10  Bartosz NitkaReplace mkTvSubstPrs (a `zip` b) with zipTvSubst a b
2016-02-04  Ben GamariFix a few loose ends from D1795
2016-02-04  George KarachaliasOverhaul the Overhauled Pattern Match Checker
2016-01-30  Bartosz NitkaAdd asserts to other substitution functions
2016-01-27  Simon Marlowfix validate breakage
2016-01-27  Simon MarlowRemote GHCi: create cost centre stacks in batches
2016-01-27  Bartosz NitkaRename "open" subst functions
2016-01-27  Richard EisenbergRefactor the typechecker to use ExpTypes.
2016-01-27  Ömer Sinan Ağacans/unLifted/unlifted for consistency
2016-01-26  Simon Peyton JonesKill off zipTopTCvSubst in favour of zipOpenTCvSubst
2016-01-23  Reid BartonDon't add ticks around type applications (#11329)
2016-01-23  Reid BartonGive a more verbose error message when desugaring a...
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2016-01-18  Simon Peyton JonesImplement scoped type variables in pattern synonyms
2016-01-18  Simon Peyton JonesRefactoring on IdInfo and system derived names
2016-01-16  Alan ZimmermanWork SourceText in for all integer literals
2016-01-15  Richard EisenbergFix #11405.
2016-01-08  RyanGlScottFix Template Haskell's handling of infix GADT constructors
2016-01-08  Simon MarlowEnable stack traces with ghci -fexternal-interpreter...
2016-01-06  Jan StolarekChange Template Haskell representation of GADTs.
2016-01-04  George KarachaliasAvoid generating guards for CoPats if possible (Address...
2015-12-31  Herbert Valerio... Remove some redundant definitions/constraints
2015-12-31  Herbert Valerio... Drop pre-AMP compatibility CPP conditionals
2015-12-30  George KarachaliasAddress #11245: Ensure the non-matched list is always...
2015-12-29  George KarachaliasIntroduce negative patterns for literals (addresses...
2015-12-27  George KarachaliasAdding flags: -ffull-guard-reasoning and too-many-guards
2015-12-24  Richard EisenbergVisible type application
2015-12-23  Eric SeidelAllow CallStacks to be frozen
2015-12-23  Simon Peyton JonesComments and white space
2015-12-22  Simon Peyton JonesRefactor named wildcards (again)
2015-12-22  Simon Peyton JonesFix grouping for pattern synonyms
2015-12-22  RyanGlScottRework Template Haskell's handling of strictness
2015-12-21  Jan StolarekAdd proper GADTs support to Template Haskell
2015-12-21  Simon MarlowMaintain cost-centre stacks in the interpreter
2015-12-17  Simon MarlowRemote GHCi, -fexternal-interpreter
2015-12-15  Ben GamariExpose enabled language extensions to TH
2015-12-15  Simon Peyton JonesComment layout only
2015-12-14  Adam Sandberg ErikssonMake binds in do-blocks strict when -XStrict (#11193)
2015-12-14  Ben GamariUse Cxt for deriving clauses in TH (#10819)
next