tests: remove extra_files.py (#12223)
[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 :: (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 ‘f1’
10       To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
11       In the type signature:
12         f1 :: (Monad m, C1 a b c) => a -> StateT (T b) m a
13
14 T5300.hs:14:7: error:
15     • Could not deduce (C1 a1 b1 c10)
16       from the context: (Monad m, C1 a1 b1 c1, C2 a2 b2 c2)
17         bound by the type signature for:
18                    f2 :: (Monad m, C1 a1 b1 c1, C2 a2 b2 c2) =>
19                          a1 -> StateT (T b2) m a2
20         at T5300.hs:14:7-69
21       The type variable ‘c10’ is ambiguous
22     • In the ambiguity check for ‘f2’
23       To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
24       In the type signature:
25         f2 :: (Monad m, C1 a1 b1 c1, C2 a2 b2 c2) =>
26               a1 -> StateT (T b2) m a2