Commit 43bbd407 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Test Trac #7586

parent 665bf580
type T a b = a -> b
:k T
:k T Int
:k T Int Bool
T :: * -> * -> *
T Int :: * -> *
T Int Bool :: *
......@@ -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'])
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment