summaryrefslogtreecommitdiff
path: root/testsuite/tests/linear/should_fail/LinearKind.hs
Commit message (Expand)AuthorAgeFilesLines
* New linear types syntax: a %p -> b (#18459)Vladislav Zavialov2020-09-291-1/+1
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-0/+4