[commit: testsuite] master: Add test for Trac #7488 (4f6baef)

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

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/4f6baef92fd3d30e5c7a78e7c8fb1d73e6b4b45d

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

commit 4f6baef92fd3d30e5c7a78e7c8fb1d73e6b4b45d
Author: Simon Peyton Jones <[email protected]>
Date:   Fri Dec 21 08:14:14 2012 +0000

    Add test for Trac #7488

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

 tests/polykinds/T7488.hs |    8 ++++++++
 tests/polykinds/all.T    |    1 +
 2 files changed, 9 insertions(+), 0 deletions(-)

diff --git a/tests/polykinds/T7488.hs b/tests/polykinds/T7488.hs
new file mode 100644
index 0000000..c76de84
--- /dev/null
+++ b/tests/polykinds/T7488.hs
@@ -0,0 +1,8 @@
+{-# LANGUAGE DataKinds          #-}
+{-# LANGUAGE KindSignatures     #-}
+{-# LANGUAGE GADTs              #-}
+
+module T7488 where
+
+newtype A = A Int
+data B (x :: A)
diff --git a/tests/polykinds/all.T b/tests/polykinds/all.T
index 4665255..99f8424 100644
--- a/tests/polykinds/all.T
+++ b/tests/polykinds/all.T
@@ -81,3 +81,4 @@ 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,[''])
+test('T7488', normal, compile,[''])