[commit: testsuite] master: Test Trac #7688 (82bd399)

[Simon Peyton Jones]

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

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/82bd399be01b931d5b0b24bdf8ea61efd3c98bbc

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

commit 82bd399be01b931d5b0b24bdf8ea61efd3c98bbc
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Fri Feb 15 17:13:33 2013 +0000

    Test Trac #7688

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

 tests/ghci/scripts/T7688.hs     |    5 +++++
 tests/ghci/scripts/T7688.script |    4 ++++
 tests/ghci/scripts/T7688.stdout |    1 +
 tests/ghci/scripts/all.T        |    1 +
 4 files changed, 11 insertions(+), 0 deletions(-)

diff --git a/tests/ghci/scripts/T7688.hs b/tests/ghci/scripts/T7688.hs
new file mode 100644
index 0000000..7538f2e
--- /dev/null
+++ b/tests/ghci/scripts/T7688.hs
@@ -0,0 +1,5 @@
+{-# LANGUAGE PolyKinds #-}
+
+module Tim where
+
+data Proxy (t:: k) = Proxy
diff --git a/tests/ghci/scripts/T7688.script b/tests/ghci/scripts/T7688.script
new file mode 100644
index 0000000..45fcb90
--- /dev/null
+++ b/tests/ghci/scripts/T7688.script
@@ -0,0 +1,4 @@
+:l T7688
+:k Proxy
+# I'm expecting to see a kind-polymorphic answer,
+# even though -XPolyKinds is not set in GHCi
diff --git a/tests/ghci/scripts/T7688.stdout b/tests/ghci/scripts/T7688.stdout
new file mode 100644
index 0000000..3e387eb
--- /dev/null
+++ b/tests/ghci/scripts/T7688.stdout
@@ -0,0 +1 @@
+Proxy :: k -> *
diff --git a/tests/ghci/scripts/all.T b/tests/ghci/scripts/all.T
index 398efb4..e02a978 100755
--- a/tests/ghci/scripts/all.T
+++ b/tests/ghci/scripts/all.T
@@ -141,4 +141,5 @@ test('ghci058',
      ghci_script,
      ['ghci058.script'])
 test('T7587', normal, ghci_script, ['T7587.script'])
+test('T7688', normal, ghci_script, ['T7688.script'])