Test Trac #5798
authorSimon Peyton Jones <simonpj@microsoft.com>
Wed, 1 Feb 2012 16:47:54 +0000 (16:47 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Wed, 1 Feb 2012 16:47:54 +0000 (16:47 +0000)
testsuite/tests/polykinds/T5798.hs [new file with mode: 0644]
testsuite/tests/polykinds/all.T

diff --git a/testsuite/tests/polykinds/T5798.hs b/testsuite/tests/polykinds/T5798.hs
new file mode 100644 (file)
index 0000000..68f543b
--- /dev/null
@@ -0,0 +1,8 @@
+{-# LANGUAGE PolyKinds #-}
+
+module T5798 where
+
+data Proxy t = ProxyC
+
+test :: Proxy '[Int, Bool]
+test = ProxyC
index 2604925..7cb6d89 100644 (file)
@@ -16,3 +16,5 @@ test('PolyKinds06', normal, compile_fail, [''])
 test('PolyKinds07', normal, compile_fail, [''])
 
 test('PolyKinds12', expect_fail, compile, [''])
+
+test('T5798', normal, compile, [''])