summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/Opt/Simplify.hs
Commit message (Expand)AuthorAgeFilesLines
* 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
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-1/+1
* Fully remove HsVersions.hSylvain Henry2021-05-121-9/+7
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-121-21/+21
* Document unfolding treatment of simplLamBndr.Andreas Klebinger2021-05-111-3/+5
* Worker/wrapper: Consistent namesSebastian Graf2021-04-201-1/+1
* Stop retaining SimplEnvs in unforced UnfoldingsMatthew Pickering2021-04-081-3/+7
* Rename StrictSig to DmdSig (#19597)Sebastian Graf2021-03-281-10/+10
* Make the simplifier slightly stricter.Andreas Klebinger2021-03-201-17/+63
* Transfer tickish things to GHC.Types.TickishLuite Stegeman2021-03-201-0/+1
* rename Tickish to CoreTickishLuite Stegeman2021-03-201-1/+1
* remove superfluous 'id' type parameter from GenTickishLuite Stegeman2021-03-201-1/+2
* Save the type of breakpoints in the Breakpoint tick in STGLuite Stegeman2021-03-201-2/+2
View Lorry Controller Status