summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/TyCo/Tidy.hs
Commit message (Expand)AuthorAgeFilesLines
* Scrub some no-warning pragmas.M Farkas-Dyck2022-11-231-1/+0
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-11/+11
* Minor refactor around FastStringsKrzysztof Gogolewski2022-11-051-1/+2
* Rework the handling of SkolemInfoMatthew Pickering2022-01-291-1/+1
* Misc cleanupKrzysztof Gogolewski2021-11-251-9/+0
* Persist CorePrepProv into IfaceUnivCoProvSimon Peyton Jones2021-05-041-1/+1
* Eliminate unsafeEqualityProof in CorePrepSimon Peyton Jones2021-04-261-0/+1
* CoreTidy: handle special cases to preserve more sharing.Sylvain Henry2021-04-091-1/+2
* CoreTidy: enhance strictness noteBen Gamari2021-04-091-5/+15
* Fix strictness in TyCo.Tidy (#14738)Sylvain Henry2021-01-281-18/+38
* Name (tc)SplitForAll- functions more consistentlyRyan Scott2020-11-151-4/+4
* Various performance improvementsKrzysztof Gogolewski2020-06-171-2/+2
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-7/+7
* Modify file paths to module paths for new module hierarchyTakenobu Tani2020-06-011-1/+1
* Clean up file paths for new module hierarchyTakenobu Tani2020-06-011-1/+1
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-2/+2
* Modules: Types (#13009)Sylvain Henry2020-03-291-4/+4
* Modules: Core (#13009)Sylvain Henry2020-03-161-0/+235