diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/tc168.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_compile/tc168.stderr | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/testsuite/tests/typecheck/should_compile/tc168.stderr b/testsuite/tests/typecheck/should_compile/tc168.stderr index 96fa5a0629..6fbc96f934 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'
- from the context (C a1 (a, b))
- 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'
- Probable cause: the inferred type is ambiguous
+ +tc168.hs:17:1: + Could not deduce (C a1 (a, b0)) + 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 + 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’ + Probable cause: the inferred type is ambiguous |