summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/Opt/DmdAnal.hs
Commit message (Expand)AuthorAgeFilesLines
* Assume at least one evaluation for nested SubDemands (#21081, #21133)wip/T21081Sebastian Graf2022-05-031-6/+9
* Drop the app invariantghc-9.5-startJoachim Breitner2022-04-091-33/+82
* Fix all invalid haddock comments in the compilerZubin Duggal2022-03-291-2/+2
* Add the OPAQUE pragmaChristiaan Baaij2022-03-251-2/+24
* Demand: Let `Boxed` win in `lubBoxity` (#21119)Sebastian Graf2022-03-161-24/+114
* DmdAnal: Don't unbox recursive data types (#11545)Sebastian Graf2022-03-141-14/+43
* Fix isLiftedType_maybe and handle falloutsheaf2022-03-141-1/+1
* Suggestions due to hlintMatthew Pickering2022-02-241-2/+1
* Tag inference work.Andreas Klebinger2022-02-121-2/+4
* More accurate unboxingSimon Peyton Jones2022-02-021-27/+381
* DmdAnal: Implement Boxity Analysis (#19871)Sebastian Graf2021-10-241-100/+171
* Demand: Better representation (#19050)Sebastian Graf2021-06-291-7/+18
* Do not add unfoldings to lambda-bindersSimon Peyton Jones2021-06-101-19/+2
* Enable strict dicts by default at -O2.Andreas Klebinger2021-05-271-17/+55
* Make setBndrsDemandInfo work with only type variablesMatthew Pickering2021-05-191-4/+4
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-1/+0
* Fully remove HsVersions.hSylvain Henry2021-05-121-2/+0
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-121-4/+5
* Worker/wrapper: Consistent namesSebastian Graf2021-04-201-1/+1
* Factor out DynFlags from WorkWrap.UtilsSebastian Graf2021-04-201-4/+3
* Make sure result of demand analysis is forced promptlyMatthew Pickering2021-04-081-83/+153
* Rename StrictSig to DmdSig (#19597)Sebastian Graf2021-03-281-23/+23
* DmdAnal: Better syntax for demand signatures (#19016)Sebastian Graf2021-03-031-41/+20
* Fix typosBrian Wignall2021-02-061-3/+3
* Make unsafeDupablePerformIO have a lazy demandAndreas Klebinger2021-02-061-34/+8
* Make DmdAnalOpts a newtypeAndreas Klebinger2021-01-221-2/+2
* Core: introduce Alt/AnnAlt/IfaceAlt datatypesSylvain Henry2021-01-221-4/+4
* WorkWrap: Unbox constructors with existentials (#18982)Sebastian Graf2020-12-231-7/+8
* DmdAnal: Keep alive RULE vars in LetUp (#18971)Sebastian Graf2020-12-231-13/+7
* Demand: Simplify `CU(U)` to `U` (#19005)Sebastian Graf2020-12-121-3/+3
* DmdAnal: Annotate top-level function bindings with demands (#18894)Sebastian Graf2020-12-121-117/+257
* Demand: Interleave usage and strictness demands (#18903)Sebastian Graf2020-11-201-126/+161
* DmdAnal: Kill `is_thunk` case in `splitFV`Sebastian Graf2020-10-271-4/+4
* DynFlags: refactor DmdAnalSylvain Henry2020-10-121-49/+39
* Do absence analysis on stable unfoldingsSimon Peyton Jones2020-09-171-2/+56
* Introduce isBoxedTupleDataCon and use it to fix #18644Ryan Scott2020-09-041-1/+1
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
* Deprecate -fdmd-tx-dict-sel.Andreas Klebinger2020-07-221-2/+3
* Explain why keeping DynFlags in AnalEnv saves allocation.Andreas Klebinger2020-07-141-1/+19
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-1/+2
* Trim the demand for recursive product typesSimon Peyton Jones2020-06-131-120/+168
* Clarify leaf module names for new module hierarchyTakenobu Tani2020-06-101-2/+2
* Rename GHC.Core.Arity into GHC.Core.Opt.AritySylvain Henry2020-05-241-2/+2
* DmdAnal: Improve handling of precise exceptionsSebastian Graf2020-05-151-77/+110
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-5/+5
* Modules (#13009)Sylvain Henry2020-04-181-2/+2
* GHC.Core.Opt renamingSylvain Henry2020-04-181-0/+1259
View Lorry Controller Status