summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/Opt/Arity.hs
Commit message (Expand)AuthorAgeFilesLines
* Demand: Format Call SubDemands `Cn(sd)` as `C(n,sd)` (#22231)wip/T22231Sebastian Graf2022-09-291-6/+6
* Demand: Clear distinction between Call SubDmd and eval Dmd (#21717)wip/T21717Sebastian Graf2022-09-271-14/+4
* Fix typosEric Lindblad2022-09-141-5/+5
* Add a missing trimArityTypeSimon Peyton Jones2022-08-311-10/+146
* Fix arityType: -fpedantic-bottoms, join points, etcwip/T21694aSimon Peyton Jones2022-08-251-267/+406
* Remove TCvSubst and use Subst for both term and type-level substYiyun Liu2022-08-041-10/+10
* Fix a small buglet in tryEtaReduceSimon Peyton Jones2022-07-251-6/+8
* Tiny documentation wibbles (comments only)wip/T21452Simon Peyton Jones2022-07-121-2/+2
* Don't mark lambda binders as OtherConAndreas Klebinger2022-06-271-2/+2
* Simplify: Take care with eta reduction in recursive RHSs (#21652)Sebastian Graf2022-06-201-16/+71
* A bunch of changes related to eta reductionSimon Peyton Jones2022-05-301-261/+1012
* Make findRhsArity take RecFlagSimon Peyton Jones2022-05-301-2/+6
* Do arity trimming at bindings, rather than in exprAritySimon Peyton Jones2022-05-301-36/+74
* Optimiser: avoid introducing bad rep-polysheaf2022-05-261-15/+30
* Remove pprTrace from pushCoercionIntoLambda (#21555)Matthew Pickering2022-05-201-1/+2
* Decouple dynflags in GHC.Core.Opt.Arity (related to #17957)Andre Marianiello2022-05-121-22/+22
* Assume at least one evaluation for nested SubDemands (#21081, #21133)wip/T21081Sebastian Graf2022-05-031-0/+3
* Fix substitution in bindAuxiliaryDictSimon Peyton Jones2022-04-201-1/+1
* Specialising through specialised method calls (#19644)Sebastian Graf2022-04-121-1/+1
* Fix missing SymCo in pushCoercionIntoLambdasheaf2022-04-091-1/+5
* Fix some notesMatthew Pickering2022-02-081-1/+1
* Fix a few Note inconsistenciesBen Gamari2022-02-011-6/+6
* warnPprTrace: pass separately the reasonKrzysztof Gogolewski2022-01-111-4/+4
* Fix typosKrzysztof Gogolewski2021-12-251-1/+1
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-2/+2
* Get the in-scope set right during RULE matchingSimon Peyton Jones2021-08-191-1/+1
* Improve performance of eta expansionSimon Peyton Jones2021-07-281-42/+103
* Simplify and improve the eta expansion mechanismSimon Peyton Jones2021-07-281-130/+88
* Eta expand through CallStacksSimon Peyton Jones2021-07-271-2/+19
* Arity: Handle shadowing properlySebastian Graf2021-07-021-9/+51
* Put tracing functions into their own moduleSylvain Henry2021-06-221-13/+15
* Reword: representation instead of levitysheaf2021-06-101-2/+2
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-1/+0
* Fully remove HsVersions.hSylvain Henry2021-05-121-9/+6
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-121-8/+10
* Rename StrictSig to DmdSig (#19597)Sebastian Graf2021-03-281-4/+4
* Transfer tickish things to GHC.Types.TickishLuite Stegeman2021-03-201-0/+1
* Fix typosBrian Wignall2021-02-061-2/+2
* Core: introduce Alt/AnnAlt/IfaceAlt datatypesSylvain Henry2021-01-221-2/+2
* Name (tc)SplitForAll- functions more consistentlyRyan Scott2020-11-151-3/+3
* Arity: Emit "Exciting arity" warning only after second iteration (#18937)Sebastian Graf2020-11-131-14/+38
* Arity: Rework `ArityType` to fix monotonicity (#18870)Sebastian Graf2020-11-131-128/+203
* Arity: Record arity types for non-recursive letsSebastian Graf2020-10-171-62/+106
* Arity: Refactor fixed-point iteration in GHC.Core.Opt.AritySebastian Graf2020-10-171-63/+92
* Add TyCon Set/Env and use them in a few places.Andreas Klebinger2020-10-091-1/+2
* New linear types syntax: a %p -> b (#18459)Vladislav Zavialov2020-09-291-1/+1
* Better eta-expansion (again) and don't specilise DFunsSimon Peyton Jones2020-09-221-69/+476
* mkUnique refactoring (#18362)Aditya Gupta2020-08-221-1/+1
* Rewrite and move the monad-state hack noteSylvain Henry2020-08-121-1/+1
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+3
View Lorry Controller Status