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/typecheck/should_compile/T2494.stderr | |
| 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/typecheck/should_compile/T2494.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/T2494.stderr | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/testsuite/tests/typecheck/should_compile/T2494.stderr b/testsuite/tests/typecheck/should_compile/T2494.stderr index 370290df82..7f1a2b0ff4 100644 --- a/testsuite/tests/typecheck/should_compile/T2494.stderr +++ b/testsuite/tests/typecheck/should_compile/T2494.stderr @@ -8,11 +8,11 @@ T2494.hs:15:14: Expected type: Maybe (m a) -> Maybe (m a) Actual type: Maybe (m b) -> Maybe (m b) Relevant bindings include - x :: Maybe a (bound at T2494.hs:14:65) - g :: forall (m :: * -> *). Monad m => Maybe (m b) -> Maybe (m b) - (bound at T2494.hs:14:11) f :: forall (m :: * -> *). Monad m => Maybe (m a) -> Maybe (m a) (bound at T2494.hs:13:11) + g :: forall (m :: * -> *). Monad m => Maybe (m b) -> Maybe (m b) + (bound at T2494.hs:14:11) + x :: Maybe a (bound at T2494.hs:14:65) In the first argument of ‛foo’, namely ‛g’ In the second argument of ‛foo’, namely ‛(foo g x)’ @@ -25,10 +25,10 @@ T2494.hs:15:30: Expected type: Maybe (m a) -> Maybe (m a) Actual type: Maybe (m b) -> Maybe (m b) Relevant bindings include - x :: Maybe a (bound at T2494.hs:14:65) - g :: forall (m :: * -> *). Monad m => Maybe (m b) -> Maybe (m b) - (bound at T2494.hs:14:11) f :: forall (m :: * -> *). Monad m => Maybe (m a) -> Maybe (m a) (bound at T2494.hs:13:11) + g :: forall (m :: * -> *). Monad m => Maybe (m b) -> Maybe (m b) + (bound at T2494.hs:14:11) + x :: Maybe a (bound at T2494.hs:14:65) In the second argument of ‛(.)’, namely ‛g’ In the first argument of ‛foo’, namely ‛(f . g)’ |