blob: 77455c7c7b65389494ccaf274fe8c9c65e35b12f (
plain)
1
2
3
4
5
6
7
8
9
|
{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE RankNTypes, 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 ]
|