Add GHCi help message for :def! and :: commands
[ghc.git] / testsuite / tests / typecheck / should_compile / tc247.hs
1 {-# LANGUAGE GADTs, EmptyDataDecls, KindSignatures #-}
2
3 module ShouldCompile where
4
5 import Data.Kind (Type)
6
7 -- Various forms of empty data type declarations
8
9 data T1
10
11 data T2 where
12
13 data T3 :: Type -> Type
14
15 data T4 a :: Type -> Type
16
17 data T5 a :: Type -> Type where
18
19