diff options
Diffstat (limited to 'testsuite/tests/rebindable/rebindable6.stderr')
-rw-r--r-- | testsuite/tests/rebindable/rebindable6.stderr | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/testsuite/tests/rebindable/rebindable6.stderr b/testsuite/tests/rebindable/rebindable6.stderr index 0497c9fc61..8d2ea09928 100644 --- a/testsuite/tests/rebindable/rebindable6.stderr +++ b/testsuite/tests/rebindable/rebindable6.stderr @@ -1,18 +1,18 @@ -rebindable6.hs:109:17: error: +rebindable6.hs:110:17: error: • Ambiguous type variable ‘t0’ arising from a do statement prevents the constraint ‘(HasSeq (IO a -> t0 -> IO b))’ from being solved. (maybe you haven't applied a function to enough arguments?) Relevant bindings include - g :: IO (Maybe b) (bound at rebindable6.hs:107:19) - f :: IO a (bound at rebindable6.hs:107:17) + g :: IO (Maybe b) (bound at rebindable6.hs:108:19) + f :: IO a (bound at rebindable6.hs:108:17) test_do :: IO a -> IO (Maybe b) -> IO b - (bound at rebindable6.hs:107:9) + (bound at rebindable6.hs:108:9) Probable fix: use a type annotation to specify what ‘t0’ should be. These potential instance exist: instance HasSeq (IO a -> IO b -> IO b) - -- Defined at rebindable6.hs:55:18 + -- Defined at rebindable6.hs:56:18 • In a stmt of a 'do' block: f In the expression: do { f; @@ -24,7 +24,7 @@ rebindable6.hs:109:17: error: Just (b :: b) <- g; return b } -rebindable6.hs:110:17: error: +rebindable6.hs:111:17: error: • Ambiguous type variable ‘t1’ arising from a do statement with the failable pattern ‘Just (b :: b)’ prevents the constraint ‘(HasFail @@ -33,7 +33,7 @@ rebindable6.hs:110:17: error: Probable fix: use a type annotation to specify what ‘t1’ should be. These potential instance exist: instance HasFail (String -> IO a) - -- Defined at rebindable6.hs:60:18 + -- Defined at rebindable6.hs:61:18 • In a stmt of a 'do' block: Just (b :: b) <- g In the expression: do { f; @@ -45,18 +45,18 @@ rebindable6.hs:110:17: error: Just (b :: b) <- g; return b } -rebindable6.hs:111:17: error: +rebindable6.hs:112:17: error: • Ambiguous type variable ‘t1’ arising from a use of ‘return’ prevents the constraint ‘(HasReturn (b -> t1))’ from being solved. (maybe you haven't applied a function to enough arguments?) Relevant bindings include - b :: b (bound at rebindable6.hs:110:23) - g :: IO (Maybe b) (bound at rebindable6.hs:107:19) + b :: b (bound at rebindable6.hs:111:23) + g :: IO (Maybe b) (bound at rebindable6.hs:108:19) test_do :: IO a -> IO (Maybe b) -> IO b - (bound at rebindable6.hs:107:9) + (bound at rebindable6.hs:108:9) Probable fix: use a type annotation to specify what ‘t1’ should be. These potential instance exist: - instance HasReturn (a -> IO a) -- Defined at rebindable6.hs:45:18 + instance HasReturn (a -> IO a) -- Defined at rebindable6.hs:46:18 • In a stmt of a 'do' block: return b In the expression: do { f; |