Commit 5238415b authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Test Trac #7688

parent 764d4ccb
{-# LANGUAGE PolyKinds #-}
module Tim where
data Proxy (t:: k) = Proxy
:l T7688
:k Proxy
# I'm expecting to see a kind-polymorphic answer,
# even though -XPolyKinds is not set in GHCi
......@@ -141,4 +141,5 @@ test('ghci058',
test('T7587', normal, ghci_script, ['T7587.script'])
test('T7688', normal, ghci_script, ['T7688.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