summaryrefslogtreecommitdiff
path: root/compiler/GHC/Types/Id.hs
Commit message (Expand)AuthorAgeFilesLines
* Handle records in the renamersheaf2023-03-291-8/+8
* Refactor the simplifier a bit to fix #22761Simon Peyton Jones2023-02-101-6/+8
* Improve exprOkForSpeculation for classopsSimon Peyton Jones2023-01-311-4/+4
* Take account of loop breakers in specLookupRuleSimon Peyton Jones2023-01-301-4/+26
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-2/+2
* Export pprTrace and friends from GHC.Prelude.Andreas Klebinger2022-11-031-1/+0
* Make transferPolyIdInfo work for CPRSimon Peyton Jones2022-07-181-4/+5
* Don't mark lambda binders as OtherConAndreas Klebinger2022-06-271-16/+60
* A bunch of changes related to eta reductionSimon Peyton Jones2022-05-301-63/+1
* Make PrimOpId record levitySimon Peyton Jones2022-05-301-5/+10
* Remove LevityInfoKrzysztof Gogolewski2022-04-201-4/+0
* Fix isLiftedType_maybe and handle falloutsheaf2022-03-141-1/+1
* Core Lint: ensure primops can be eta-expandedsheaf2022-02-261-1/+14
* Tag inference work.Andreas Klebinger2022-02-121-5/+79
* warnPprTrace: pass separately the reasonKrzysztof Gogolewski2022-01-111-1/+2
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-24/+3
* Remove NoGhcTc usage from HsMatchContextArtyom Kuznetsov2021-09-281-4/+3
* Simplifier: Do Cast W/W for INLINE strong loop-breakersSebastian Graf2021-06-271-19/+12
* Put tracing functions into their own moduleSylvain Henry2021-06-221-2/+1
* Enhance cast worker/wrapper for INLINABLESimon Peyton Jones2021-06-181-2/+9
* Reword: representation instead of levitysheaf2021-06-101-5/+5
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-1/+1
* Fully remove HsVersions.hSylvain Henry2021-05-121-6/+4
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-121-9/+10
* Don't warn about ClassOp bindings not specialising.Andreas Klebinger2021-05-111-0/+6
* Rename StrictSig to DmdSig (#19597)Sebastian Graf2021-03-281-24/+24
* Improve handling of overloaded labels, literals, lists etcwip/T19154Simon Peyton Jones2021-02-191-6/+5
* Demand: Interleave usage and strictness demands (#18903)Sebastian Graf2020-11-201-1/+1
* Misc cleanupKrzysztof Gogolewski2020-10-071-2/+8
* Remove unsafeGlobalDynFlags (#17957, #14597)Sylvain Henry2020-09-301-2/+2
* Introduce isBoxedTupleDataCon and use it to fix #18644Ryan Scott2020-09-041-1/+1
* mkUnique refactoring (#18362)Aditya Gupta2020-08-221-0/+1
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-2/+6
* Clean up haddock hyperlinks of GHC.* (part1)Takenobu Tani2020-06-251-15/+15
* Various performance improvementsKrzysztof Gogolewski2020-06-171-12/+11
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-34/+63
* Cross-module LambdaFormInfo passingÖmer Sinan Ağacan2020-06-101-1/+11
* Eta expand un-saturated primopsBen Gamari2020-05-291-13/+5
* Rename GHC.Core.Arity into GHC.Core.Opt.AritySylvain Henry2020-05-241-2/+2
* DmdAnal: Improve handling of precise exceptionsSebastian Graf2020-05-151-6/+7
* Unit: split and rename modulesSylvain Henry2020-04-301-1/+1
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-5/+5
* Mark DataCon wrappers CONLIKEAlexis King2020-04-221-1/+1
* Modules (#13009)Sylvain Henry2020-04-181-4/+4
* GHC.Core.Opt renamingSylvain Henry2020-04-181-2/+2
* Modules: Types (#13009)Sylvain Henry2020-03-291-0/+971
View Lorry Controller Status