summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/Coercion.hs-boot
Commit message (Expand)AuthorAgeFilesLines
* Use the eager unifier in the constraint solverSimon Peyton Jones2023-05-121-3/+3
* Misc cleanupKrzysztof Gogolewski2023-01-051-2/+0
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-2/+4
* Core Lint: ensure primops can be eta-expandedsheaf2022-02-261-0/+4
* Remove flattening variablesRichard Eisenberg2020-12-011-1/+1
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-1/+1
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-3/+3
* Modules: Types (#13009)Sylvain Henry2020-03-291-2/+2
* Modules: Core (#13009)Sylvain Henry2020-03-161-0/+53