summaryrefslogtreecommitdiff
path: root/testsuite/tests/quantified-constraints/T15918.hs
Commit message (Expand)AuthorAgeFilesLines
* Add regression test for #15918Ryan Scott2019-03-051-0/+19