summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/TyCo/FVs.hs
Commit message (Expand)AuthorAgeFilesLines
* Major refactor in the handling of equality constraintsSimon Peyton Jones2023-04-141-19/+46
* Refactor the treatment of loopy superclass dictswip/T20666Richard Eisenberg2023-01-111-3/+4
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-9/+332
* Fix typosEric Lindblad2022-09-141-2/+2
* Fix several note referencesKrzysztof Gogolewski2022-05-021-1/+1
* Kill derived constraintsRichard Eisenberg2022-02-231-6/+3
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-1/+1
* Fully remove HsVersions.hSylvain Henry2021-05-121-2/+0
* Persist CorePrepProv into IfaceUnivCoProvSimon Peyton Jones2021-05-041-3/+3
* Eliminate unsafeEqualityProof in CorePrepSimon Peyton Jones2021-04-261-0/+2
* Fix the binder-swap transformation in OccurAnalSimon Peyton Jones2021-03-241-1/+5
* Fix typosBrian Wignall2021-02-061-1/+1
* Remove flattening variablesRichard Eisenberg2020-12-011-17/+28
* Clean up haddock hyperlinks of GHC.* (part1)Takenobu Tani2020-06-251-9/+9
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-14/+16
* Improve some folds over Uniq[D]FMSimon Jakobi2020-05-141-1/+1
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-8/+8
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-3/+3
* Modules: Types (#13009)Sylvain Henry2020-03-291-4/+4
* Modules: Core (#13009)Sylvain Henry2020-03-161-0/+984