summaryrefslogtreecommitdiff
path: root/testsuite/tests/rep-poly/RepPolyPatSynRes.hs
Commit message (Expand)AuthorAgeFilesLines
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-0/+14