summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Solver.hs
Commit message (Expand)AuthorAgeFilesLines
* Care with implicit-parameter superclassesSimon Peyton Jones2020-09-151-1/+1
* Make `tcCheckSatisfiability` incremental (#18645)Sebastian Graf2020-09-121-31/+28
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
* Fix duplicated words and typos in comments and user guideJan HrĨek2020-06-281-2/+2
* Clean up haddock hyperlinks of GHC.* (part2)Takenobu Tani2020-06-251-2/+2
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-1/+8
* Clarify leaf module names for new module hierarchyTakenobu Tani2020-06-101-1/+1
* 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