Test #11252 in ghci/scripts/T11252
authorRichard Eisenberg <eir@cis.upenn.edu>
Sat, 9 Jan 2016 16:26:14 +0000 (11:26 -0500)
committerRichard Eisenberg <eir@cis.upenn.edu>
Fri, 15 Jan 2016 20:43:43 +0000 (15:43 -0500)
This one worked for me out of the box.

testsuite/tests/ghci/scripts/T11252.script [new file with mode: 0644]
testsuite/tests/ghci/scripts/T11252.stdout [new file with mode: 0644]
testsuite/tests/ghci/scripts/all.T

diff --git a/testsuite/tests/ghci/scripts/T11252.script b/testsuite/tests/ghci/scripts/T11252.script
new file mode 100644 (file)
index 0000000..485cd8f
--- /dev/null
@@ -0,0 +1,3 @@
+:set -XTypeInType
+data Proxy1 k (a :: k) = Proxy1
+:kind Proxy1
diff --git a/testsuite/tests/ghci/scripts/T11252.stdout b/testsuite/tests/ghci/scripts/T11252.stdout
new file mode 100644 (file)
index 0000000..eddba45
--- /dev/null
@@ -0,0 +1 @@
+Proxy1 :: forall k -> k -> *
index 06a9125..4618281 100755 (executable)
@@ -233,3 +233,4 @@ test('T10989',
     ghci_script, ['T10989.script'])
 test('T11098', normal, ghci_script, ['T11098.script'])
 test('T8316', expect_broken(8316), ghci_script, ['T8316.script'])
+test('T11252', normal, ghci_script, ['T11252.script'])