Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / dependent / should_fail / T12174.hs
1 {-# LANGUAGE DataKinds #-}
2 {-# LANGUAGE PolyKinds #-}
3 {-# LANGUAGE ExistentialQuantification #-}
4 {-# LANGUAGE KindSignatures #-}
5 module T12174 where
6
7 data V a
8 data T = forall (a :: S). MkT (V a)
9 data S = forall (a :: T). MkS (V a)