Commit d4af57fa authored by eir@cis.upenn.edu's avatar eir@cis.upenn.edu
Browse files

Test #11252 in ghci/scripts/T11252

This one worked for me out of the box.
parent e6ca9300
:set -XTypeInType
data Proxy1 k (a :: k) = Proxy1
:kind Proxy1
......@@ -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'])
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