From 51ffd00906d1c75dc72c71ba4216b480996c8ce2 Mon Sep 17 00:00:00 2001
From: Swann Moreau <evertedsphere@gmail.com>
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/polykinds/T6054.stderr | 2 +-
 testsuite/tests/polykinds/T7230.stderr | 2 +-
 testsuite/tests/polykinds/T7438.stderr | 2 +-
 testsuite/tests/polykinds/T7594.stderr | 2 +-
 testsuite/tests/polykinds/T8566.stderr | 2 +-
 5 files changed, 5 insertions(+), 5 deletions(-)

(limited to 'testsuite/tests/polykinds')

diff --git a/testsuite/tests/polykinds/T6054.stderr b/testsuite/tests/polykinds/T6054.stderr
index 800b5599ce..3c967a12be 100644
--- a/testsuite/tests/polykinds/T6054.stderr
+++ b/testsuite/tests/polykinds/T6054.stderr
@@ -1,6 +1,6 @@
 
 T6054.hs:7:14: error:
-    • No instance for (Bar '() a0)
+    • No instance for ‘Bar '() a0’
         arising from an expression type signature
     • In the first argument of ‘print’, namely
         ‘(Proxy :: Bar '() a => Proxy a)’
diff --git a/testsuite/tests/polykinds/T7230.stderr b/testsuite/tests/polykinds/T7230.stderr
index aea0ea4a9d..679a96bddd 100644
--- a/testsuite/tests/polykinds/T7230.stderr
+++ b/testsuite/tests/polykinds/T7230.stderr
@@ -1,6 +1,6 @@
 
 T7230.hs:48:32: error:
-    • Could not deduce ((x :<<= x1) ~ 'True)
+    • Could not deduce ‘(x :<<= x1) ~ 'True’
       from the context: Increasing xs ~ 'True
         bound by the type signature for:
                    crash :: forall (xs :: [Nat]).
diff --git a/testsuite/tests/polykinds/T7438.stderr b/testsuite/tests/polykinds/T7438.stderr
index f3ce4851ab..e6b99ea452 100644
--- a/testsuite/tests/polykinds/T7438.stderr
+++ b/testsuite/tests/polykinds/T7438.stderr
@@ -1,6 +1,6 @@
 
 T7438.hs:6:14: error:
-    • Could not deduce (p1 ~ p2)
+    • Could not deduce ‘p1 ~ p2’
       from the context: b ~ a
         bound by a pattern with constructor:
                    Nil :: forall {k} (a :: k). Thrist a a,
diff --git a/testsuite/tests/polykinds/T7594.stderr b/testsuite/tests/polykinds/T7594.stderr
index 9a75c80ec3..39ebac66d5 100644
--- a/testsuite/tests/polykinds/T7594.stderr
+++ b/testsuite/tests/polykinds/T7594.stderr
@@ -1,6 +1,6 @@
 
 T7594.hs:37:12: error:
-    • Could not deduce (b ~ IO ())
+    • Could not deduce ‘b ~ IO ()’
       from the context: (:&:) c0 Real a
         bound by a type expected by the context:
                    forall a. (:&:) c0 Real a => a -> b
diff --git a/testsuite/tests/polykinds/T8566.stderr b/testsuite/tests/polykinds/T8566.stderr
index d67f47c771..20d56fc63c 100644
--- a/testsuite/tests/polykinds/T8566.stderr
+++ b/testsuite/tests/polykinds/T8566.stderr
@@ -1,6 +1,6 @@
 
 T8566.hs:35:9: error:
-    • Could not deduce (C ('AA (t (I a ps)) as) ps fs0)
+    • Could not deduce ‘C ('AA (t (I a ps)) as) ps fs0’
         arising from a use of ‘c’
       from the context: C ('AA (t (I a ps)) as) ps fs
         bound by the instance declaration at T8566.hs:33:10-67
-- 
cgit v1.2.1