summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/Opt/SetLevels.hs
Commit message (Expand)AuthorAgeFilesLines
* Export pprTrace and friends from GHC.Prelude.Andreas Klebinger2022-11-031-1/+0
* Minor SDoc-related cleanupKrzysztof Gogolewski2022-10-281-3/+3
* Fix binder-swap bugSimon Peyton Jones2022-10-251-12/+3
* Avoid allocating intermediate lists for non recursive bindings.Andreas Klebinger2022-10-171-2/+2
* Fix typosEric Lindblad2022-09-141-2/+2
* Fix arityType: -fpedantic-bottoms, join points, etcwip/T21694aSimon Peyton Jones2022-08-251-29/+20
* Remove TCvSubst and use Subst for both term and type-level substYiyun Liu2022-08-041-5/+4
* Make SetLevels honour floatConstsSimon Peyton Jones2022-07-181-4/+4
* A bunch of changes related to eta reductionSimon Peyton Jones2022-05-301-4/+6
* Improve FloatOut and SpecConstrwip/T21386Simon Peyton Jones2022-05-231-31/+12
* Drop the app invariantghc-9.5-startJoachim Breitner2022-04-091-5/+5
* warnPprTrace: pass separately the reasonKrzysztof Gogolewski2022-01-111-1/+1
* Fix typosKrzysztof Gogolewski2021-12-251-3/+3
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-4/+6
* Ensure top-level binders in scope in SetLevelsSimon Peyton Jones2021-10-051-30/+37
* Put tracing functions into their own moduleSylvain Henry2021-06-221-11/+14
* Reword: representation instead of levitysheaf2021-06-101-2/+2
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-1/+1
* Fully remove HsVersions.hSylvain Henry2021-05-121-5/+3
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-121-3/+4
* Rename StrictSig to DmdSig (#19597)Sebastian Graf2021-03-281-6/+6
* Transfer tickish things to GHC.Types.TickishLuite Stegeman2021-03-201-0/+1
* Core: introduce Alt/AnnAlt/IfaceAlt datatypesSylvain Henry2021-01-221-6/+6
* Demand: Interleave usage and strictness demands (#18903)Sebastian Graf2020-11-201-2/+2
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-101-6/+7
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+3
* This patch addresses the exponential blow-up in the simplifier.Simon Peyton Jones2020-07-281-2/+10
* Various performance improvementsKrzysztof Gogolewski2020-06-171-1/+2
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-3/+29
* Clarify leaf module names for new module hierarchyTakenobu Tani2020-06-101-2/+2
* Allow simplification through runRW#Ben Gamari2020-05-291-1/+9
* FloatOut: Only eta-expand dead-end RHS if arity will increase (#18231)Sebastian Graf2020-05-281-0/+3
* Rename GHC.Core.Arity into GHC.Core.Opt.AritySylvain Henry2020-05-241-1/+1
* DmdAnal: Improve handling of precise exceptionsSebastian Graf2020-05-151-4/+4
* Improve some folds over Uniq[D]FMSimon Jakobi2020-05-141-5/+7
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-8/+8
* Modules (#13009)Sylvain Henry2020-04-181-1/+1
* GHC.Core.Opt renamingSylvain Henry2020-04-181-0/+1771