diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/tc247.hs')
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/tc247.hs | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_compile/tc247.hs b/testsuite/tests/typecheck/should_compile/tc247.hs new file mode 100644 index 0000000000..55c23f92bd --- /dev/null +++ b/testsuite/tests/typecheck/should_compile/tc247.hs @@ -0,0 +1,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
+
+
|