blob: 53536d1a1366fc072644d28219bd3e46eb24a787 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
T7734.hs:4:13: error:
• Occurs check: cannot construct the infinite type: r2 ~ r2 -> r1
• In the first argument of ‘x’, namely ‘x’
In the expression: x x
In an equation for ‘f’: x `f` y = x x
• Relevant bindings include
x :: r2 -> r1 (bound at T7734.hs:4:1)
f :: (r2 -> r1) -> r -> r1 (bound at T7734.hs:4:1)
T7734.hs:5:13: error:
• Occurs check: cannot construct the infinite type: r2 ~ r2 -> r1
• In the first argument of ‘x’, namely ‘x’
In the expression: x x
In an equation for ‘&’: (&) x y = x x
• Relevant bindings include
x :: r2 -> r1 (bound at T7734.hs:5:5)
(&) :: (r2 -> r1) -> r -> r1 (bound at T7734.hs:5:1)
|
