diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail122.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail122.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail122.stderr b/testsuite/tests/typecheck/should_fail/tcfail122.stderr index fdd444d1fc..47b391df6d 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail122.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail122.stderr @@ -6,7 +6,6 @@ tcfail122.hs:8:9: error: a :: * -> * Expected type: a b Actual type: c0 d0 - Relevant bindings include foo :: [a b] (bound at tcfail122.hs:7:1) In the expression: undefined :: forall (c :: (* -> *) -> *) (d :: * -> *). c d In the expression: @@ -16,3 +15,4 @@ tcfail122.hs:8:9: error: foo = [undefined :: forall a b. a b, undefined :: forall (c :: (* -> *) -> *) (d :: * -> *). c d] + Relevant bindings include foo :: [a b] (bound at tcfail122.hs:7:1) |