summaryrefslogtreecommitdiff
path: root/testsuite/tests/linear/should_compile/LinearHole.hs
Commit message (Expand)AuthorAgeFilesLines
* New linear types syntax: a %p -> b (#18459)Vladislav Zavialov2020-09-291-1/+1
* Fix typed holes causing linearity errors (#18491)Krzysztof Gogolewski2020-09-251-0/+7