Turn EvTerm (almost) into CoreExpr (#14691)
[ghc.git] / compiler / deSugar / DsBinds.hs
2018-01-26  Joachim BreitnerTurn EvTerm (almost) into CoreExpr (#14691)
2017-12-01  David FeuerCache TypeRep kinds aggressively
2017-11-22  Ben GamariUpdate Hadrian
2017-11-15  Andrey MokhovPull recent Hadrian changes from upstream
2017-11-10  Ben GamariMerge commit '5229c43ccf77bcbffeced01dccb27398d017fa34'
2017-11-06  Andrey MokhovMerge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988...
2017-10-30  Gabor GreifFix typo in accessor name
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-09-12  Joachim BreitnerAllow CSE'ing of work-wrapped bindings (#14186)
2017-09-07  Gabor GreifFix typos in diagnostics, testsuite and comments
2017-08-29  Simon Peyton JonesSmall refactor of getRuntimeRep
2017-08-18  Simon Peyton JonesComments only
2017-08-01  Gabor GreifTypofixes [ci skip]
2017-07-31  Simon Peyton JonesReject top-level banged bindings
2017-07-31  Simon Peyton JonesImprove the desugaring of -XStrict
2017-06-28  Gabor GreifMore typos in comments [ci skip]
2017-06-27  Ben GamariTreat banged bindings as FunBinds
2017-06-05  Alan ZimmermanUdate hsSyn AST to use Trees that Grow
2017-05-09  Ben GamariTreat banged bindings as FunBinds
2017-04-28  Simon Peyton JonesComments and tiny refactoring
2017-03-17  Simon Peyton JonesNo join-point from an INLINE function with wrong arity
2017-03-17  Richard EisenbergFix #12709 by not building bad applications
2017-03-14  Ben GamariIntroduce and use mkLetRec, mkLetNonRec
2017-03-02  David FeuerProhibit RULES changing constructors
2017-02-20  Simon Peyton JonesKill off the remaining Rec []
2017-02-18  Ben GamariType-indexed Typeable
2017-02-14  Adam GundryImplement HasField constraint solving and modify Overlo...
2017-02-02  Oleg GrenrusIntroduce GHC.TypeNats module, change KnownNat evidence...
2017-01-23  Gabor GreifTypos and grammar in manual/comments
2017-01-19  Richard EisenbergUpdate levity polymorphism
2017-01-17  David FeuerSplit mkInlineUnfolding into two functions
2016-12-21  Simon Peyton JonesFix 'SPECIALISE instance'
2016-11-29  Simon Peyton JonesZonk the free tvs of a RULE lhs to TyVars
2016-09-30  Simon Peyton JonesFix desugaring of pattern bindings (again)
2016-08-03  Matthew PickeringClarify comment on makeCorePair
2016-08-03  Matthew PickeringMore comments about InlinePragmas
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-06-06  Alan ZimmermanMerge MatchFixity and HsMatchContext
2016-04-22  Simon Peyton JonesRefactor free tyvars on LHS of rules
2016-04-15  Bartosz NitkaKill some unnecessary varSetElems
2016-03-23  Simon Peyton JonesMove DFunUnfolding generation to TcInstDcls
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-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-02-12  Simon Peyton JonesSimplify AbsBinds wrapping
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2016-01-15  Richard EisenbergFix #11405.
2015-12-24  Richard EisenbergVisible type application
2015-12-23  Eric SeidelAllow CallStacks to be frozen
2015-12-15  Ben GamariExpose enabled language extensions to TH
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-03  George KarachaliasMajor Overhaul of Pattern Match Checking (Fixes #595)
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-11-14  Adam Sandberg ErikssonImplement the Strict language extension
2015-11-11  Alan ZimmermanRemove fun_infix from Funbind, as it is now in Match
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-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-09-23  Ben GamariDsBinds: Avoid using String when desugaring CallStack...
2015-09-22  Eric Seidelbase: use Show for ErrorCall in uncaughtExceptionHandler
2015-08-05  Simon Peyton JonesDo not complain about SPECIALISE for INLINE
2015-07-30  Simon Peyton JonesDefine DsUtils.mkCastDs and use it
2015-07-07  David KraeutmannDeferred type errors now throw TypeError (#10284)
2015-06-28  Ben GamariAdd -fcross-module-specialise flag
2015-06-21  Iavor S. DiatchkiChange `Typeable` instance for type-lis to use the...
2015-06-20  Edward Z. YangFilter orphan rules based on imports, fixes #10294...
2015-05-22  Simon Peyton JonesReduce magic for seqId
2015-05-18  Simon Peyton JonesRefactor tuple constraints
2015-05-14  Austin SeippRevert multiple commits
2015-05-13  Simon Peyton JonesRefactor tuple constraints
2015-04-22  Simon Peyton JonesFix superclass generation in an instance
2015-04-16  Iavor S. DiatchkiFixes (hopefully!) T9858
2015-04-09  Simon Peyton JonesMake the evidence in a CtGiven into an EvId
2015-04-07  Simon Peyton JonesDo not quantify over the function itself in a RULE
2015-03-19  Iavor S. DiatchkiRemove unused parameter to `EvTypeableTyCon`
2015-03-07  Iavor S. DiatchkiCustom `Typeable` solver, that keeps track of kinds.
2015-01-19  Eric SeidelExpose source locations via Implicit Parameters of...
2015-01-14  Simon Peyton JonesRefactor handling of SPECIALISE pragmas (Trac #5821)
2015-01-06  Simon Peyton JonesMajor patch to add -fwarn-redundant-constraints
2014-12-23  Simon Peyton JonesEliminate so-called "silent superclass parameters"
2014-12-18  Iavor S. DiatchkiAdd a provenance field to universal coercions.
2014-12-12  Richard EisenbergRewrite `Coercible` solver
2014-12-03  Austin Seippcompiler: de-lhs deSugar/