55c23f92bd137b1de4a847850ac005ceca35a718
[ghc.git] / testsuite / tests / typecheck / should_compile / tc247.hs
1 {-# LANGUAGE EmptyDataDecls, KindSignatures #-}
2
3 module ShouldCompile where
4
5 -- Various forms of empty data type declarations
6
7 data T1
8
9 data T2 where
10
11 data T3 :: * -> *
12
13 data T4 a :: * -> *
14
15 data T5 a :: * -> * where
16
17