Commit 47a09b86 authored by simonpj's avatar simonpj
Browse files

Add test for empty data declarations

Test some modest extensions of empty data decls:
   data T1 :: * -> *
   data T2 :: * where
parent 6bd6c198
......@@ -265,6 +265,7 @@ test('tc245',
run_command,
['$MAKE -s --no-print-directory tc245'])
test('tc246', normal, compile, [''])
test('tc247', normal, compile, [''])
test('FD1', normal, compile_fail, [''])
test('FD2', normal, compile_fail, [''])
......
{-# LANGUAGE EmptyDataDecls #-}
module ShouldCompile where
-- Various forms of empty data type declarations
data T1
data T2 where
data T3 :: * -> *
data T4 a :: * -> *
data T5 a :: * -> * where
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment