Revert "ghc-pkg: recompute `abi-depends` for updated packages"
[ghc.git] / compiler / specialise /
2018-04-02  Simon Peyton JonesSpecConstr: accommodate casts in value arguments
2018-03-21  Simon Peyton JonesFix two obscure bugs in rule matching
2018-03-19  Matthew PickeringAlso check local rules with -frules-check
2017-12-19  Gabor GreifGet rid of some stuttering in comments and docs
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 GreifCatch a few more typos in comments
2017-10-30  Gabor GreifFix typo in accessor name
2017-10-27  Simon Peyton JonesFix an exponential-blowup case in SpecConstr
2017-10-27  Simon Peyton JonesAdd more pprTrace to SpecConstr (debug only)
2017-10-12  Simon Peyton JonesDo not bind coercion variables in SpecConstr rules
2017-09-26  Ben GamariRules: Show the binder type in the unbound template...
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-09-12  Joachim BreitnerAllow CSE'ing of work-wrapped bindings (#14186)
2017-09-09  Herbert Valerio... Canonicalise MonoidFail instances in GHC
2017-09-07  Gabor GreifFix typos in diagnostics, testsuite and comments
2017-08-31  Simon Peyton JonesAdd debugPprType
2017-08-01  Ryan ScottDrop GHC 7.10 compatibility
2017-07-26  Gabor GreifFix note references and some typos
2017-07-20  Gabor GreifSpelling fixes
2017-06-13  Gabor GreifTypos [ci skip]
2017-06-07  Simon Peyton JonesStop the specialiser generating loopy code
2017-06-02  Ryan ScottUse lengthIs and friends in more places
2017-05-10  Gabor GreifTypos [ci skip]
2017-05-09  Simon Peyton JonesMake CallInfo into a data type with fields
2017-05-02  Simon Peyton JonesFix loss-of-SpecConstr bug
2017-05-02  Simon Peyton JonesImprove SpecConstr when there are many opportunities
2017-04-29  Ben GamariPrefer #if defined to #ifdef
2017-04-05  Gabor GreifTypos in comments [ci skip]
2017-03-29  Matthew PickeringPrint module when dumping rules
2017-03-29  Simon Peyton JonesAllow unbound Refl binders in a RULE
2017-03-24  Gabor GreifTypos in comments (notes too) [ci skip]
2017-03-17  Simon Peyton JonesNo join-point from an INLINE function with wrong arity
2017-03-07  Gabor GreifTypos in changelog and comments
2017-03-06  Gabor GreifTypos in comments and manual
2017-03-01  Simon Peyton JonesAdd VarSet.anyDVarSet, allDVarSet
2017-02-28  Simon Peyton JonesMake Specialise work with casts
2017-02-27  Simon Peyton JonesStop uniques ending up in SPEC rule names
2017-02-27  Simon Peyton JonesOccurrence-analyse the result of rule firings
2017-02-27  Simon Peyton JonesAdd -fspec-constr-keen
2017-02-23  Simon Peyton JonesMore tracing in SpecConstr
2017-02-18  Ben GamariGeneralize kind of the (->) tycon
2017-02-10  Gabor GreifSpelling in comments [ci skip]
2017-02-08  Simon Peyton JonesAdd some commented-out tracing in SpecConstr
2017-02-03  Sylvain HenryDitch static flags
2017-02-01  Luke MaurerJoin points
2017-01-18  Gabor GreifTypos in comments only [ci skip]
2017-01-17  Gabor GreifTypos in manual and comments [ci skip]
2016-12-21  Simon Peyton JonesFix 'SPECIALISE instance'
2016-12-21  Simon Peyton JonesMove InId/OutId to CoreSyn
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-16  Gabor GreifTypos in comments
2016-09-24  Joachim BreitnerReplace INLINEABLE by INLINABLE (#12613)
2016-09-23  Richard EisenbergFix #12442.
2016-09-13  Simon Peyton JonesComments and white space
2016-09-02  Sergei Trofimovichextend '-fmax-worker-args' limit to specialiser (Trac...
2016-08-21  Edward Z. YangIntroduce BootUnfolding, set when unfolding is absent...
2016-07-21  Gabor GreifMore typos in comments
2016-06-30  Edward Z. YangAxe RecFlag on TyCons.
2016-06-22  Gabor GreifTypos in comments [skip ci]
2016-06-21  Simon Peyton JonesDon't quantify over Refl in a RULE
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-06-14  Bartosz NitkaRename cmpType to nonDetCmpType
2016-06-06  Bartosz NitkaImplement deterministic CallInfoSet
2016-06-02  Bartosz NitkaLocalize orphan-related nondeterminism
2016-05-24  Bartosz NitkaDocument some benign nondeterminism
2016-05-12  Bartosz NitkaRefactor some ppr functions to use pprUFM
2016-05-12  Bartosz NitkaKill varEnvElts in specImports
2016-04-28  Bartosz NitkaAdd uniqSetAny and uniqSetAll and use them
2016-04-15  Bartosz NitkaKill some unnecessary varSetElems
2016-04-06  Joachim BreitnerDemand Analyzer: Do not set OneShot information (second...
2016-03-30  Ben GamariKill the magic of Any
2016-03-30  Gabor GreifTypos in non-code
2016-03-29  Joachim BreitnerSpecConstr: Transport strictness data to specialization...
2016-03-24  Simon Peyton JonesTidy up handling of coercion variables
2016-02-26  Simon Peyton JonesGet the right in-scope set in specUnfolding
2016-02-19  Gabor GreifA few more typos in non-code
2016-02-18  Simon Peyton Jones(Another) minor refactoring of substitutions
2016-02-11  Gabor GreifAnother batch of typo fixes in non-code
2016-01-27  Ömer Sinan Ağacans/unLifted/unlifted for consistency
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2015-12-31  Herbert Valerio... Remove some redundant definitions/constraints
2015-12-31  Herbert Valerio... Drop pre-AMP compatibility CPP conditionals
2015-12-17  Simon MarlowRemote GHCi, -fexternal-interpreter
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-04  Bartosz NitkaMake callToPats deterministic in SpecConstr
2015-12-02  Bartosz NitkaImplement more deterministic operations and document...
2015-11-21  Bartosz NitkaCreate a deterministic version of tyVarsOfType
2015-11-17  David LuposchainskyMonadFail proposal, phase 1
2015-11-11  Bartosz NitkaPut kind variables before type variables when specializing
2015-10-17  Herbert Valerio... Make Monad/Applicative instances MRP-friendly
2015-10-10  Edward Z. YangRename SpecInfo to RuleInfo (upon SPJ's advice).
2015-10-08  Edward Z. YangMove orphan instance/rule warnings to typechecker/desug...
2015-10-06  Simon Peyton JonesRemove dead code: ruleLhsOrphNames
2015-09-02  Thomas MiedemaTestsuite: don't warn about missing specialisations
2015-08-05  Simon Peyton JonesWarn about missed specialisations for imports
next