diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail179.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail179.stderr | 36 |
1 files changed, 19 insertions, 17 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail179.stderr b/testsuite/tests/typecheck/should_fail/tcfail179.stderr index 14d2eae435..a50e75e6be 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail179.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail179.stderr @@ -1,17 +1,19 @@ -
-tcfail179.hs:14:39:
- Couldn't match expected type ‘s’ with actual type ‘x’
- ‘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
- ‘s’ is a rigid type variable bound by
- the type signature for: run :: T s -> Int at tcfail179.hs:12:8
- In the first argument of ‘g’, namely ‘x’
- In the expression: g x id
- Relevant bindings include
- x :: x (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:39: error: + • Couldn't match expected type ‘s’ with actual type ‘x’ + ‘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 + ‘s’ is a rigid type variable bound by + the type signature for: + run :: forall s. T s -> Int + at tcfail179.hs:12:8 + • In the first argument of ‘g’, namely ‘x’ + In the expression: g x id + • Relevant bindings include + x :: x (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) |