summaryrefslogtreecommitdiff
path: root/testsuite/tests/quantified-constraints/T15316A.hs
Commit message (Expand)AuthorAgeFilesLines
* testsuite: Add test for #15316Ben Gamari2020-02-081-0/+16