summaryrefslogtreecommitdiff
path: root/compiler/GHC/CoreToIface.hs
Commit message (Expand)AuthorAgeFilesLines
* 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
* Module hierarchy: Iface (cf #13009)Sylvain Henry2020-01-061-0/+685