summaryrefslogtreecommitdiff
path: root/testsuite/tests/quantified-constraints/T19921.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/quantified-constraints/T19921.stderr')
-rw-r--r--testsuite/tests/quantified-constraints/T19921.stderr5
1 files changed, 4 insertions, 1 deletions
diff --git a/testsuite/tests/quantified-constraints/T19921.stderr b/testsuite/tests/quantified-constraints/T19921.stderr
index 4ebc2d227f..7284fbdbf7 100644
--- a/testsuite/tests/quantified-constraints/T19921.stderr
+++ b/testsuite/tests/quantified-constraints/T19921.stderr
@@ -1,6 +1,9 @@
T19921.hs:29:8: error: [GHC-05617]
- • Could not deduce ‘r’ arising from a use of ‘Dict’
+ • Could not deduce ‘r’
+ arising from the head of a quantified constraint
+ arising from the head of a quantified constraint
+ arising from a use of ‘Dict’
from the context: (x \/ y) \/ z
bound by a quantified context at T19921.hs:29:8-11
or from: (x ⇒ r, (y \/ z) ⇒ r)