summaryrefslogtreecommitdiff
path: root/testsuite/tests/quantified-constraints/T15625a.hs
Commit message (Expand)AuthorAgeFilesLines
* Allow (~) in the head of a quantified constraintsSimon Peyton Jones2018-09-131-0/+20