testsuite/tests/typecheck/should_compile/tc247.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

{-# LANGUAGE EmptyDataDecls, KindSignatures #-}

module ShouldCompile where

-- Various forms of empty data type declarations

data T1

data T2 where

data T3 :: * -> *

data T4 a :: * -> *

data T5 a :: * -> * where