blob: ae2bef8bea721cd8d3e889f9d3377b051565a51b (
plain)
1
2
3
4
5
6
7
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 ]
|