Lots of error message wibbling, following the
[ghc.git] / testsuite / tests / rebindable / rebindable6.stderr
1
2 rebindable6.hs:106:17:
3     No instance for (HasSeq (IO a -> t0 -> IO b))
4       arising from a do statement
5     The type variable `t0' is ambiguous
6     Possible fix: add a type signature that fixes these type variable(s)
7     Possible fix:
8       add an instance declaration for (HasSeq (IO a -> t0 -> IO b))
9     In a stmt of a 'do' block: f
10     In the expression:
11       do { f;
12            Just (b :: b) <- g;
13            return b }
14     In an equation for `test_do':
15         test_do f g
16           = do { f;
17                  Just (b :: b) <- g;
18                  return b }
19
20 rebindable6.hs:107:17:
21     No instances for (HasBind (IO (Maybe b) -> (Maybe b -> t1) -> t0),
22                       HasFail ([Prelude.Char] -> t1))
23       arising from a do statement
24     The type variables `t0', `t1' are ambiguous
25     Possible fix: add a type signature that fixes these type variable(s)
26     Possible fix:
27       add instance declarations for
28       (HasBind (IO (Maybe b) -> (Maybe b -> t1) -> t0),
29        HasFail ([Prelude.Char] -> t1))
30     In a stmt of a 'do' block: Just (b :: b) <- g
31     In the expression:
32       do { f;
33            Just (b :: b) <- g;
34            return b }
35     In an equation for `test_do':
36         test_do f g
37           = do { f;
38                  Just (b :: b) <- g;
39                  return b }
40
41 rebindable6.hs:108:17:
42     No instance for (HasReturn (b -> t1))
43       arising from a use of `return'
44     The type variable `t1' is ambiguous
45     Possible fix: add a type signature that fixes these type variable(s)
46     Possible fix: add an instance declaration for (HasReturn (b -> t1))
47     In a stmt of a 'do' block: return b
48     In the expression:
49       do { f;
50            Just (b :: b) <- g;
51            return b }
52     In an equation for `test_do':
53         test_do f g
54           = do { f;
55                  Just (b :: b) <- g;
56                  return b }