summaryrefslogtreecommitdiff
path: root/compiler/GHC/Types/Id/Info.hs
Commit message (Expand)AuthorAgeFilesLines
* Improve exprOkForSpeculation for classopswip/T22745Simon Peyton Jones2023-01-311-2/+7
* Take account of loop breakers in specLookupRuleSimon Peyton Jones2023-01-301-1/+1
* Fix typosEric Lindblad2022-09-141-2/+2
* Fix a nasty loop in TidySimon Peyton Jones2022-08-271-1/+1
* Edit Note [idArity varies independently of dmdTypeDepth]Simon Peyton Jones2022-07-121-2/+3
* Don't mark lambda binders as OtherConAndreas Klebinger2022-06-271-34/+62
* A bunch of changes related to eta reductionSimon Peyton Jones2022-05-301-0/+1
* Make PrimOpId record levitySimon Peyton Jones2022-05-301-2/+5
* Remove LevityInfoKrzysztof Gogolewski2022-04-201-79/+4
* Expand and improve the Note [Strict Worker Ids].Andreas Klebinger2022-03-071-5/+20
* Core Lint: ensure primops can be eta-expandedsheaf2022-02-261-0/+32
* Tag inference work.Andreas Klebinger2022-02-121-12/+76
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-15/+19
* Ensure that zapFragileUnfolding preseves evaluatednessBen Gamari2021-09-111-5/+5
* Simplifier: Do Cast W/W for INLINE strong loop-breakersSebastian Graf2021-06-271-5/+21
* Reword: representation instead of levitysheaf2021-06-101-10/+10
* Do not add unfoldings to lambda-bindersSimon Peyton Jones2021-06-101-0/+2
* WW: Mark absent errors as diverging againSebastian Graf2021-06-021-14/+14
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-1/+1
* Fully remove HsVersions.hSylvain Henry2021-05-121-2/+0
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-121-3/+4
* Re-export GHC.Bits from GHC.Prelude with custom shift implementation.Andreas Klebinger2021-04-091-1/+0
* Rename StrictSig to DmdSig (#19597)Sebastian Graf2021-03-281-16/+16
* DmdAnal: Annotate top-level function bindings with demands (#18894)Sebastian Graf2020-12-121-1/+1
* Demand: Interleave usage and strictness demands (#18903)Sebastian Graf2020-11-201-1/+1
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-1/+3
* This patch addresses the exponential blow-up in the simplifier.Simon Peyton Jones2020-07-281-1/+1
* Fix duplicated words and typos in comments and user guideJan Hrček2020-06-281-1/+1
* Clean up haddock hyperlinks of GHC.* (part1)Takenobu Tani2020-06-251-2/+2
* Cross-module LambdaFormInfo passingÖmer Sinan Ağacan2020-06-101-2/+13
* Clarify leaf module names for new module hierarchyTakenobu Tani2020-06-101-1/+1
* Rename GHC.Core.Arity into GHC.Core.Opt.AritySylvain Henry2020-05-241-1/+1
* IdInfo: Add reference to bitfield-packing ticketBen Gamari2020-05-141-1/+1
* Pack some of IdInfo fields into a bit fieldÖmer Sinan Ağacan2020-05-131-25/+117
* Unit: split and rename modulesSylvain Henry2020-04-301-1/+1
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-3/+3
* Modules (#13009)Sylvain Henry2020-04-181-1/+1
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-1/+1
* Re-engineer the binder-swap transformationSimon Peyton Jones2020-04-021-3/+4
* Modules: Types (#13009)Sylvain Henry2020-03-291-0/+652
View Lorry Controller Status