diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail080.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail080.stderr | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail080.stderr b/testsuite/tests/typecheck/should_fail/tcfail080.stderr index 31ad546213..23afa16ba3 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail080.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail080.stderr @@ -1,13 +1,13 @@ -
-tcfail080.hs:27:1:
- Could not deduce (Collection c0 a)
- arising from the ambiguity check for `q'
- from the context (Collection c a)
- bound by the inferred type for `q': Collection c a => a -> Bool
- at tcfail080.hs:27:1-27
- The type variable `c0' is ambiguous
- When checking that `q'
- has the inferred type `forall (c :: * -> *) a.
- Collection c a =>
- a -> Bool'
- Probable cause: the inferred type is ambiguous
+ +tcfail080.hs:27:1: + Could not deduce (Collection c0 a) + arising from the ambiguity check for ‛q’ + from the context (Collection c a) + bound by the inferred type for ‛q’: Collection c a => a -> Bool + at tcfail080.hs:27:1-27 + The type variable ‛c0’ is ambiguous + When checking that ‛q’ + has the inferred type ‛forall (c :: * -> *) a. + Collection c a => + a -> Bool’ + Probable cause: the inferred type is ambiguous |