summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Gen/Expr.hs-boot
Commit message (Expand)AuthorAgeFilesLines
* Implement Quick Look impredicativitySimon Peyton Jones2020-09-241-7/+3
* Expunge GhcTcIdSimon Peyton Jones2020-06-251-8/+8
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-2/+3
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-10/+20
* Do eager instantation in termsSimon Peyton Jones2020-04-221-17/+10
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-0/+42