summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds/T17963.stderr
Commit message (Expand)AuthorAgeFilesLines
* Diagnostic codes: acccept test changessheaf2022-09-131-1/+1
* Rework the handling of SkolemInfoMatthew Pickering2022-01-291-1/+1
* Implement BoxedRep proposalwip/boxed-repBen Gamari2021-03-071-1/+1
* Revert "Implement BoxedRep proposal"Ben Gamari2020-12-151-1/+1
* Implement BoxedRep proposalAndrew Martin2020-12-141-1/+1
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-241-3/+3
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-5/+4
* Add regression test for #17963Ryan Scott2020-03-311-0/+13