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