summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T12973.stderr
Commit message (Expand)AuthorAgeFilesLines
* Reword: representation instead of levitysheaf2021-06-101-2/+2
* Update levity polymorphismRichard Eisenberg2017-01-191-0/+12