summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/Coercion.hs
Commit message (Expand)AuthorAgeFilesLines
* Clean up haddock hyperlinks of GHC.* (part1)Takenobu Tani2020-06-251-3/+3
* Two small tweaks to Coercion.simplifyArgsWorkerSimon Peyton Jones2020-06-231-1/+5
* Various performance improvementsKrzysztof Gogolewski2020-06-171-3/+3
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-40/+52
* Implement cast worker/wrapper properlySimon Peyton Jones2020-06-101-2/+2
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-0/+1
* Explicit SpecificityGert-Jan Bottu2020-05-211-1/+1
* Document (->) using inferred quantification for its runtime representations.Baldur Blöndal2020-05-131-1/+3
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-6/+6
* 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-4/+4
* Clean up "Eta reduction for data families" NotesRyan Scott2020-04-011-1/+1
* Modules: Types (#13009)Sylvain Henry2020-03-291-8/+8
* Update core spec to reflect changes to Core.Richard Eisenberg2020-03-201-2/+2
* Simplify treatment of heterogeneous equalityRichard Eisenberg2020-03-201-2/+43
* Modules: Core operations (#13009)Sylvain Henry2020-03-181-1/+1
* Modules: Core (#13009)Sylvain Henry2020-03-161-0/+2906