summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Utils/Unify.hs
Commit message (Expand)AuthorAgeFilesLines
* Improve inference with linear typeswip/linear-backports-9.0Krzysztof Gogolewski2021-01-221-6/+7
* Improve typechecking of NPlusK patternsSimon Peyton Jones2020-07-181-21/+21
* Allow multiple case branches to have a higher rank typeSimon Peyton Jones2020-07-181-209/+42
* Clean up haddock hyperlinks of GHC.* (part2)Takenobu Tani2020-06-251-1/+1
* Expunge GhcTcIdSimon Peyton Jones2020-06-251-6/+6
* Various performance improvementsKrzysztof Gogolewski2020-06-171-2/+3
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-26/+71
* Clarify leaf module names for new module hierarchyTakenobu Tani2020-06-101-3/+3
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-436/+331
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-5/+5
* Do eager instantation in termsSimon Peyton Jones2020-04-221-140/+115
* Modules (#13009)Sylvain Henry2020-04-181-2/+2
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-0/+2331