Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / polykinds / T10134a.hs
1 {-# LANGUAGE KindSignatures #-}
2 {-# LANGUAGE GADTs #-}
3 {-# LANGUAGE DataKinds #-}
4 {-# LANGUAGE TypeOperators #-}
5 module T10134a where
6
7 import Data.Kind (Type)
8 import GHC.TypeLits
9
10 data Vec :: Nat -> Type -> Type where
11 Nil :: Vec 0 a
12 (:>) :: a -> Vec n a -> Vec (n + 1) a