Revert "rts: Drop redundant flags for libffi"
[ghc.git] / testsuite / tests / rebindable / rebindable6.stderr
1
2 rebindable6.hs:110:17: error:
3     • Ambiguous type variable ‘t0’ arising from a do statement
4       prevents the constraint ‘(HasSeq
5                                   (IO a -> t0 -> IO b))’ from being solved.
6         (maybe you haven't applied a function to enough arguments?)
7       Relevant bindings include
8         g :: IO (Maybe b) (bound at rebindable6.hs:108:19)
9         f :: IO a (bound at rebindable6.hs:108:17)
10         test_do :: IO a -> IO (Maybe b) -> IO b
11           (bound at rebindable6.hs:108:9)
12       Probable fix: use a type annotation to specify what ‘t0’ should be.
13       These potential instance exist:
14         instance HasSeq (IO a -> IO b -> IO b)
15           -- Defined at rebindable6.hs:56:18
16     • In a stmt of a 'do' block: f
17       In the expression:
18         do f
19            Just (b :: b) <- g
20            return b
21       In an equation for ‘test_do’:
22           test_do f g
23             = do f
24                  Just (b :: b) <- g
25                  return b
26
27 rebindable6.hs:111:17: error:
28     • Ambiguous type variables ‘p0’, ‘t0’ arising from a do statement
29       prevents the constraint ‘(HasBind
30                                   (IO (Maybe b) -> (Maybe b -> p0) -> t0))’ from being solved.
31         (maybe you haven't applied a function to enough arguments?)
32       Relevant bindings include
33         g :: IO (Maybe b) (bound at rebindable6.hs:108:19)
34         test_do :: IO a -> IO (Maybe b) -> IO b
35           (bound at rebindable6.hs:108:9)
36       Probable fix: use a type annotation to specify what ‘p0’,
37                                                           ‘t0’ should be.
38       These potential instance exist:
39         instance HasBind (IO a -> (a -> IO b) -> IO b)
40           -- Defined at rebindable6.hs:51:18
41     • In a stmt of a 'do' block: Just (b :: b) <- g
42       In the expression:
43         do f
44            Just (b :: b) <- g
45            return b
46       In an equation for ‘test_do’:
47           test_do f g
48             = do f
49                  Just (b :: b) <- g
50                  return b
51
52 rebindable6.hs:112:17: error:
53     • Ambiguous type variable ‘p0’ arising from a use of ‘return’
54       prevents the constraint ‘(HasReturn (b -> p0))’ from being solved.
55         (maybe you haven't applied a function to enough arguments?)
56       Relevant bindings include
57         b :: b (bound at rebindable6.hs:111:23)
58         g :: IO (Maybe b) (bound at rebindable6.hs:108:19)
59         test_do :: IO a -> IO (Maybe b) -> IO b
60           (bound at rebindable6.hs:108:9)
61       Probable fix: use a type annotation to specify what ‘p0’ should be.
62       These potential instance exist:
63         instance HasReturn (a -> IO a) -- Defined at rebindable6.hs:46:18
64     • In a stmt of a 'do' block: return b
65       In the expression:
66         do f
67            Just (b :: b) <- g
68            return b
69       In an equation for ‘test_do’:
70           test_do f g
71             = do f
72                  Just (b :: b) <- g
73                  return b