summaryrefslogtreecommitdiff
path: root/testsuite/tests/quantified-constraints/T21037.hs
Commit message (Expand)AuthorAgeFilesLines
* Add test for #21037sheaf2022-02-091-0/+24