Commit 3582eeaf authored by Simon Peyton Jones's avatar Simon Peyton Jones

Test Trac #5882

parent a9c1acef
{-# LANGUAGE GADTSyntax, TemplateHaskell, KindSignatures #-}
module T5882 where
data Foo :: * -> * where
Foo :: a -> Foo a
$( [d| data Bar :: * -> * where
Bar :: a -> Bar a
|] )
f (Bar x) = Foo x
......@@ -222,4 +222,5 @@ test('T5700', extra_clean(['T5700a.hi','T5700a.o']),
test('T5721', normal, compile, ['-v0'])
test('T1541', normal, compile, ['-v0'])
test('T5883', normal, compile, ['-v0 -dsuppress-uniques -ddump-splices'])
test('T5882', normal, compile, ['-v0'])
Markdown is supported
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