summaryrefslogtreecommitdiff
path: root/testsuite/tests/rep-poly/RepPolyMatch.stderr
Commit message (Expand)AuthorAgeFilesLines
* Fix isLiftedType_maybe and handle falloutsheaf2022-03-141-1/+1
* Introduce ConcreteTv metavariablessheaf2022-03-021-2/+3
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-0/+7