summaryrefslogtreecommitdiff
path: root/compiler/GHC/Iface/Syntax.hs
Commit message (Expand)AuthorAgeFilesLines
* Rename StrictSig to DmdSig (#19597)Sebastian Graf2021-03-281-10/+10
* IfaceToType: Ensure that IfaceTyConInfo is sharedBen Gamari2021-03-171-1/+1
* Bring back COMPLETE sets filtered by result TyCon (#14422)Cale Gibbard2021-03-041-9/+7
* Core: introduce Alt/AnnAlt/IfaceAlt datatypesSylvain Henry2021-01-221-12/+25
* Demand: Interleave usage and strictness demands (#18903)Sebastian Graf2020-11-201-1/+1
* Add the proper HLint rules and remove redundant keywords from compilerHécate2020-11-011-4/+4
* Move loadDecl into IfaceToCoreSylvain Henry2020-10-311-4/+5
* Split GHC.Driver.TypesSylvain Henry2020-10-291-6/+7
* PmCheck: Disattach COMPLETE pragma lookup from TyConsSebastian Graf2020-09-121-6/+6
* Postpone associated tyfam default checks until after typecheckingRyan Scott2020-09-091-1/+1
* Do not print synonyms in :i (->), :i Type (#18594)Krzysztof Gogolewski2020-08-231-1/+9
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-6/+8
* Clean up haddock hyperlinks of GHC.* (part2)Takenobu Tani2020-06-251-2/+2
* Add missing entry to freeNamesItem (#18369)Krzysztof Gogolewski2020-06-231-2/+3
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-10/+17
* Cross-module LambdaFormInfo passingÖmer Sinan Ağacan2020-06-101-5/+68
* Clarify leaf module names for new module hierarchyTakenobu Tani2020-06-101-1/+1
* Explicit SpecificityGert-Jan Bottu2020-05-211-8/+8
* Unit: split and rename modulesSylvain Henry2020-04-301-1/+1
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-7/+7
* Modules (#13009)Sylvain Henry2020-04-181-2/+2
* GHC.Core.Opt renamingSylvain Henry2020-04-181-1/+1
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-1/+1
* Modules: Types (#13009)Sylvain Henry2020-03-291-15/+15
* Modules: Core (#13009)Sylvain Henry2020-03-161-8/+8
* Split GHC.Iface.Utils moduleSylvain Henry2020-03-111-1/+1
* Typos in comments [skip ci]Krzysztof Gogolewski2020-03-101-2/+2
* Simplify IfaceIdInfo typeÖmer Sinan Ağacan2020-02-291-26/+3
* Modules: Core (#13009)Sylvain Henry2020-02-261-7/+7
* Modules: Driver (#13009)Sylvain Henry2020-02-211-3/+3
* Disentangle DynFlags and SDocSylvain Henry2020-02-201-14/+12
* Re-implement unsafe coercions in terms of unsafe equality proofsSimon Peyton Jones2020-02-201-2/+3
* Separate CPR analysis from the Demand analyserwip/sep-cprSebastian Graf2020-02-121-2/+8
* Print Core type applications with no whitespace after @ (#17643)Ryan Scott2020-01-081-2/+2
* Module hierarchy: Iface (cf #13009)Sylvain Henry2020-01-061-0/+2593