summaryrefslogtreecommitdiff
path: root/compiler/GHC/Iface/Syntax.hs
Commit message (Expand)AuthorAgeFilesLines
* Fix :i Constraint printing "type Constraint = Constraint"Krzysztof Gogolewski2022-11-141-2/+4
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-24/+36
* Fix TypeData issues (fixes #22315 and #22332)Ross Paterson2022-11-081-14/+24
* Interface Files with Core DefinitionsMatthew Pickering2022-10-111-9/+75
* Refactor UnfoldingSource and IfaceUnfoldingSimon Peyton Jones2022-09-281-53/+41
* EPA: DotFieldOcc does not have exact print annotationsAlan Zimmerman2022-08-111-1/+3
* Don't mark lambda binders as OtherConAndreas Klebinger2022-06-271-5/+5
* Fix several note referencesKrzysztof Gogolewski2022-05-021-2/+3
* Remove LevityInfoKrzysztof Gogolewski2022-04-201-5/+0
* Tag inference work.Andreas Klebinger2022-02-121-2/+13
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-8/+8
* Reword: representation instead of levitysheaf2021-06-101-1/+1
* Re-do rubbish literalsSimon Peyton Jones2021-06-051-0/+9
* Implement :info for record pattern synonyms (#19462)nineonine2021-05-191-9/+16
* 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-2/+2
* Persist CorePrepProv into IfaceUnivCoProvSimon Peyton Jones2021-05-041-0/+1
* 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
View Lorry Controller Status