summaryrefslogtreecommitdiff
path: root/testsuite/tests/quantified-constraints/T15231.hs
Commit message (Expand)AuthorAgeFilesLines
* Add "quantified constraint" context in error message, fix #15231.HE, Tao2018-06-151-0/+15