Let the specialiser work on dicts under lambdas
[ghc.git] / compiler / specialise / Specialise.hs
2019-05-26  Sandy MaguireLet the specialiser work on dicts under lambdas
2019-04-07  Eric CrockettFix #16282.
2019-03-15  Ryan ScottUpdate Trac ticket URLs to point to GitLab
2019-01-18  Herbert Valerio... Prepare source-tree for base-4.13 MFP bump
2018-12-17  Gabor GreifStomp a few typos and grammaros
2018-11-22  David EichmannFix unused-import warnings
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-08-21  klebinger.andreas... Replace most occurences of foldl with foldl'.
2018-06-07  Ben GamariDon't use unsafeGlobalDynFlags in optCoercion
2018-06-04  Simon Peyton JonesImplement QuantifiedConstraints
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-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-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-06-13  Gabor GreifTypos [ci skip]
2017-06-07  Simon Peyton JonesStop the specialiser generating loopy code
2017-05-09  Simon Peyton JonesMake CallInfo into a data type with fields
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-06  Gabor GreifTypos in comments and manual
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-10  Gabor GreifSpelling in comments [ci skip]
2017-02-01  Luke MaurerJoin points
2017-01-17  Gabor GreifTypos in manual and comments [ci skip]
2016-12-21  Simon Peyton JonesFix 'SPECIALISE instance'
2016-09-24  Joachim BreitnerReplace INLINEABLE by INLINABLE (#12613)
2016-08-21  Edward Z. YangIntroduce BootUnfolding, set when unfolding is absent...
2016-07-21  Gabor GreifMore typos in comments
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-05-12  Bartosz NitkaKill varEnvElts in specImports
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-11  Richard EisenbergAdd kind equalities to GHC.
2015-11-17  David LuposchainskyMonadFail proposal, phase 1
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-09-02  Thomas MiedemaTestsuite: don't warn about missing specialisations
2015-08-05  Simon Peyton JonesWarn about missed specialisations for imports
2015-08-03  Gabor GreifTypos in comments [skip ci]
2015-07-21  Simon Peyton JonesAvoid out-of-scope top-level Ids
2015-07-06  Ben GamariSpecialise: Avoid unnecessary recomputation of free...
2015-06-28  Ben GamariAdd -fcross-module-specialise flag
2015-06-28  Ben GamariAdd -fcross-module-specialise flag
2015-06-20  Edward Z. YangFilter orphan rules based on imports, fixes #10294...
2015-05-18  Simon Peyton JonesRefactor tuple constraints
2015-05-14  Austin SeippRevert multiple commits
2015-05-13  Simon Peyton JonesRefactor tuple constraints
2014-12-03  Austin Seippcompiler: de-lhs specialise/