Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / indexed-types / should_fail / T14175.hs
1 {-# LANGUAGE TypeFamilies, DataKinds, PolyKinds #-}
2
3 module T14175 where
4
5 import Data.Kind
6
7 type family PComp (k :: j -> Type) (x :: k) :: ()