summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds/T17841.stderr
Commit message (Expand)AuthorAgeFilesLines
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-241-2/+2
* Always use rnImplicitBndrs to bring implicit tyvars into scopeRyan Scott2020-06-101-1/+1
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-0/+3
* Simplify treatment of heterogeneous equalityRichard Eisenberg2020-03-201-11/+4
* Wrap an implication around class-sig kind errorsSimon Peyton Jones2020-03-141-0/+13