summaryrefslogtreecommitdiff
path: root/testsuite/tests/quantified-constraints/T15290a.stderr
Commit message (Expand)AuthorAgeFilesLines
* Diagnostic codes: acccept test changessheaf2022-09-131-1/+1
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-6/+4
* Instances in no-evidence implicationsSimon Peyton Jones2018-06-221-0/+22