FunDep printer: Fix unicode arrow
[ghc.git] / compiler / deSugar /
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)
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...
next