[commit: testsuite] master: Test Trac #7873 (a087cad)

[Simon Peyton Jones]

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

On branch  : master

https://github.com/ghc/testsuite/commit/a087cadac993e0c59f41a9464ffc00102ef82c91

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

commit a087cadac993e0c59f41a9464ffc00102ef82c91
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Thu May 2 18:04:22 2013 +0100

    Test Trac #7873

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

 tests/ghci/scripts/T7873.script |    5 +++++
 tests/ghci/scripts/T7873.stdout |    7 +++++++
 tests/ghci/scripts/all.T        |    1 +
 3 files changed, 13 insertions(+), 0 deletions(-)

diff --git a/tests/ghci/scripts/T7873.script b/tests/ghci/scripts/T7873.script
new file mode 100644
index 0000000..5903326
--- /dev/null
+++ b/tests/ghci/scripts/T7873.script
@@ -0,0 +1,5 @@
+:set -XPolyKinds -XRankNTypes -XGADTs
+data D1 = MkD1 (forall p (a :: k). p a -> Int)
+data D2 = MkD2 (forall p a. p a -> Int)
+:i D1
+:i D2
diff --git a/tests/ghci/scripts/T7873.stdout b/tests/ghci/scripts/T7873.stdout
new file mode 100644
index 0000000..844e8da
--- /dev/null
+++ b/tests/ghci/scripts/T7873.stdout
@@ -0,0 +1,7 @@
+data D1 where
+  MkD1 :: (forall (k :: BOX) (p :: k -> *) (a :: k).
+           p a -> Int) -> D1
+  	-- Defined at <interactive>:3:6
+data D2 where
+  MkD2 :: (forall (p :: k -> *) (a :: k). p a -> Int) -> D2
+  	-- Defined at <interactive>:4:6
diff --git a/tests/ghci/scripts/all.T b/tests/ghci/scripts/all.T
index bfb30e6..afe46a1 100755
--- a/tests/ghci/scripts/all.T
+++ b/tests/ghci/scripts/all.T
@@ -148,4 +148,5 @@ test('T7627b', normal, ghci_script, ['T7627b.script'])
 test('T7586', normal, ghci_script, ['T7586.script'])
 test('T4175', normal, ghci_script, ['T4175.script'])
 test('T7872', normal, ghci_script, ['T7872.script'])
+test('T7873', normal, ghci_script, ['T7873.script'])