Commit 93da9f95 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Add test for Trac #14232

parent b6b56dd1
module T14232 where
f :: (String -> a) String -> a
f g s = g s
T14232.hs:3:6: error:
• Expected kind ‘* -> *’, but ‘String -> a’ has kind ‘*’
• In the type signature: f :: (String -> a) String -> a
......@@ -455,3 +455,4 @@ test('T13902', normal, compile_fail, [''])
test('T11963', normal, compile_fail, [''])
test('T14000', normal, compile_fail, [''])
test('T14055', normal, compile_fail, [''])
test('T14232', normal, compile_fail, [''])
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