diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail122.hs')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail122.hs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail122.hs b/testsuite/tests/typecheck/should_fail/tcfail122.hs new file mode 100644 index 0000000000..ae2bef8bea --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/tcfail122.hs @@ -0,0 +1,8 @@ +{-# LANGUAGE Rank2Types, KindSignatures #-} + +module ShouldFail where + +-- There should be a kind error, when unifying (a b) against (c d) + +foo = [ undefined :: forall a b. a b, + undefined :: forall (c:: (* -> *) -> *) (d :: * -> *). c d ] |