diff options
| author | Swann Moreau <evertedsphere@gmail.com> | 2022-06-30 10:08:07 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-08-19 18:29:21 -0400 |
| commit | 51ffd00906d1c75dc72c71ba4216b480996c8ce2 (patch) | |
| tree | bad8746acded2a4da4de1ef3a3eb90c51e7f66d9 /testsuite/tests/polykinds | |
| parent | e5567289c576a76f62bd78bd823a824c7ca83de6 (diff) | |
| download | haskell-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/polykinds')
| -rw-r--r-- | testsuite/tests/polykinds/T6054.stderr | 2 | ||||
| -rw-r--r-- | testsuite/tests/polykinds/T7230.stderr | 2 | ||||
| -rw-r--r-- | testsuite/tests/polykinds/T7438.stderr | 2 | ||||
| -rw-r--r-- | testsuite/tests/polykinds/T7594.stderr | 2 | ||||
| -rw-r--r-- | testsuite/tests/polykinds/T8566.stderr | 2 |
5 files changed, 5 insertions, 5 deletions
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 |