[commit: testsuite] master: Test Trac #7872 (204ea13)

[Simon Peyton Jones]

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

On branch  : master

https://github.com/ghc/testsuite/commit/204ea132b3299cab6cb3e7adaf1fc4221c9a9c38

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

commit 204ea132b3299cab6cb3e7adaf1fc4221c9a9c38
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Thu May 2 17:05:23 2013 +0100

    Test Trac #7872

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

 tests/ghci/scripts/T7872.script |    7 +++++++
 tests/ghci/scripts/T7872.stdout |    2 ++
 tests/ghci/scripts/all.T        |    1 +
 3 files changed, 10 insertions(+), 0 deletions(-)

diff --git a/tests/ghci/scripts/T7872.script b/tests/ghci/scripts/T7872.script
new file mode 100644
index 0000000..298cc87
--- /dev/null
+++ b/tests/ghci/scripts/T7872.script
@@ -0,0 +1,7 @@
+:set -XRankNTypes
+type T = forall a. a -> a
+data D = MkT (forall b. b -> b)
+:i T
+:i D
+
+
diff --git a/tests/ghci/scripts/T7872.stdout b/tests/ghci/scripts/T7872.stdout
new file mode 100644
index 0000000..a2f8913
--- /dev/null
+++ b/tests/ghci/scripts/T7872.stdout
@@ -0,0 +1,2 @@
+type T = forall a. a -> a 	-- Defined at <interactive>:3:6
+data D = MkT (forall b. b -> b) 	-- Defined at <interactive>:4:6
diff --git a/tests/ghci/scripts/all.T b/tests/ghci/scripts/all.T
index 861df24..bfb30e6 100755
--- a/tests/ghci/scripts/all.T
+++ b/tests/ghci/scripts/all.T
@@ -147,4 +147,5 @@ test('T7627', normal, ghci_script, ['T7627.script'])
 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'])