diff options
| author | Thomas Miedema <thomasmiedema@gmail.com> | 2016-06-18 22:05:51 +0200 |
|---|---|---|
| committer | Thomas Miedema <thomasmiedema@gmail.com> | 2016-06-20 16:22:07 +0200 |
| commit | cdc14b480adc58c2937d54d0db0fd36e4ed532b0 (patch) | |
| tree | 9767ea498b2391a67822c9a5b001af90b81a4fc8 /testsuite/tests/typecheck/should_compile/T2494.stderr | |
| parent | e7e42c838e32ef1e05daf04b0b6afb62ffc4ec97 (diff) | |
| download | haskell-cdc14b480adc58c2937d54d0db0fd36e4ed532b0.tar.gz | |
Testsuite: remove Windows CR again.. [skip ci]
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/T2494.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/T2494.stderr | 72 |
1 files changed, 36 insertions, 36 deletions
diff --git a/testsuite/tests/typecheck/should_compile/T2494.stderr b/testsuite/tests/typecheck/should_compile/T2494.stderr index 93c46fce53..48b2221220 100644 --- a/testsuite/tests/typecheck/should_compile/T2494.stderr +++ b/testsuite/tests/typecheck/should_compile/T2494.stderr @@ -1,36 +1,36 @@ -
-T2494.hs:15:14: error:
- • Couldn't match type ‘b’ with ‘a’
- ‘b’ is a rigid type variable bound by
- the RULE "foo/foo" at T2494.hs:14:16-62
- ‘a’ is a rigid type variable bound by
- the RULE "foo/foo" at T2494.hs:13:16-62
- Expected type: Maybe (m a) -> Maybe (m a)
- Actual type: Maybe (m b) -> Maybe (m b)
- • In the first argument of ‘foo’, namely ‘g’
- In the second argument of ‘foo’, namely ‘(foo g x)’
- In the expression: foo f (foo g x)
- • Relevant bindings include
- 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)
-
-T2494.hs:15:30: error:
- • Couldn't match type ‘b’ with ‘a’
- ‘b’ is a rigid type variable bound by
- the RULE "foo/foo" at T2494.hs:14:16-62
- ‘a’ is a rigid type variable bound by
- the RULE "foo/foo" at T2494.hs:13:16-62
- Expected type: Maybe (m b) -> Maybe (m a)
- Actual type: Maybe (m b) -> Maybe (m b)
- • In the second argument of ‘(.)’, namely ‘g’
- In the first argument of ‘foo’, namely ‘(f . g)’
- In the expression: foo (f . g) x
- • Relevant bindings include
- 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)
+ +T2494.hs:15:14: error: + • Couldn't match type ‘b’ with ‘a’ + ‘b’ is a rigid type variable bound by + the RULE "foo/foo" at T2494.hs:14:16-62 + ‘a’ is a rigid type variable bound by + the RULE "foo/foo" at T2494.hs:13:16-62 + Expected type: Maybe (m a) -> Maybe (m a) + Actual type: Maybe (m b) -> Maybe (m b) + • In the first argument of ‘foo’, namely ‘g’ + In the second argument of ‘foo’, namely ‘(foo g x)’ + In the expression: foo f (foo g x) + • Relevant bindings include + 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) + +T2494.hs:15:30: error: + • Couldn't match type ‘b’ with ‘a’ + ‘b’ is a rigid type variable bound by + the RULE "foo/foo" at T2494.hs:14:16-62 + ‘a’ is a rigid type variable bound by + the RULE "foo/foo" at T2494.hs:13:16-62 + Expected type: Maybe (m b) -> Maybe (m a) + Actual type: Maybe (m b) -> Maybe (m b) + • In the second argument of ‘(.)’, namely ‘g’ + In the first argument of ‘foo’, namely ‘(f . g)’ + In the expression: foo (f . g) x + • Relevant bindings include + 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) |