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 cf280a961d..269ea8ff05 100644 --- a/testsuite/tests/rebindable/rebindable6.stderr +++ b/testsuite/tests/rebindable/rebindable6.stderr @@ -1,18 +1,18 @@ -rebindable6.hs:106:17: error: +rebindable6.hs:109: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:104:19) - f :: IO a (bound at rebindable6.hs:104:17) + g :: IO (Maybe b) (bound at rebindable6.hs:107:19) + f :: IO a (bound at rebindable6.hs:107:17) test_do :: IO a -> IO (Maybe b) -> IO b - (bound at rebindable6.hs:104:9) + (bound at rebindable6.hs:107: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:52:18 + -- Defined at rebindable6.hs:55:18 In a stmt of a 'do' block: f In the expression: do { f; @@ -24,7 +24,7 @@ rebindable6.hs:106:17: error: Just (b :: b) <- g; return b } -rebindable6.hs:107:17: error: +rebindable6.hs:110:17: error: Ambiguous type variable ‘t1’ arising from a do statement prevents the constraint ‘(HasFail ([Char] -> t1))’ from being solved. @@ -32,7 +32,7 @@ rebindable6.hs:107: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:57:18 + -- Defined at rebindable6.hs:60:18 In a stmt of a 'do' block: Just (b :: b) <- g In the expression: do { f; @@ -44,18 +44,18 @@ rebindable6.hs:107:17: error: Just (b :: b) <- g; return b } -rebindable6.hs:108:17: error: +rebindable6.hs:111: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:107:23) - g :: IO (Maybe b) (bound at rebindable6.hs:104:19) + b :: b (bound at rebindable6.hs:110:23) + g :: IO (Maybe b) (bound at rebindable6.hs:107:19) test_do :: IO a -> IO (Maybe b) -> IO b - (bound at rebindable6.hs:104:9) + (bound at rebindable6.hs:107: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:42:18 + instance HasReturn (a -> IO a) -- Defined at rebindable6.hs:45:18 In a stmt of a 'do' block: return b In the expression: do { f; |