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_fail/tcfail179.stderr | |
| parent | e7e42c838e32ef1e05daf04b0b6afb62ffc4ec97 (diff) | |
| download | haskell-cdc14b480adc58c2937d54d0db0fd36e4ed532b0.tar.gz | |
Testsuite: remove Windows CR again.. [skip ci]
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail179.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail179.stderr | 44 |
1 files changed, 22 insertions, 22 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail179.stderr b/testsuite/tests/typecheck/should_fail/tcfail179.stderr index cb01a3c483..7d16288b1f 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail179.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail179.stderr @@ -1,22 +1,22 @@ -
-tcfail179.hs:14:41: error:
- • Couldn't match type ‘x’ with ‘s’
- ‘x’ is a rigid type variable bound by
- a pattern with constructor:
- T :: forall s x. (s -> (x -> s) -> (x, s, Int)) -> T s,
- in a case alternative
- at tcfail179.hs:14:14-16
- ‘s’ is a rigid type variable bound by
- the type signature for:
- run :: forall s. T s -> Int
- at tcfail179.hs:12:1-17
- Expected type: x -> s
- Actual type: s -> s
- • In the second argument of ‘g’, namely ‘id’
- In the expression: g x id
- In a pattern binding: (x, _, b) = g x id
- • Relevant bindings include
- x :: s (bound at tcfail179.hs:14:26)
- g :: s -> (x -> s) -> (x, s, Int) (bound at tcfail179.hs:14:16)
- ts :: T s (bound at tcfail179.hs:13:5)
- run :: T s -> Int (bound at tcfail179.hs:13:1)
+ +tcfail179.hs:14:41: error: + • Couldn't match type ‘x’ with ‘s’ + ‘x’ is a rigid type variable bound by + a pattern with constructor: + T :: forall s x. (s -> (x -> s) -> (x, s, Int)) -> T s, + in a case alternative + at tcfail179.hs:14:14-16 + ‘s’ is a rigid type variable bound by + the type signature for: + run :: forall s. T s -> Int + at tcfail179.hs:12:1-17 + Expected type: x -> s + Actual type: s -> s + • In the second argument of ‘g’, namely ‘id’ + In the expression: g x id + In a pattern binding: (x, _, b) = g x id + • Relevant bindings include + x :: s (bound at tcfail179.hs:14:26) + g :: s -> (x -> s) -> (x, s, Int) (bound at tcfail179.hs:14:16) + ts :: T s (bound at tcfail179.hs:13:5) + run :: T s -> Int (bound at tcfail179.hs:13:1) |