diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail097.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail097.stderr | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail097.stderr b/testsuite/tests/typecheck/should_fail/tcfail097.stderr index 4d5d40c8d3..cbd5612b96 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail097.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail097.stderr @@ -1,10 +1,10 @@ tcfail097.hs:5:6: - Could not deduce (Eq a0) arising from the ambiguity check for ‛f’ + Could not deduce (Eq a0) arising from the ambiguity check for ‘f’ from the context (Eq a) bound by the type signature for f :: Eq a => Int -> Int at tcfail097.hs:5:6-23 - The type variable ‛a0’ is ambiguous + The type variable ‘a0’ is ambiguous In the ambiguity check for: forall a. Eq a => Int -> Int To defer the ambiguity check to use sites, enable AllowAmbiguousTypes - In the type signature for ‛f’: f :: Eq a => Int -> Int + In the type signature for ‘f’: f :: Eq a => Int -> Int |