summaryrefslogtreecommitdiff
path: root/compiler/GHC/IfaceToCore.hs
Commit message (Expand)AuthorAgeFilesLines
...
* 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