summaryrefslogtreecommitdiff
path: root/testsuite/tests/quantified-constraints/T17267b.stderr
Commit message (Expand)AuthorAgeFilesLines
* Do not add a 'solved dict' for quantified constraintsSimon Peyton Jones2019-10-121-0/+16