e33fdf110e43ab704d1fe86805858bf845448aae
[ghc.git] / testsuite / tests / dependent / should_fail / BadTelescope2.hs
1 {-# LANGUAGE DataKinds, PolyKinds, ExplicitForAll #-}
2
3 module BadTelescope2 where
4
5 import Data.Kind
6 import Data.Proxy
7
8 data SameKind :: k -> k -> *
9
10 foo :: forall a k (b :: k). SameKind a b
11 foo = undefined
12
13 bar :: forall a k (b :: k) (c :: Proxy b) (d :: Proxy a). Proxy c -> SameKind b d
14 bar = undefined