Modify a couple of error messages slightly
[ghc.git] / testsuite / tests / rebindable / rebindable6.stderr
1 \r
2 rebindable6.hs:106:17:\r
3     No instance for (HasSeq (IO a -> t0 -> IO b))\r
4       (maybe you haven't applied a function to enough arguments?)\r
5       arising from a do statement\r
6     The type variable ‘t0’ is ambiguous\r
7     Relevant bindings include\r
8       g :: IO (Maybe b) (bound at rebindable6.hs:104:19)\r
9       f :: IO a (bound at rebindable6.hs:104:17)\r
10       test_do :: IO a -> IO (Maybe b) -> IO b\r
11         (bound at rebindable6.hs:104:9)\r
12     Note: there is a potential instance available:\r
13       instance HasSeq (IO a -> IO b -> IO b)\r
14         -- Defined at rebindable6.hs:52:18\r
15     In a stmt of a 'do' block: f\r
16     In the expression:\r
17       do { f;\r
18            Just (b :: b) <- g;\r
19            return b }\r
20     In an equation for ‘test_do’:\r
21         test_do f g\r
22           = do { f;\r
23                  Just (b :: b) <- g;\r
24                  return b }\r
25 \r
26 rebindable6.hs:107:17:\r
27     No instance for (HasFail ([Prelude.Char] -> t1))\r
28       (maybe you haven't applied a function to enough arguments?)\r
29       arising from a do statement\r
30     The type variable ‘t1’ is ambiguous\r
31     Note: there is a potential instance available:\r
32       instance HasFail (String -> IO a)\r
33         -- Defined at rebindable6.hs:57:18\r
34     In a stmt of a 'do' block: Just (b :: b) <- g\r
35     In the expression:\r
36       do { f;\r
37            Just (b :: b) <- g;\r
38            return b }\r
39     In an equation for ‘test_do’:\r
40         test_do f g\r
41           = do { f;\r
42                  Just (b :: b) <- g;\r
43                  return b }\r
44 \r
45 rebindable6.hs:108:17:\r
46     No instance for (HasReturn (b -> t1))\r
47       (maybe you haven't applied a function to enough arguments?)\r
48       arising from a use of ‘return’\r
49     The type variable ‘t1’ is ambiguous\r
50     Relevant bindings include\r
51       b :: b (bound at rebindable6.hs:107:23)\r
52       g :: IO (Maybe b) (bound at rebindable6.hs:104:19)\r
53       test_do :: IO a -> IO (Maybe b) -> IO b\r
54         (bound at rebindable6.hs:104:9)\r
55     Note: there is a potential instance available:\r
56       instance HasReturn (a -> IO a) -- Defined at rebindable6.hs:42:18\r
57     In a stmt of a 'do' block: return b\r
58     In the expression:\r
59       do { f;\r
60            Just (b :: b) <- g;\r
61            return b }\r
62     In an equation for ‘test_do’:\r
63         test_do f g\r
64           = do { f;\r
65                  Just (b :: b) <- g;\r
66                  return b }\r