From 441a87a10e0a97c7af8beb19dfb02eb375c0e01f Mon Sep 17 00:00:00 2001 From: Simon Peyton Jones Date: Tue, 8 Jan 2013 08:30:05 +0000 Subject: Wibbles to error messages and tests, following ambiguity-check changes --- testsuite/tests/rebindable/rebindable6.stderr | 137 +++++++++++++------------- 1 file changed, 67 insertions(+), 70 deletions(-) (limited to 'testsuite/tests/rebindable') diff --git a/testsuite/tests/rebindable/rebindable6.stderr b/testsuite/tests/rebindable/rebindable6.stderr index 5130968c02..a12cef09f2 100644 --- a/testsuite/tests/rebindable/rebindable6.stderr +++ b/testsuite/tests/rebindable/rebindable6.stderr @@ -1,70 +1,67 @@ - -rebindable6.hs:106:17: - No instance for (HasSeq (IO a -> t0 -> IO b)) - arising from a do statement - The type variable `t0' is ambiguous - Possible fix: add a type signature that fixes these type variable(s) - Relevant bindings include - test_do :: IO a -> IO (Maybe b) -> IO b - (bound at rebindable6.hs:104:9) - f :: IO a (bound at rebindable6.hs:104:17) - g :: IO (Maybe b) (bound at rebindable6.hs:104:19) - Note: there is a potential instance available: - instance HasSeq (IO a -> IO b -> IO b) - -- Defined at rebindable6.hs:52:18 - In a stmt of a 'do' block: f - In the expression: - do { f; - Just (b :: b) <- g; - return b } - In an equation for `test_do': - test_do f g - = do { f; - Just (b :: b) <- g; - return b } - -rebindable6.hs:107:17: - No instance for (HasBind (IO (Maybe b) -> (Maybe b -> t1) -> t0)) - arising from a do statement - The type variables `t0', `t1' are ambiguous - Possible fix: add a type signature that fixes these type variable(s) - Relevant bindings include - test_do :: IO a -> IO (Maybe b) -> IO b - (bound at rebindable6.hs:104:9) - g :: IO (Maybe b) (bound at rebindable6.hs:104:19) - Note: there is a potential instance available: - instance HasBind (IO a -> (a -> IO b) -> IO b) - -- Defined at rebindable6.hs:47:18 - In a stmt of a 'do' block: Just (b :: b) <- g - In the expression: - do { f; - Just (b :: b) <- g; - return b } - In an equation for `test_do': - test_do f g - = do { f; - Just (b :: b) <- g; - return b } - -rebindable6.hs:108:17: - No instance for (HasReturn (b -> t1)) - arising from a use of `return' - The type variable `t1' is ambiguous - Possible fix: add a type signature that fixes these type variable(s) - Relevant bindings include - test_do :: IO a -> IO (Maybe b) -> IO b - (bound at rebindable6.hs:104:9) - g :: IO (Maybe b) (bound at rebindable6.hs:104:19) - b :: b (bound at rebindable6.hs:107:23) - Note: there is a potential instance available: - instance HasReturn (a -> IO a) -- Defined at rebindable6.hs:42:18 - In a stmt of a 'do' block: return b - In the expression: - do { f; - Just (b :: b) <- g; - return b } - In an equation for `test_do': - test_do f g - = do { f; - Just (b :: b) <- g; - return b } + +rebindable6.hs:106:17: + No instance for (HasSeq (IO a -> t0 -> IO b)) + arising from a do statement + The type variable `t0' is ambiguous + Relevant bindings include + test_do :: IO a -> IO (Maybe b) -> IO b + (bound at rebindable6.hs:104:9) + f :: IO a (bound at rebindable6.hs:104:17) + g :: IO (Maybe b) (bound at rebindable6.hs:104:19) + Note: there is a potential instance available: + instance HasSeq (IO a -> IO b -> IO b) + -- Defined at rebindable6.hs:52:18 + In a stmt of a 'do' block: f + In the expression: + do { f; + Just (b :: b) <- g; + return b } + In an equation for `test_do': + test_do f g + = do { f; + Just (b :: b) <- g; + return b } + +rebindable6.hs:107:17: + No instance for (HasBind (IO (Maybe b) -> (Maybe b -> t1) -> t0)) + arising from a do statement + The type variables `t0', `t1' are ambiguous + Relevant bindings include + test_do :: IO a -> IO (Maybe b) -> IO b + (bound at rebindable6.hs:104:9) + g :: IO (Maybe b) (bound at rebindable6.hs:104:19) + Note: there is a potential instance available: + instance HasBind (IO a -> (a -> IO b) -> IO b) + -- Defined at rebindable6.hs:47:18 + In a stmt of a 'do' block: Just (b :: b) <- g + In the expression: + do { f; + Just (b :: b) <- g; + return b } + In an equation for `test_do': + test_do f g + = do { f; + Just (b :: b) <- g; + return b } + +rebindable6.hs:108:17: + No instance for (HasReturn (b -> t1)) + arising from a use of `return' + The type variable `t1' is ambiguous + Relevant bindings include + test_do :: IO a -> IO (Maybe b) -> IO b + (bound at rebindable6.hs:104:9) + g :: IO (Maybe b) (bound at rebindable6.hs:104:19) + b :: b (bound at rebindable6.hs:107:23) + Note: there is a potential instance available: + instance HasReturn (a -> IO a) -- Defined at rebindable6.hs:42:18 + In a stmt of a 'do' block: return b + In the expression: + do { f; + Just (b :: b) <- g; + return b } + In an equation for `test_do': + test_do f g + = do { f; + Just (b :: b) <- g; + return b } -- cgit v1.2.1