diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-03-09 13:31:38 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-03-09 13:31:38 +0000 |
| commit | b2fb5b96b453f581601dab26321712aa29b9d47b (patch) | |
| tree | 1f8516fe033cb25cd2c48290761c8e7da6724348 /testsuite/tests/rebindable | |
| parent | a56ce4f78f37817cc4ab370e7b74747f9ad050b2 (diff) | |
| download | haskell-b2fb5b96b453f581601dab26321712aa29b9d47b.tar.gz | |
Raft of wibbles after refactoring type-class constraint errors
...in response to Trac #5858
Diffstat (limited to 'testsuite/tests/rebindable')
| -rw-r--r-- | testsuite/tests/rebindable/rebindable6.stderr | 16 |
1 files changed, 11 insertions, 5 deletions
diff --git a/testsuite/tests/rebindable/rebindable6.stderr b/testsuite/tests/rebindable/rebindable6.stderr index d38e53dbff..f380db4446 100644 --- a/testsuite/tests/rebindable/rebindable6.stderr +++ b/testsuite/tests/rebindable/rebindable6.stderr @@ -4,6 +4,9 @@ rebindable6.hs:106:17: arising from a do statement The type variable `t0' is ambiguous Possible fix: add a type signature that fixes these type variable(s) + Note: there is a potential instance available: + instance HasSeq (IO a -> IO b -> IO b) + -- Defined at rebindable6.hs:52:18 Possible fix: add an instance declaration for (HasSeq (IO a -> t0 -> IO b)) In a stmt of a 'do' block: f @@ -18,15 +21,16 @@ rebindable6.hs:106:17: return b } rebindable6.hs:107:17: - No instances for (HasBind (IO (Maybe b) -> (Maybe b -> t1) -> t0), - HasFail ([Prelude.Char] -> t1)) + 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) + Note: there is a potential instance available: + instance HasBind (IO a -> (a -> IO b) -> IO b) + -- Defined at rebindable6.hs:47:18 Possible fix: - add instance declarations for - (HasBind (IO (Maybe b) -> (Maybe b -> t1) -> t0), - HasFail ([Prelude.Char] -> t1)) + add an instance declaration for + (HasBind (IO (Maybe b) -> (Maybe b -> t1) -> t0)) In a stmt of a 'do' block: Just (b :: b) <- g In the expression: do { f; @@ -43,6 +47,8 @@ rebindable6.hs:108:17: arising from a use of `return' The type variable `t1' is ambiguous Possible fix: add a type signature that fixes these type variable(s) + Note: there is a potential instance available: + instance HasReturn (a -> IO a) -- Defined at rebindable6.hs:42:18 Possible fix: add an instance declaration for (HasReturn (b -> t1)) In a stmt of a 'do' block: return b In the expression: |