diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail179.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail179.stderr | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail179.stderr b/testsuite/tests/typecheck/should_fail/tcfail179.stderr new file mode 100644 index 0000000000..ba995b65ea --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/tcfail179.stderr @@ -0,0 +1,14 @@ + +tcfail179.hs:14:41: + 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 + `s' is a rigid type variable bound by + the type signature for run :: T s -> Int at tcfail179.hs:13:1 + Expected type: x -> s + Actual type: x -> x + In the second argument of `g', namely `id' + In the expression: g x id |