[commit: ghc] master: Add :kind test in T7730 (d02cd1a)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/d02cd1a731b0fce3f75d78f872166b1a36006151/ghc

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

commit d02cd1a731b0fce3f75d78f872166b1a36006151
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Tue Jun 3 17:15:21 2014 +0100

    Add :kind test in T7730


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

d02cd1a731b0fce3f75d78f872166b1a36006151
 testsuite/tests/ghci/scripts/T7730.script | 7 +++++++
 testsuite/tests/ghci/scripts/T7730.stdout | 8 ++++++++
 2 files changed, 15 insertions(+)

diff --git a/testsuite/tests/ghci/scripts/T7730.script b/testsuite/tests/ghci/scripts/T7730.script
new file mode 100644
index 0000000..f1e01ee
--- /dev/null
+++ b/testsuite/tests/ghci/scripts/T7730.script
@@ -0,0 +1,7 @@
+:set -XPolyKinds
+data A x y
+:i A
+:kind A
+:set -XExistentialQuantification
+data T a = forall a . MkT a
+:info T
diff --git a/testsuite/tests/ghci/scripts/T7730.stdout b/testsuite/tests/ghci/scripts/T7730.stdout
new file mode 100644
index 0000000..e3a08c1
--- /dev/null
+++ b/testsuite/tests/ghci/scripts/T7730.stdout
@@ -0,0 +1,8 @@
+type role A phantom phantom
+data A (x :: k) (y :: k1)
+  	-- Defined at <interactive>:3:1
+A :: k -> k1 -> *
+type role T phantom
+data T (a :: k) where
+  MkT :: forall (k :: BOX) (a :: k) a1. a1 -> T a
+  	-- Defined at <interactive>:7:1