Commit 3b88f754 authored by ian@well-typed.com's avatar ian@well-typed.com

Add a test for #7734

parent 7341c6b8
module T7734 where
x `f` y = x x
(&) x y = x x
T7734.hs:4:13:
Occurs check: cannot construct the infinite type: t2 ~ t2 -> t1
Relevant bindings include
f :: (t2 -> t1) -> t -> t1 (bound at T7734.hs:4:1)
x :: t2 -> t1 (bound at T7734.hs:4:1)
In the first argument of ‛x’, namely ‛x’
In the expression: x x
In an equation for ‛f’: x `f` y = x x
T7734.hs:5:13:
Occurs check: cannot construct the infinite type: t2 ~ t2 -> t1
Relevant bindings include
& :: (t2 -> t1) -> t -> t1 (bound at T7734.hs:5:1)
x :: t2 -> t1 (bound at T7734.hs:5:5)
In the first argument of ‛x’, namely ‛x’
In the expression: x x
In an equation for ‛&’: (&) x y = x x
......@@ -297,3 +297,4 @@ test('T2247', normal, compile_fail, [''])
test('T7609', normal, compile_fail, [''])
test('T7645', normal, compile_fail, [''])
test('T2354', normal, compile_fail, ['-O'])
test('T7734', 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