Testsuite error message changes
[ghc.git] / testsuite / tests / typecheck / should_fail / T5300.stderr
1
2 T5300.hs:11:7:
3     Could not deduce (C1 a b c0)
4       arising from the ambiguity check for ‘f1’
5     from the context (Monad m, C1 a b c)
6       bound by the type signature for
7                  f1 :: (Monad m, C1 a b c) => a -> StateT (T b) m a
8       at T5300.hs:11:7-50
9     The type variable ‘c0’ is ambiguous
10     In the ambiguity check for:
11       forall a b (m :: * -> *) c.
12       (Monad m, C1 a b c) =>
13       a -> StateT (T b) m a
14     To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
15     In the type signature for ‘f1’:
16       f1 :: (Monad m, C1 a b c) => a -> StateT (T b) m a
17
18 T5300.hs:14:7:
19     Could not deduce (C2 a2 b2 c20)
20       arising from the ambiguity check for ‘f2’
21     from the context (Monad m, C1 a1 b1 c1, C2 a2 b2 c2)
22       bound by the type signature for
23                  f2 :: (Monad m, C1 a1 b1 c1, C2 a2 b2 c2) =>
24                        a1 -> StateT (T b2) m a2
25       at T5300.hs:14:7-69
26     The type variable ‘c20’ is ambiguous
27     In the ambiguity check for:
28       forall a1 b2 (m :: * -> *) a2 b1 c1 c2.
29       (Monad m, C1 a1 b1 c1, C2 a2 b2 c2) =>
30       a1 -> StateT (T b2) m a2
31     To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
32     In the type signature for ‘f2’:
33       f2 :: (Monad m, C1 a1 b1 c1, C2 a2 b2 c2) =>
34             a1 -> StateT (T b2) m a2