tests: remove extra_files.py (#12223)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail122.hs
1 {-# LANGUAGE RankNTypes, KindSignatures #-}
2
3 module ShouldFail where
4
5 -- There should be a kind error, when unifying (a b) against (c d)
6
7 foo = [ undefined :: forall a b. a b,
8 undefined :: forall (c:: (* -> *) -> *) (d :: * -> *). c d ]