summaryrefslogtreecommitdiff
path: root/compiler/GHC/Types/Demand.hs
Commit message (Expand)AuthorAgeFilesLines
* Improve exprOkForSpeculation for classopsSimon Peyton Jones2023-01-311-8/+8
* DmdAnal: Reflect the `seq` of strict fields of a DataCon worker (#22475)Sebastian Graf2022-11-301-14/+61
* Export pprTrace and friends from GHC.Prelude.Andreas Klebinger2022-11-031-3/+0
* Boxity: Don't update Boxity unless worker/wrapper follows (#21754)wip/T21754Sebastian Graf2022-09-301-1/+41
* Demand: Format Call SubDemands `Cn(sd)` as `C(n,sd)` (#22231)wip/T22231Sebastian Graf2022-09-291-39/+39
* Demand: Clear distinction between Call SubDmd and eval Dmd (#21717)wip/T21717Sebastian Graf2022-09-271-247/+207
* Fix typosEric Lindblad2022-09-141-4/+4
* More improvements to worker/wrapperSimon Peyton Jones2022-07-251-3/+5
* Refactor wantToUnboxArg a bitSimon Peyton Jones2022-07-181-3/+2
* A bunch of changes related to eta reductionSimon Peyton Jones2022-05-301-7/+11
* Change `Backend` type and remove direct dependencieswip/backend-as-recordNorman Ramsey2022-05-211-3/+3
* Fix several note references, part 2Krzysztof Gogolewski2022-05-051-1/+1
* Assume at least one evaluation for nested SubDemands (#21081, #21133)wip/T21081Sebastian Graf2022-05-031-138/+357
* exprIsDeadEnd: Use isDeadEndAppSig to check if a function appliction is botto...Andreas Klebinger2022-05-011-4/+4
* Eta reduction based on evaluation context (#21261)Sebastian Graf2022-04-121-1/+7
* Fix all invalid haddock comments in the compilerZubin Duggal2022-03-291-1/+1
* Add the OPAQUE pragmaChristiaan Baaij2022-03-251-2/+24
* Demand: Let `Boxed` win in `lubBoxity` (#21119)Sebastian Graf2022-03-161-92/+110
* Demand: Document why we need three additional equations of multSubDmdSebastian Graf2022-03-111-17/+20
* Suggestions due to hlintMatthew Pickering2022-02-241-2/+1
* More accurate unboxingSimon Peyton Jones2022-02-021-3/+9
* Improve boxity in deferAfterPreciseExceptionSimon Peyton Jones2022-01-281-5/+56
* Demand: `Eq DmdType` modulo `defaultFvDmd` (#20827)Sebastian Graf2021-12-171-5/+35
* DmdAnal: Implement Boxity Analysis (#19871)Sebastian Graf2021-10-241-227/+528
* compiler: Reimplement seqEltsUFM in terms of foldBen Gamari2021-09-291-1/+1
* Demand: Better representation (#19050)Sebastian Graf2021-06-291-179/+333
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-1/+1
* Fully remove HsVersions.hSylvain Henry2021-05-121-2/+0
* Refactor around `wantToUnbox`Sebastian Graf2021-04-201-1/+1
* Make sure result of demand analysis is forced promptlyMatthew Pickering2021-04-081-5/+6
* Some extra strictness in Demand.hsMatthew Pickering2021-04-081-2/+2
* Use DmdEnv rather than VarEnv DmdEnvMatthew Pickering2021-04-081-1/+1
* Rename StrictSig to DmdSig (#19597)Sebastian Graf2021-03-281-69/+69
* DmdAnal: Better syntax for demand signatures (#19016)Sebastian Graf2021-03-031-85/+94
* Document how bottom CPR and dead-ending Divergence are related [skip ci]Sebastian Graf2021-02-181-0/+24
* Fix typosBrian Wignall2021-02-061-1/+1
* Don't use absentError thunks for strict constructor fieldsSimon Peyton Jones2021-01-021-8/+33
* DmdAnal: Keep alive RULE vars in LetUp (#18971)Sebastian Graf2020-12-231-0/+6
* Demand: Simplify `CU(U)` to `U` (#19005)Sebastian Graf2020-12-121-25/+37
* DmdAnal: Annotate top-level function bindings with demands (#18894)Sebastian Graf2020-12-121-5/+5
* Demand: Interleave usage and strictness demands (#18903)Sebastian Graf2020-11-201-1449/+1222
* Add the proper HLint rules and remove redundant keywords from compilerHécate2020-11-011-25/+17
* DmdAnal: Kill `is_thunk` case in `splitFV`Sebastian Graf2020-10-271-22/+1
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-101-3/+5
* Do absence analysis on stable unfoldingsSimon Peyton Jones2020-09-171-7/+25
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-3/+7
* This patch addresses the exponential blow-up in the simplifier.Simon Peyton Jones2020-07-281-5/+5
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-1/+2
* Trim the demand for recursive product typesSimon Peyton Jones2020-06-131-76/+32
* Clarify leaf module names for new module hierarchyTakenobu Tani2020-06-101-2/+2
View Lorry Controller Status