summaryrefslogtreecommitdiff
path: root/testsuite/tests/quantified-constraints
diff options
context:
space:
mode:
authorSwann Moreau <evertedsphere@gmail.com>2022-06-30 10:08:07 +0200
committerMarge Bot <ben+marge-bot@smart-cactus.org>2022-08-19 18:29:21 -0400
commit51ffd00906d1c75dc72c71ba4216b480996c8ce2 (patch)
treebad8746acded2a4da4de1ef3a3eb90c51e7f66d9 /testsuite/tests/quantified-constraints
parente5567289c576a76f62bd78bd823a824c7ca83de6 (diff)
downloadhaskell-51ffd00906d1c75dc72c71ba4216b480996c8ce2.tar.gz
Print constraints in quotes (#21167)
This patch improves the uniformity of error message formatting by printing constraints in quotes, as we do for types. Fix #21167
Diffstat (limited to 'testsuite/tests/quantified-constraints')
-rw-r--r--testsuite/tests/quantified-constraints/T19921.stderr2
-rw-r--r--testsuite/tests/quantified-constraints/T21006.stderr2
2 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/quantified-constraints/T19921.stderr b/testsuite/tests/quantified-constraints/T19921.stderr
index 7433fc6370..bf33abe256 100644
--- a/testsuite/tests/quantified-constraints/T19921.stderr
+++ b/testsuite/tests/quantified-constraints/T19921.stderr
@@ -1,6 +1,6 @@
T19921.hs:29:8: error:
- • Could not deduce r arising from a use of ‘Dict’
+ • Could not deduce ‘r’ 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)
diff --git a/testsuite/tests/quantified-constraints/T21006.stderr b/testsuite/tests/quantified-constraints/T21006.stderr
index 6be755e4b0..cd8ee705bb 100644
--- a/testsuite/tests/quantified-constraints/T21006.stderr
+++ b/testsuite/tests/quantified-constraints/T21006.stderr
@@ -1,6 +1,6 @@
T21006.hs:14:10: error:
- • Could not deduce c
+ • Could not deduce ‘c’
arising from the superclasses of an instance declaration
from the context: (Determines b, Determines c)
bound by a quantified context at T21006.hs:14:10-15