Fix #11407.
[ghc.git] / compiler / deSugar /
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)
2015-12-12  Eric SeidelRework the Implicit CallStack solver to handle local...
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-08  Gabor GreifAn assortment of typos
2015-12-07  Alan ZimmermanRefactor ConDecl
2015-12-05  George Karachaliaspmcheck: Comments about undecidability of literal equality
2015-12-05  George Karachaliaspmcheck: Comments about term equality representation
2015-12-04  Ben GamariCheck: More Clang/CPP wibbles
2015-12-04  Ben GamariPmExpr: Fix CPP unacceptable too clang's CPP
2015-12-04  George KarachaliasRemove unused import in deSugar/TmOracle.hs
2015-12-04  George KarachaliasImprove performance for PM check on literals (Fixes...
2015-12-03  Ben GamariFix haddock syntax
2015-12-03  George KarachaliasMajor Overhaul of Pattern Match Checking (Fixes #595)
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-11-23  Ben GamariSupport multiple debug output levels
2015-11-22  Alan ZimmermanApiAnnotations: Make all RdrName occurences Located
2015-11-21  Bartosz NitkaCreate a deterministic version of tyVarsOfType
2015-11-18  Michał SośnickiFix inconsistent pretty-printing of type families
2015-11-18  Simon Peyton JonesRefactor HsExpr.RecordCon, RecordUpd
2015-11-17  Adam GundryImplement OverloadedLabels
2015-11-16  Edward Z. YangRevert "Unify hsig and hs-boot; add preliminary "hs...
2015-11-16  Edward Z. YangMove usage calculation to desugaring, simplifying ModGuts.
2015-11-14  Adam Sandberg ErikssonImplement the Strict language extension
2015-11-13  Alan ZimmermanAPIAnnotations:add Locations in hsSyn for layout
2015-11-11  Alan ZimmermanRemove fun_infix from Funbind, as it is now in Match
2015-11-07  Matthew PickeringRemove PatSynBuilderId
2015-10-30  Ben GamariGenerate Typeable info at definition sites
2015-10-30  Adam GundryDisambiguate record selectors by type signature
2015-10-29  Ben GamariRevert "Generate Typeable info at definition sites"
2015-10-29  Ben GamariGenerate Typeable info at definition sites
2015-10-29  Matthew PickeringRecord pattern synonyms
2015-10-17  Herbert Valerio... Make Monad/Applicative instances MRP-friendly
2015-10-16  Jan StolarekAdd typed holes support in Template Haskell.
2015-10-16  Adam GundryImplement DuplicateRecordFields
2015-10-15  Edward Z. YangRename package key to unit ID, and installed package...
2015-10-08  Edward Z. YangMove orphan instance/rule warnings to typechecker/desug...
2015-10-03  Herbert Valerio... Enable `Enumeration is empty` warnings for `Integer`
2015-10-02  Ben GamariFix treatment of -0.0
2015-09-23  Ben GamariDsBinds: Avoid using String when desugaring CallStack...
2015-09-22  Eric Seidelbase: use Show for ErrorCall in uncaughtExceptionHandler
2015-09-21  Edward Z. YangUnify hsig and hs-boot; add preliminary "hs-boot" merging.
2015-09-21  Edward Z. YangRevert "Revert "Revert "Support for multiple signature...
2015-09-21  Richard EisenbergAllow TH quoting of assoc type defaults.
2015-09-20  Edward Z. YangPut stable pointer names in the name cache.
2015-09-17  Simon MarlowApplicativeDo transformation
2015-09-03  Jan StolarekInjective type families
2015-08-18  DivamComments reformating/corrections
2015-08-18  Matthew PickeringAdd selectors for common fields (DataCon/PatSyn) to...
2015-08-05  Simon Peyton JonesDo not complain about SPECIALISE for INLINE
2015-08-05  Simon Peyton JonesAllow proper errors/warnings in core2core passes
2015-08-02  Alan ZimmermanReplace (SourceText,FastString) with StringLiteral...
2015-07-30  Simon Peyton JonesSpit out a little more info with -dppr-debug
2015-07-30  Simon Peyton JonesDefine DsUtils.mkCastDs and use it
next