summaryrefslogtreecommitdiff
path: root/compiler/GHC/IfaceToCore.hs
Commit message (Expand)AuthorAgeFilesLines
* Bring back COMPLETE sets filtered by result TyCon (#14422)Cale Gibbard2021-03-041-2/+5
* Fix a serious bug in roughMatchTcsSimon Peyton Jones2021-02-131-2/+7
* Refactor LoggerSylvain Henry2021-02-131-3/+6
* The Char kind (#11342)Daniel Rogozin2021-02-061-0/+1
* Make PatSyn immutableSimon Peyton Jones2021-01-291-2/+2
* Core: introduce Alt/AnnAlt/IfaceAlt datatypesSylvain Henry2021-01-221-9/+9
* Display results of GHC.Core.Lint.lint* functions consistentlyRyan Scott2020-11-021-14/+11
* Add the proper HLint rules and remove redundant keywords from compilerHécate2020-11-011-6/+5
* Move loadDecl into IfaceToCoreSylvain Henry2020-10-311-6/+111
* Split GHC.Driver.TypesSylvain Henry2020-10-291-19/+37
* Cache HomeUnit in HscEnv (#17957)Sylvain Henry2020-10-091-1/+1
* Wire in constraint tuplesRyan Scott2020-09-191-4/+3
* PmCheck: Disattach COMPLETE pragma lookup from TyConsSebastian Graf2020-09-121-12/+22
* DynFlags: add UnfoldingOpts and SimpleOptsSylvain Henry2020-09-091-4/+4
* Postpone associated tyfam default checks until after typecheckingRyan Scott2020-09-091-1/+1
* Remove "Ord FastString" instanceSylvain Henry2020-09-011-2/+1
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
* Update compilerSylvain Henry2020-06-171-18/+0
* Various performance improvementsKrzysztof Gogolewski2020-06-171-1/+0
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-22/+25
* Cross-module LambdaFormInfo passingÖmer Sinan Ağacan2020-06-101-4/+44
* Clean up boot vs non-boot disambiguating typesJohn Ericson2020-06-041-13/+15
* Lint rhs of IfaceRulefendor2020-06-011-2/+21
* Explicit SpecificityGert-Jan Bottu2020-05-211-4/+4
* Unit: split and rename modulesSylvain Henry2020-04-301-1/+1
* Refactoring unit management codeSylvain Henry2020-04-301-1/+1
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-7/+7
* Modules (#13009)Sylvain Henry2020-04-181-3/+3
* GHC.Core.Opt renamingSylvain Henry2020-04-181-1/+1
* Change zipWith to zipWithEqual in a few placesKrzysztof Gogolewski2020-04-141-1/+1
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-3/+3
* Re-engineer the binder-swap transformationSimon Peyton Jones2020-04-021-5/+2
* Modules: Types (#13009)Sylvain Henry2020-03-291-19/+19
* Modules: Core operations (#13009)Sylvain Henry2020-03-181-1/+1
* Modules: Core (#13009)Sylvain Henry2020-03-161-13/+13
* Expose compulsory unfoldings alwaysSimon Peyton Jones2020-03-121-2/+2
* Simplify IfaceIdInfo typeÖmer Sinan Ağacan2020-02-291-4/+2
* Modules: Core (#13009)Sylvain Henry2020-02-261-6/+6
* Modules: Driver (#13009)Sylvain Henry2020-02-211-4/+4
* Re-implement unsafe coercions in terms of unsafe equality proofsSimon Peyton Jones2020-02-201-15/+29
* Separate CPR analysis from the Demand analyserwip/sep-cprSebastian Graf2020-02-121-0/+1
* Disable two warnings for files that trigger themTom Ellis2020-01-271-0/+2
* Module hierarchy: Iface (cf #13009)Sylvain Henry2020-01-061-0/+1825
View Lorry Controller Status