summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Solver
Commit message (Expand)AuthorAgeFilesLines
* Implement Quick Look impredicativitySimon Peyton Jones2020-09-241-5/+17
* Care with implicit-parameter superclassesSimon Peyton Jones2020-09-153-7/+9
* Make `tcCheckSatisfiability` incremental (#18645)Sebastian Graf2020-09-121-8/+21
* DynFlags: disentangle OutputableSylvain Henry2020-08-124-0/+4
* Comments onlySimon Peyton Jones2020-07-131-2/+5
* Give Uniq[D]FM a phantom type for its key.Andreas Klebinger2020-07-121-8/+8
* Fix duplicated words and typos in comments and user guideJan HrĨek2020-06-281-1/+1
* Clean up haddock hyperlinks of GHC.* (part2)Takenobu Tani2020-06-253-4/+4
* Various performance improvementsKrzysztof Gogolewski2020-06-172-5/+5
* Linear types (#15981)Krzysztof Gogolewski2020-06-172-18/+25
* Clarify leaf module names for new module hierarchyTakenobu Tani2020-06-101-2/+2
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-052-46/+68
* Avoid unnecessary allocations due to tracing utilitiesBen Gamari2020-05-282-0/+5
* Rename GHC.Hs.Types into GHC.Hs.TypeSylvain Henry2020-05-241-1/+1
* Refactor hole constraints.Richard Eisenberg2020-05-064-34/+25
* Unit: split and rename modulesSylvain Henry2020-04-301-1/+1
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-264-27/+27
* Modules (#13009)Sylvain Henry2020-04-182-4/+4
* Modules: type-checker (#13009)Sylvain Henry2020-04-074-0/+10810