diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail080.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail080.stderr | 22 |
1 files changed, 12 insertions, 10 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail080.stderr b/testsuite/tests/typecheck/should_fail/tcfail080.stderr index 3b8d8e9eb9..21ca3aa8a6 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail080.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail080.stderr @@ -1,10 +1,12 @@ - -tcfail080.hs:27:1: - Could not deduce (Collection c0 a) - 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 - q :: forall (c :: * -> *) a. Collection c a => a -> Bool - Probable cause: the inferred type is ambiguous +
+tcfail080.hs:27:1: error:
+ Could not deduce (Collection c0 a)
+ 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
+ In the ambiguity check for the inferred type for ‘q’
+ To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
+ When checking the inferred type
+ q :: forall (c :: * -> *) a. Collection c a => a -> Bool
|