From 3e8715f2fcbb310cde0fb9006f560408e0896b04 Mon Sep 17 00:00:00 2001
From: Simon Peyton Jones <simonpj@microsoft.com>
Date: Tue, 16 Apr 2013 10:27:56 +0100
Subject: [PATCH] Test Trac #7586

---
 tests/ghci/scripts/T7586.script | 4 ++++
 tests/ghci/scripts/T7586.stdout | 3 +++
 tests/ghci/scripts/all.T        | 1 +
 3 files changed, 8 insertions(+)
 create mode 100644 tests/ghci/scripts/T7586.script
 create mode 100644 tests/ghci/scripts/T7586.stdout

diff --git a/tests/ghci/scripts/T7586.script b/tests/ghci/scripts/T7586.script
new file mode 100644
index 000000000..7f510a01a
--- /dev/null
+++ b/tests/ghci/scripts/T7586.script
@@ -0,0 +1,4 @@
+type T a b = a -> b
+:k T
+:k T Int
+:k T Int Bool
diff --git a/tests/ghci/scripts/T7586.stdout b/tests/ghci/scripts/T7586.stdout
new file mode 100644
index 000000000..b0c4aa83b
--- /dev/null
+++ b/tests/ghci/scripts/T7586.stdout
@@ -0,0 +1,3 @@
+T :: * -> * -> *
+T Int :: * -> *
+T Int Bool :: *
diff --git a/tests/ghci/scripts/all.T b/tests/ghci/scripts/all.T
index 12e185049..5ef4be15b 100755
--- a/tests/ghci/scripts/all.T
+++ b/tests/ghci/scripts/all.T
@@ -145,4 +145,5 @@ test('T7587', normal, ghci_script, ['T7587.script'])
 test('T7688', normal, ghci_script, ['T7688.script'])
 test('T7627', normal, ghci_script, ['T7627.script'])
 test('T7627b', normal, ghci_script, ['T7627b.script'])
+test('T7586', normal, ghci_script, ['T7586.script'])