diff options
Diffstat (limited to 'testsuite/tests/rebindable/rebindable6.stderr')
| -rw-r--r-- | testsuite/tests/rebindable/rebindable6.stderr | 30 |
1 files changed, 11 insertions, 19 deletions
diff --git a/testsuite/tests/rebindable/rebindable6.stderr b/testsuite/tests/rebindable/rebindable6.stderr index d451400514..d38e53dbff 100644 --- a/testsuite/tests/rebindable/rebindable6.stderr +++ b/testsuite/tests/rebindable/rebindable6.stderr @@ -2,6 +2,8 @@ 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) Possible fix: add an instance declaration for (HasSeq (IO a -> t0 -> IO b)) In a stmt of a 'do' block: f @@ -16,27 +18,15 @@ rebindable6.hs:106:17: return b } rebindable6.hs:107:17: - No instance for (HasFail ([Prelude.Char] -> t1)) + No instances for (HasBind (IO (Maybe b) -> (Maybe b -> t1) -> t0), + HasFail ([Prelude.Char] -> t1)) arising from a do statement + The type variables `t0', `t1' are ambiguous + Possible fix: add a type signature that fixes these type variable(s) Possible fix: - add an instance declaration for (HasFail ([Prelude.Char] -> t1)) - 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:107:17: - No instance for (HasBind (IO (Maybe b) -> (Maybe b -> t1) -> t0)) - arising from a do statement - Possible fix: - add an instance declaration for - (HasBind (IO (Maybe b) -> (Maybe b -> t1) -> t0)) + add instance declarations for + (HasBind (IO (Maybe b) -> (Maybe b -> t1) -> t0), + HasFail ([Prelude.Char] -> t1)) In a stmt of a 'do' block: Just (b :: b) <- g In the expression: do { f; @@ -51,6 +41,8 @@ rebindable6.hs:107:17: 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) Possible fix: add an instance declaration for (HasReturn (b -> t1)) In a stmt of a 'do' block: return b In the expression: |