summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T20241b.stderr
Commit message (Expand)AuthorAgeFilesLines
* Don't look for TypeError in type family argumentssheaf2021-08-181-0/+16