Commit ceb03c20 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Test Trac #7368

parent d32a0c81
module T7368 where
f = b (l () )
l :: b a -> c b
l = undefined
b :: (a -> b) -> c
b = undefined
\ No newline at end of file
T7368.hs:3:10:
Couldn't match kind `* -> *' with `*'
When matching types
c0 :: (* -> *) -> *
(->) a0 :: * -> *
Expected type: a0 -> b0
Actual type: c0 b1
In the return type of a call of `l'
Probable cause: `l' is applied to too many arguments
In the first argument of `b', namely `(l ())'
In the expression: b (l ())
T7368.hs:3:13:
Couldn't match type `()' with `b0 a1'
Expected type: b1 a1
Actual type: ()
In the first argument of `l', namely `()'
In the first argument of `b', namely `(l ())'
In the expression: b (l ())
...@@ -283,3 +283,4 @@ test('T2534', normal, compile_fail, ['']) ...@@ -283,3 +283,4 @@ test('T2534', normal, compile_fail, [''])
test('T7175', normal, compile_fail, ['']) test('T7175', normal, compile_fail, [''])
test('T7210', normal, compile_fail, ['']) test('T7210', normal, compile_fail, [''])
test('T6161', normal, compile_fail, ['']) test('T6161', normal, compile_fail, [''])
test('T7368', 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