Test Trac #7872

ghc · May 2, 2013 · 204ea13 · 204ea13
1 parent e9aa8a7
commit 204ea13
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 0 deletions.
diff --git a/tests/ghci/scripts/T7872.script 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
@@ -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
@@ -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'])