summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/Opt/Simplify.hs
Commit message (Expand)AuthorAgeFilesLines
* Fix shadowing lacuna in OccurAnalSimon Peyton Jones2022-12-211-0/+4
* Print unticked promoted data constructors (#20531)Vladislav Zavialov2022-11-251-8/+6
* Fire RULES in the SpecialiserSimon Peyton Jones2022-11-101-27/+34
* Export pprTrace and friends from GHC.Prelude.Andreas Klebinger2022-11-031-1/+0
* Avoid retaining bindings via ModGuts held on the stackMatthew Pickering2022-08-271-3/+6
* Refactored Simplify passDominik Peteler2022-07-221-4233/+470
* Edit Note [idArity varies independently of dmdTypeDepth]Simon Peyton Jones2022-07-121-3/+3
* Refactor ModuleName to L.H.S.Module.Nameromes2022-07-031-1/+1
* Don't mark lambda binders as OtherConAndreas Klebinger2022-06-271-22/+44
* Flags to disable local let-floating; -flocal-float-out, -flocal-float-out-top...Vanessa McHale2022-06-221-1/+1
* Simplify: Take care with eta reduction in recursive RHSs (#21652)Sebastian Graf2022-06-201-3/+5
* Typecheck remaining ValArgs in rebuildHsAppssheaf2022-06-091-2/+8
* Purge `DynFlags` and `HscEnv` from some `GHC.Core` modules where it's not too...wip/dflags-core-opt-easierJohn Ericson2022-05-311-1/+3
* A bunch of changes related to eta reductionSimon Peyton Jones2022-05-301-56/+64
* Make findRhsArity take RecFlagSimon Peyton Jones2022-05-301-2/+2
* Do arity trimming at bindings, rather than in exprAritySimon Peyton Jones2022-05-301-8/+9
* Fix several note referencesKrzysztof Gogolewski2022-05-021-1/+1
* Eta reduction based on evaluation context (#21261)Sebastian Graf2022-04-121-5/+3
* Drop the app invariantghc-9.5-startJoachim Breitner2022-04-091-57/+80
* Tiny documentation wibbleSimon Peyton Jones2022-04-081-2/+2
* Use prepareBinding in tryCastWorkerWrapperSimon Peyton Jones2022-04-071-153/+165
* Add the OPAQUE pragmaChristiaan Baaij2022-03-251-0/+2
* Fix isLiftedType_maybe and handle falloutsheaf2022-03-141-17/+34
* Fix some notesMatthew Pickering2022-02-081-2/+2
* Fix a few Note inconsistenciesBen Gamari2022-02-011-0/+2
* Consistently upper-case "Note ["Ben Gamari2022-02-011-1/+1
* Better occurrence analysis with castsSimon Peyton Jones2022-01-261-44/+42
* Simplifier: Do the right thing if doFloatFromRhs = FalseJoachim Breitner2022-01-261-7/+7
* Make RULE matching insensitive to eta-expansionSimon Peyton Jones2022-01-261-0/+5
* warnPprTrace: pass separately the reasonKrzysztof Gogolewski2022-01-111-1/+2
* Fix typosKrzysztof Gogolewski2021-12-251-1/+1
* Increase type sharingBen Gamari2021-11-171-3/+3
* Get the in-scope set right in simplArgSimon Peyton Jones2021-11-121-2/+5
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-12/+12
* Simplifier: Get rid of demand zapping based on Note [Arity decrease]Sebastian Graf2021-10-051-32/+3
* Use Reductions to keep track of rewritingssheaf2021-08-041-1/+2
* Fix a subtle scoping error in simplLazyBindSimon Peyton Jones2021-07-281-10/+15
* Improve performance of eta expansionSimon Peyton Jones2021-07-281-24/+25
* Improve postInlineUnconditionallySimon Peyton Jones2021-07-281-14/+29
* Stop ug_boring_info retaining a chain of old CoreExprMatthew Pickering2021-07-231-8/+19
* Don't duplicate constructors in the simplifierSimon Peyton Jones2021-07-191-9/+39
* Better sharing of join points (#19996)wip/T19557Simon Peyton Jones2021-07-191-28/+88
* Simplifier: Do Cast W/W for INLINE strong loop-breakersSebastian Graf2021-06-271-14/+16
* Typos, minor comment fixesKrzysztof Gogolewski2021-06-221-4/+4
* Put tracing functions into their own moduleSylvain Henry2021-06-221-21/+28
* Enhance cast worker/wrapper for INLINABLESimon Peyton Jones2021-06-181-79/+164
* Reword: representation instead of levitysheaf2021-06-101-9/+9
* Do not add unfoldings to lambda-bindersSimon Peyton Jones2021-06-101-61/+16
* Make Logger independent of DynFlagsSylvain Henry2021-06-071-22/+18
* WW: Mark absent errors as diverging againSebastian Graf2021-06-021-7/+0
View Lorry Controller Status