From 51ffd00906d1c75dc72c71ba4216b480996c8ce2 Mon Sep 17 00:00:00 2001 From: Swann Moreau Date: Thu, 30 Jun 2022 10:08:07 +0200 Subject: 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 --- testsuite/tests/quantified-constraints/T19921.stderr | 2 +- testsuite/tests/quantified-constraints/T21006.stderr | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'testsuite/tests/quantified-constraints') 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 -- cgit v1.2.1