diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/tc168.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/tc168.stderr | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/testsuite/tests/typecheck/should_compile/tc168.stderr b/testsuite/tests/typecheck/should_compile/tc168.stderr index 6fbc96f934..de1467b2b4 100644 --- a/testsuite/tests/typecheck/should_compile/tc168.stderr +++ b/testsuite/tests/typecheck/should_compile/tc168.stderr @@ -1,11 +1,11 @@ tc168.hs:17:1: Could not deduce (C a1 (a, b0)) - arising from the ambiguity check for ‛g’ + arising from the ambiguity check for ‘g’ from the context (C a1 (a, b)) - bound by the inferred type for ‛g’: C a1 (a, b) => a1 -> a + bound by the inferred type for ‘g’: C a1 (a, b) => a1 -> a at tc168.hs:17:1-16 - The type variable ‛b0’ is ambiguous - When checking that ‛g’ - has the inferred type ‛forall a b a1. C a1 (a, b) => a1 -> a’ + The type variable ‘b0’ is ambiguous + When checking that ‘g’ + has the inferred type ‘forall a b a1. C a1 (a, b) => a1 -> a’ Probable cause: the inferred type is ambiguous |