diff options
Diffstat (limited to 'testsuite/tests/patsyn/should_fail/T11667.stderr')
| -rw-r--r-- | testsuite/tests/patsyn/should_fail/T11667.stderr | 6 |
1 files changed, 3 insertions, 3 deletions
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 |