diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-03-16 15:56:56 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-03-16 15:56:56 +0000 |
| commit | 3582eeafff1cef9457f0ad6f18df2f0b9f86b096 (patch) | |
| tree | ab1b27f439e52f62df05af99829191ac5dfffa85 | |
| parent | a9c1acef7e0808dedaee762581550a0338332ce4 (diff) | |
| download | haskell-3582eeafff1cef9457f0ad6f18df2f0b9f86b096.tar.gz | |
Test Trac #5882
| -rw-r--r-- | testsuite/tests/th/T5882.hs | 11 | ||||
| -rw-r--r-- | testsuite/tests/th/all.T | 1 |
2 files changed, 12 insertions, 0 deletions
diff --git a/testsuite/tests/th/T5882.hs b/testsuite/tests/th/T5882.hs new file mode 100644 index 0000000000..73805bf082 --- /dev/null +++ b/testsuite/tests/th/T5882.hs @@ -0,0 +1,11 @@ +{-# 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 diff --git a/testsuite/tests/th/all.T b/testsuite/tests/th/all.T index 7aae9a0ce4..9fa50dd8a1 100644 --- a/testsuite/tests/th/all.T +++ b/testsuite/tests/th/all.T @@ -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']) |