Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / dependent / should_fail / BadTelescope4.hs
1 {-# LANGUAGE ExistentialQuantification, DataKinds, PolyKinds #-}
2 module BadTelescope4 where
3
4 import Data.Proxy
5 import Data.Kind
6
7 data SameKind :: k -> k -> *
8
9 data Bad a (c :: Proxy b) (d :: Proxy a) (x :: SameKind b d)
10
11 data Borked a (b :: k) = forall (c :: k). B (Proxy c)
12 -- this last one is OK. But there was a bug involving renaming
13 -- that failed here, so the test case remains.