From 204ea132b3299cab6cb3e7adaf1fc4221c9a9c38 Mon Sep 17 00:00:00 2001
From: Simon Peyton Jones <simonpj@microsoft.com>
Date: Thu, 2 May 2013 17:05:23 +0100
Subject: [PATCH] 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(+)
 create mode 100644 tests/ghci/scripts/T7872.script
 create mode 100644 tests/ghci/scripts/T7872.stdout

diff --git a/tests/ghci/scripts/T7872.script b/tests/ghci/scripts/T7872.script
new file mode 100644
index 000000000..298cc87df
--- /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 000000000..a2f891330
--- /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 861df248d..bfb30e674 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'])