Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / polykinds / T5716.hs
1 {-# LANGUAGE GADTs #-}
2 {-# LANGUAGE TypeFamilies #-}
3 {-# LANGUAGE PolyKinds, DataKinds #-}
4
5 module T5716 where
6
7 import Data.Kind (Type)
8
9 data family DF a
10 data instance DF Int = DFInt
11
12 data U = U1 (DF Int)
13
14 data I :: U -> Type where I1 :: I (U1 DFInt)