diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T1897a.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/T1897a.stderr | 22 |
1 files changed, 12 insertions, 10 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T1897a.stderr b/testsuite/tests/typecheck/should_fail/T1897a.stderr index 5e7a590fa5..101caab6e7 100644 --- a/testsuite/tests/typecheck/should_fail/T1897a.stderr +++ b/testsuite/tests/typecheck/should_fail/T1897a.stderr @@ -1,10 +1,12 @@ - -T1897a.hs:9:1: - Could not deduce (Wob a0 b) - from the context: Wob a b - bound by the inferred type for ‘foo’: Wob a b => b -> [b] - at T1897a.hs:9:1-24 - The type variable ‘a0’ is ambiguous - When checking that ‘foo’ has the inferred type - foo :: forall a b. Wob a b => b -> [b] - Probable cause: the inferred type is ambiguous +
+T1897a.hs:9:1: error:
+ Could not deduce (Wob a0 b)
+ from the context: Wob a b
+ bound by the inferred type for ‘foo’:
+ Wob a b => b -> [b]
+ at T1897a.hs:9:1-24
+ The type variable ‘a0’ is ambiguous
+ In the ambiguity check for the inferred type for ‘foo’
+ To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
+ When checking the inferred type
+ foo :: forall a b. Wob a b => b -> [b]
|