summaryrefslogtreecommitdiff
path: root/testsuite/tests/quantified-constraints/T15316.stderr
Commit message (Expand)AuthorAgeFilesLines
* Refactor validity checking for constraintsSimon Peyton Jones2018-07-051-0/+6