Improve error messages for skolems
[ghc.git] / testsuite / tests / typecheck / should_fail / T5300.stderr
1
2 T5300.hs:11:7: error:
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 :: forall (m :: * -> *) a b c.
7                          (Monad m, C1 a b c) =>
8                          a -> StateT (T b) m a
9         at T5300.hs:11:7-50
10       The type variable ‘c0’ is ambiguous
11     • In the ambiguity check for ‘f1’
12       To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
13       In the type signature:
14         f1 :: (Monad m, C1 a b c) => a -> StateT (T b) m a
15
16 T5300.hs:14:7: error:
17     • Could not deduce (C1 a1 b1 c10)
18       from the context: (Monad m, C1 a1 b1 c1, C2 a2 b2 c2)
19         bound by the type signature for:
20                    f2 :: forall (m :: * -> *) a1 b1 c1 a2 b2 c2.
21                          (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 ‘c10’ is ambiguous
25     • In the ambiguity check for ‘f2’
26       To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
27       In the type signature:
28         f2 :: (Monad m, C1 a1 b1 c1, C2 a2 b2 c2) =>
29               a1 -> StateT (T b2) m a2