Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / dependent / should_compile / Dep3.hs
1 {-# LANGUAGE TypeFamilies, DataKinds, PolyKinds, GADTs #-}
2
3 module Dep3 where
4
5 import Data.Kind
6 import GHC.Exts ( Constraint )
7
8 type Star1 = *
9
10 data Id1 (a :: Star1) where
11 Id1 :: a -> Id1 a
12
13 data Id1' :: Star1 -> * where
14 Id1' :: a -> Id1' a
15
16 type family Star2 x where
17 Star2 x = *
18
19 data Id2a (a :: Star2 Constraint) = Id2a a
20
21
22 data Id2 (a :: Star2 Constraint) where
23 Id2 :: a -> Id2 a
24
25 data Id2' :: Star2 Constraint -> * where
26 Id2' :: a -> Id2' a