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