summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds/T14265.stderr
Commit message (Expand)AuthorAgeFilesLines
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-3/+0
* Diagnostic codes: acccept test changessheaf2022-09-131-3/+3
* Make implication tidying agree with Note [Tidying multiple names at once]Matthew Pickering2022-02-051-6/+6
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-9/+9
* Visible kind applicationmynguyen2019-01-031-12/+18
* Fix nasty bug in the type free-var finder, at lastSimon Peyton Jones2018-10-261-1/+1
* Improve type-error reportingSimon Peyton Jones2017-09-251-0/+24