summaryrefslogtreecommitdiff
path: root/compiler/GHC/CoreToIface.hs
Commit message (Expand)AuthorAgeFilesLines
* Handle records in the renamersheaf2023-03-291-7/+8
* Disable unfolding sharing for interface files with core definitionsMatthew Pickering2023-02-021-3/+10
* Support "unusable UNPACK pragma" warning with -O0Krzysztof Gogolewski2023-01-311-1/+1
* Store dehydrated data structures in CgModBreaksMatthew Pickering2023-01-261-0/+16
* Drop support for kind constraints.wip/p547Richard Eisenberg2022-12-241-6/+3
* Fix loop in the interface representation of some `Unfolding` fieldsGergő Érdi2022-12-131-1/+2
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-33/+38
* Fix TypeData issues (fixes #22315 and #22332)Ross Paterson2022-11-081-1/+1
* Export pprTrace and friends from GHC.Prelude.Andreas Klebinger2022-11-031-1/+0
* Interface Files with Core DefinitionsMatthew Pickering2022-10-111-1/+62
* Refactor UnfoldingSource and IfaceUnfoldingSimon Peyton Jones2022-09-281-10/+7
* Remove TCvSubst and use Subst for both term and type-level substYiyun Liu2022-08-041-3/+2
* Don't mark lambda binders as OtherConAndreas Klebinger2022-06-271-2/+2
* A bunch of changes related to eta reductionSimon Peyton Jones2022-05-301-2/+2
* Remove LevityInfoKrzysztof Gogolewski2022-04-201-5/+1
* Tag inference work.Andreas Klebinger2022-02-121-0/+1
* warnPprTrace: pass separately the reasonKrzysztof Gogolewski2022-01-111-1/+1
* Fix typosKrzysztof Gogolewski2021-12-251-2/+2
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-2/+2
* Simplifier: Do Cast W/W for INLINE strong loop-breakersSebastian Graf2021-06-271-1/+1
* Put tracing functions into their own moduleSylvain Henry2021-06-221-17/+22
* Re-do rubbish literalsSimon Peyton Jones2021-06-051-1/+5
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-1/+1
* Fully remove HsVersions.hSylvain Henry2021-05-121-3/+1
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-121-5/+5
* Persist CorePrepProv into IfaceUnivCoProvSimon Peyton Jones2021-05-041-2/+1
* Eliminate unsafeEqualityProof in CorePrepSimon Peyton Jones2021-04-261-0/+2
* Rename StrictSig to DmdSig (#19597)Sebastian Graf2021-03-281-4/+4
* Transfer tickish things to GHC.Types.TickishLuite Stegeman2021-03-201-0/+1
* rename Tickish to CoreTickishLuite Stegeman2021-03-201-1/+1
* remove superfluous 'id' type parameter from GenTickishLuite Stegeman2021-03-201-1/+1
* IfaceToType: Ensure that IfaceTyConInfo is sharedBen Gamari2021-03-171-3/+3
* The Char kind (#11342)Daniel Rogozin2021-02-061-0/+1
* Make PatSyn immutableSimon Peyton Jones2021-01-291-1/+1
* Core: introduce Alt/AnnAlt/IfaceAlt datatypesSylvain Henry2021-01-221-3/+2
* WorkWrap: Unbox constructors with existentials (#18982)Sebastian Graf2020-12-231-1/+1
* Introduce isBoxedTupleDataCon and use it to fix #18644Ryan Scott2020-09-041-1/+1
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+2
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-7/+10
* Cross-module LambdaFormInfo passingÖmer Sinan Ağacan2020-06-101-1/+28
* Explicit SpecificityGert-Jan Bottu2020-05-211-2/+2
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-4/+4
* Modules (#13009)Sylvain Henry2020-04-181-3/+3
* GHC.Core.Opt renamingSylvain Henry2020-04-181-1/+1
* Modules: Types (#13009)Sylvain Henry2020-03-291-10/+10
* Modules: Core (#13009)Sylvain Henry2020-03-161-9/+9
* Simplify IfaceIdInfo typeÖmer Sinan Ağacan2020-02-291-4/+2
* Modules: Core (#13009)Sylvain Henry2020-02-261-2/+2
* Re-implement unsafe coercions in terms of unsafe equality proofsSimon Peyton Jones2020-02-201-1/+0
* Separate CPR analysis from the Demand analyserwip/sep-cprSebastian Graf2020-02-121-1/+6
View Lorry Controller Status