diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2013-09-10 17:58:20 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2013-09-10 17:58:34 +0100 |
| commit | 9ca4a73d74e0b945a55a607ec0c8dae16df2fa28 (patch) | |
| tree | 96709456fa2c2e20d42d051e1cc0b82895fa8131 /testsuite/tests/rebindable | |
| parent | ad8fb8f38b86ac28ebf701a96e7ea4479ff0f127 (diff) | |
| download | haskell-9ca4a73d74e0b945a55a607ec0c8dae16df2fa28.tar.gz | |
Error message wibbles
Almost all are re-orderings of relevant-binding output
Relevant bindings include
+ m :: Map (a, b) elt (bound at T3169.hs:12:17)
+ b :: b (bound at T3169.hs:12:13)
lookup :: (a, b) -> Map (a, b) elt -> Maybe elt
(bound at T3169.hs:12:3)
- b :: b (bound at T3169.hs:12:13)
- m :: Map (a, b) elt (bound at T3169.hs:12:17)
Diffstat (limited to 'testsuite/tests/rebindable')
| -rw-r--r-- | testsuite/tests/rebindable/rebindable6.stderr | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/testsuite/tests/rebindable/rebindable6.stderr b/testsuite/tests/rebindable/rebindable6.stderr index e36e38d056..6833a511fd 100644 --- a/testsuite/tests/rebindable/rebindable6.stderr +++ b/testsuite/tests/rebindable/rebindable6.stderr @@ -4,10 +4,10 @@ rebindable6.hs:106:17: arising from a do statement The type variable ‛t0’ is ambiguous Relevant bindings include + g :: IO (Maybe b) (bound at rebindable6.hs:104:19) + f :: IO a (bound at rebindable6.hs:104:17) 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 @@ -27,9 +27,9 @@ rebindable6.hs:107:17: arising from a do statement The type variables ‛t0’, ‛t1’ are ambiguous Relevant bindings include + g :: IO (Maybe b) (bound at rebindable6.hs:104:19) 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 @@ -49,10 +49,10 @@ rebindable6.hs:108:17: arising from a use of ‛return’ The type variable ‛t1’ is ambiguous Relevant bindings include + b :: b (bound at rebindable6.hs:107:23) + g :: IO (Maybe b) (bound at rebindable6.hs:104:19) 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 |