diff options
Diffstat (limited to 'testsuite/tests/patsyn')
4 files changed, 7 insertions, 7 deletions
diff --git a/testsuite/tests/patsyn/should_fail/T10873.stderr b/testsuite/tests/patsyn/should_fail/T10873.stderr index 6eb925be30..af151bbde7 100644 --- a/testsuite/tests/patsyn/should_fail/T10873.stderr +++ b/testsuite/tests/patsyn/should_fail/T10873.stderr @@ -1,6 +1,6 @@ T10873.hs:6:24: error: - • No instance for (Show a) + • No instance for ‘Show a’ arising from the "provided" constraints claimed by the signature of ‘Pat1’ In other words, a successful match on the pattern @@ -9,7 +9,7 @@ T10873.hs:6:24: error: • In the declaration for pattern synonym ‘Pat1’ T10873.hs:10:23: error: - • Could not deduce (Show a) + • Could not deduce ‘Show a’ arising from the "provided" constraints claimed by the signature of ‘Pat2’ from the context: Ord a diff --git a/testsuite/tests/patsyn/should_fail/T11667.stderr b/testsuite/tests/patsyn/should_fail/T11667.stderr index e08299b235..d10c1594ce 100644 --- a/testsuite/tests/patsyn/should_fail/T11667.stderr +++ b/testsuite/tests/patsyn/should_fail/T11667.stderr @@ -1,6 +1,6 @@ T11667.hs:12:22: error: - • Could not deduce (Num a) arising from the literal ‘42’ + • Could not deduce ‘Num a’ arising from the literal ‘42’ from the context: Eq a bound by the signature for pattern synonym ‘Pat1’ at T11667.hs:12:1-23 @@ -22,7 +22,7 @@ T11667.hs:18:28: error: • Relevant bindings include y :: b (bound at T11667.hs:18:21) T11667.hs:24:24: error: - • No instance for (Show a) + • No instance for ‘Show a’ arising from the "provided" constraints claimed by the signature of ‘Pat3’ In other words, a successful match on the pattern @@ -31,7 +31,7 @@ T11667.hs:24:24: error: • In the declaration for pattern synonym ‘Pat3’ T11667.hs:31:16: error: - • Could not deduce (Num a) arising from a use of ‘MkS’ + • Could not deduce ‘Num a’ arising from a use of ‘MkS’ from the context: (Eq a, Show a) bound by the signature for pattern synonym ‘Pat4’ at T11667.hs:31:1-21 diff --git a/testsuite/tests/patsyn/should_fail/T15685.stderr b/testsuite/tests/patsyn/should_fail/T15685.stderr index 204260a9e4..281e976549 100644 --- a/testsuite/tests/patsyn/should_fail/T15685.stderr +++ b/testsuite/tests/patsyn/should_fail/T15685.stderr @@ -1,6 +1,6 @@ T15685.hs:13:24: error: - • Could not deduce (k ~ [k0]) + • Could not deduce ‘k ~ [k0]’ from the context: as ~ (a : as1) bound by a pattern with constructor: Here :: forall {k} (f :: k -> *) (a :: k) (as :: [k]). diff --git a/testsuite/tests/patsyn/should_fail/T15695.stderr b/testsuite/tests/patsyn/should_fail/T15695.stderr index 62b082fd41..05b4de5225 100644 --- a/testsuite/tests/patsyn/should_fail/T15695.stderr +++ b/testsuite/tests/patsyn/should_fail/T15695.stderr @@ -1,6 +1,6 @@ T15695.hs:40:14: warning: [-Wdeferred-type-errors (in -Wdefault)] - • Could not deduce (a2 ~ NA 'VO) + • Could not deduce ‘a2 ~ NA 'VO’ from the context: ((* -> * -> *) ~ (k -> k1 -> *), Either ~~ f, ctx ~~ (a2 ':&: (a3 ':&: 'E)), f a2 ~~ f1, f1 a3 ~~ a4) bound by a pattern with pattern synonym: |