Use HsTyPats in associated type family defaults
[ghc.git] / compiler / simplCore /
2019-05-01  Sebastian GrafCompute demand signatures assuming idArity
2019-04-07  Eric CrockettFix #16282.
2019-03-22  Herbert Valerio... base: Remove `Monad(fail)` method and reexport `MonadFa...
2019-03-20  Krzysztof GogolewskiRemove deprecated reinitializeGlobals
2019-03-20  Krzysztof GogolewskiFix typos
2019-03-15  Ryan ScottUpdate Trac ticket URLs to point to GitLab
2019-02-24  Simon Peyton JonesAdd AnonArgFlag to FunTy
2019-02-22  Simon Peyton JonesFix exprIsConApp_maybe
2019-02-22  Simon Peyton JonesDon't do binder-swap for GlobalIds
2019-02-19  Arnaud SpiwackMake constructor wrappers inline only during the final...
2019-02-08  Simon Peyton JonesComments only about the binder-swap in OccurAnal
2019-02-01  Sebastian GrafRemove ExnStr and ThrowsExn business
2019-01-23  Gabor GreifA few typofixes
2018-12-21  Gabor Greifremove option
2018-12-21  Simon Peyton JonesComments only
2018-12-17  Gabor GreifStomp a few typos and grammaros
2018-12-07  Simon Peyton JonesCareful tweaking to exprOkForSpeculation
2018-11-29  Chaitanya KoparkarFix #15953 by consistently using dumpIfSet_dyn to print...
2018-11-22  Sylvain HenryRename literal constructors
2018-11-13  Sebastian GrafMake `UniqDSet` a newtype
2018-10-29  Tobias DammersFinish fix for #14880.
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-10-04  Simon Peyton JonesDo not mark CoVars as dead in the occur-anal
2018-09-13  Simon Peyton JonesAllow (~) in the head of a quantified constraints
2018-09-13  Simon Peyton JonesComments about join-point return types
2018-09-13  Tobias DammersHonor INLINE on 0-arity bindings (#15578)
2018-09-12  Simon Peyton JonesBe a bit more aggressive about let-to-case
2018-09-11  Krzysztof GogolewskiMake CoreMonad independent of TcEnv (#14391)
2018-09-05  Simon Peyton JonesPreserve specialisations despite CSE
2018-08-21  klebinger.andreas... Replace most occurences of foldl with foldl'.
2018-08-21  Simon Peyton JonesSet strictness correctly for JoinIds
2018-07-25  Simon Peyton JonesFix PrelRules.caseRules to account for out-of-range...
2018-06-25  Simon Peyton JonesRecord some notes about "innocuous" transformations
2018-06-25  Simon Peyton JonesRemove unused BottomFound from Tick
2018-06-25  Simon Peyton JonesMore misc comments
2018-06-18  Gabor GreifTypofixes in docs and comments [ci skip]
2018-06-07  Ben GamariDon't use unsafeGlobalDynFlags in optCoercion
2018-06-07  Simon Peyton JonesRemove ad-hoc special case in occAnal
2018-06-07  Simon Peyton JonesComments only
2018-06-06  David FeuerLet the simplifier know that seq# forces
2018-06-04  Matthew PickeringImprove extendTvSubst assertion
2018-06-04  Simon Peyton JonesRefactor SetLevels.abstractVars
2018-06-04  Simon Peyton JonesDo a late CSE pass
2018-06-03  Boldizsar NemethExtended the plugin system to run plugins on more repre...
2018-06-02  Ben Gamarivectorise: Put it out of its misery
2018-05-30  Matthew PickeringImplement "An API for deciding whether plugins should...
2018-05-30  ningningDefine MCoercion type
2018-05-29  Gabor GreifMinor refactoring
2018-05-23  Simon Peyton JonesDon't expose strictness when sm_inline is False
2018-05-22  Joachim BreitnerImprove performance of CallArity
2018-05-15  Artem PelenitsynLess Tc inside simplCore (Phase 1 for #14391)
2018-05-14  Tobias DammersFix performance regressions from #14737
2018-05-08  Simon Peyton JonesSmall refactoring in Exitify
2018-05-05  klebinger.andreas... Split TrieMap into a general (TrieMap) and core specifi...
2018-05-02  Joachim BreitnerExitify: Do not trip over shadowing (fixes #15110)
2018-04-27  Simon Peyton JonesMinor refactoring in Exitify
2018-04-27  Simon Peyton JonesRename a local variable
2018-04-27  Simon Peyton JonesRefactor in OccurAnal
2018-04-27  Simon Peyton JonesComments only
2018-04-20  Tobias DammersCaching coercion roles in NthCo and coercionKindsRole...
2018-04-17  Simon Peyton JonesMinor comments in CSE
2018-04-11  Joachim BreitnerNo need for sortQuantVars in Exitify after all
2018-04-10  Joachim BreitnerIn Exitify, zap idInfo of abstracted variables (fixes...
2018-04-10  Richard EisenbergDiscard reflexive casts during Simplify
2018-04-10  Joachim BreitnerCSE: Walk past join point lambdas (#15002)
2018-04-09  Joachim BreitnerSome cleanup of the Exitification code
2018-04-06  Simon Peyton JonesComments only, about exitifcation
2018-03-27  Simon Peyton JonesDeal with join points with RULES
2018-03-27  Simon Peyton JonesWhite space only
2018-03-22  Simon Peyton JonesImprove shortOutIndirections slightly
2018-03-19  Matthew PickeringAdd -flate-specialise which runs a later specialisation...
2018-03-19  Matthew PickeringAlso check local rules with -frules-check
2018-03-06  Bartosz NitkaAllow top level ticked string literals
2018-03-02  Simon JakobidoCorePass: Expand catch-all
2018-03-02  Matthew PickeringOnly load plugins once
2018-02-07  Simon Peyton JonesFix utterly bogus TagToEnum rule in caseRules
2018-01-17  Gabor GreifTypos in comments
2018-01-09  Simon Peyton JonespreInlineUnconditionally is ok for INLINEABLE
2018-01-09  Simon Peyton JonesFix join-point decision
2018-01-09  Simon Peyton JonesRemove a bogus warning
2018-01-03  Simon Peyton JonesComments about join point types
2017-12-21  Gabor GreifTypos in comments
2017-12-19  Gabor GreifGet rid of some stuttering in comments and docs
2017-12-18  Gabor GreifTypos in comments
2017-12-08  Simon Peyton JonesOccurrrence analysis improvements for NOINLINE functions
2017-12-08  Simon Peyton JonesImprove LiberateCase
2017-11-29  Simon Peyton JonesComments only: Trac #14511
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-09  Ben GamariMerge initial Hadrian snapshot
2017-11-08  Simon Peyton JonesFix in-scope set in simplifier
2017-11-06  Andrey MokhovMerge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988...
2017-10-30  Simon Peyton JonesAdd Note [Setting the right in-scope set]
2017-10-29  Joachim BreitnerImplement a dedicated exitfication pass #14152
2017-10-29  Joachim BreitnersimplNonRecJoinPoint: Handle Shadowing correctly
2017-10-17  Gabor GreifFix grammaros in comments
2017-10-11  Simon Peyton JonesAvoid creating dependent types in FloatOut
2017-10-03  Simon Peyton JonesFix nasty bug in w/w for absence analysis
2017-09-26  Gabor GreifA bunch of typofixes
next