[commit: testsuite] master: Test Trac #7502 (7c1faf8)

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/7c1faf8bb36ba4977cf858a51e9d9d1d509450bc

>---------------------------------------------------------------

commit 7c1faf8bb36ba4977cf858a51e9d9d1d509450bc
Author: Simon Peyton Jones <[email protected]>
Date:   Wed Dec 19 17:25:33 2012 +0000

    Test Trac #7502

>---------------------------------------------------------------

 tests/polykinds/T7502.hs |    4 ++++
 tests/polykinds/all.T    |    1 +
 2 files changed, 5 insertions(+), 0 deletions(-)

diff --git a/tests/polykinds/T7502.hs b/tests/polykinds/T7502.hs
new file mode 100644
index 0000000..bdaf4b9
--- /dev/null
+++ b/tests/polykinds/T7502.hs
@@ -0,0 +1,4 @@
+{-# LANGUAGE DataKinds #-}
+module T7502 where
+
+type S = [1,2]
diff --git a/tests/polykinds/all.T b/tests/polykinds/all.T
index 4dec1b4..4665255 100644
--- a/tests/polykinds/all.T
+++ b/tests/polykinds/all.T
@@ -80,3 +80,4 @@ test('T7422', normal, compile,[''])
 test('T7433', normal, compile_fail,[''])
 test('T7438', normal, run_command, ['$MAKE -s --no-print-directory T7438'])
 test('T7404', normal, compile_fail,[''])
+test('T7502', normal, compile,[''])