summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Solver.hs
Commit message (Expand)AuthorAgeFilesLines
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-44/+159
* Explicit SpecificityGert-Jan Bottu2020-05-211-3/+3
* Use Data.IntMap.disjointSimon Jakobi2020-05-141-1/+1
* Improve some folds over Uniq[D]FMSimon Jakobi2020-05-141-9/+5
* Refactor hole constraints.Richard Eisenberg2020-05-061-29/+25
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-7/+7
* Modules (#13009)Sylvain Henry2020-04-181-5/+5
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-0/+2727