diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail122.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail122.stderr | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail122.stderr b/testsuite/tests/typecheck/should_fail/tcfail122.stderr new file mode 100644 index 0000000000..3f6c035a55 --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/tcfail122.stderr @@ -0,0 +1,26 @@ + +tcfail122.hs:8:9: + Kind incompatibility when matching types: + d0 :: * -> * + b0 :: * + Expected type: a0 b0 + Actual type: c0 d0 + In the expression: + undefined :: forall c :: ((* -> *) -> *) d :: (* -> *). c d + In the expression: + [undefined :: forall a b. a b, + undefined :: forall c :: ((* -> *) -> *) d :: (* -> *). c d] + +tcfail122.hs:8:9: + Kind incompatibility when matching types: + c0 :: (* -> *) -> * + a0 :: * -> * + In the expression: + undefined :: forall c :: ((* -> *) -> *) d :: (* -> *). c d + In the expression: + [undefined :: forall a b. a b, + undefined :: forall c :: ((* -> *) -> *) d :: (* -> *). c d] + In an equation for `foo': + foo + = [undefined :: forall a b. a b, + undefined :: forall c :: ((* -> *) -> *) d :: (* -> *). c d] |