summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T15807.stderr
Commit message (Expand)AuthorAgeFilesLines
* New linear types syntax: a %p -> b (#18459)Vladislav Zavialov2020-09-291-1/+1
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-241-4/+7
* Fix #17021 by checking more return kindsRichard Eisenberg2020-03-171-14/+4
* Visible kind applicationmynguyen2019-01-031-0/+16