summaryrefslogtreecommitdiff
path: root/testsuite/tests/quantified-constraints/T17458.hs
Commit message (Expand)AuthorAgeFilesLines
* testsuite: Add test for #17458Ben Gamari2019-11-131-0/+40