Kill inaccessible-branch complaints in record update
[ghc.git] / compiler / deSugar /
2017-02-08  Simon Peyton JonesKill inaccessible-branch complaints in record update
2017-02-08  Gabor GreifMore typos in comments [skip ci]
2017-02-08  Matthew PickeringFix push_bang_into_newtype when the pattern match has...
2017-02-06  Gabor GreifTypos in comments [skip ci]
2017-02-06  Matthew PickeringDon't return empty initial uncovered set for an unsat...
2017-02-03  Sylvain HenryDitch static flags
2017-02-02  Matthew PickeringRemove INLINE pragma on loopbreaker
2017-02-02  George KarachaliasExhaustiveness check for EmptyCase (Trac #10746)
2017-02-02  Oleg GrenrusIntroduce GHC.TypeNats module, change KnownNat evidence...
2017-02-01  Luke MaurerJoin points
2017-01-26  Matthew PickeringTemplate Haskell support for COMPLETE pragmas
2017-01-26  Matthew PickeringCOMPLETE pragmas for enhanced pattern exhaustiveness...
2017-01-25  Gabor GreifTypos in comments [ci skip]
2017-01-23  Ryan ScottDon't quantify implicit type variables when quoting...
2017-01-23  Gabor GreifTypos and grammar in manual/comments
2017-01-19  Richard EisenbergUpdate levity polymorphism
2017-01-18  Gabor GreifSpelling fixes in comments [ci skip]
2017-01-18  Gabor GreifTypos in comments only [ci skip]
2017-01-17  David FeuerSplit mkInlineUnfolding into two functions
2017-01-13  Facundo DomínguezDesugar static forms to makeStatic calls.
2017-01-06  Facundo DomínguezRevert "Have addModFinalizer expose the local type...
2017-01-06  Facundo DomínguezHave addModFinalizer expose the local type environment.
2017-01-05  Simon Peyton JonesEnsure nested binders have Internal Names
2016-12-23  Simon Peyton JonesRemoved dead code in DsCCall.mk_alt
2016-12-22  Ryan ScottFix another forward reference to a Note
2016-12-21  Simon Peyton JonesFix 'SPECIALISE instance'
2016-12-20  Shea LevyAllow use of the external interpreter in stage1.
2016-12-19  Tamar ChristinaRevert "Allow use of the external interpreter in stage1."
2016-12-18  Shea LevyAllow use of the external interpreter in stage1.
2016-12-17  Ben GamariRevert "Do not init record accessors as exported"
2016-12-16  Ben GamariCLabel: Kill redundant UnitId argument from labelDynamic
2016-12-09  Ryan ScottRename TH constructors for deriving strategies
2016-12-07  Alan ZimmermanAdd HsSyn prettyprinter tests
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
next