summaryrefslogtreecommitdiff
path: root/testsuite/tests/linear/should_fail/LinearRole.hs
Commit message (Expand)AuthorAgeFilesLines
* Linear types: fix roles in GADTs (#18799)Krzysztof Gogolewski2020-10-091-0/+12