blob: 4ca175b5dea9c90f17c1d5a8bb7bea67c80b14c3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
T12177.hs:3:19: error:
• Found hole: _ :: p2
Where: ‘p2’ is a rigid type variable bound by
the inferred type of bar :: p -> p1 -> p2
at T12177.hs:3:1-19
• In the expression: \ x -> _
In the expression: \ x -> \ x -> _
In an equation for ‘bar’: bar = \ x -> \ x -> _
• Relevant bindings include
x :: p1 (bound at T12177.hs:3:14)
bar :: p -> p1 -> p2 (bound at T12177.hs:3:1)
T12177.hs:5:37: error:
• Found hole: _ :: p5
Where: ‘p5’ is a rigid type variable bound by
the inferred type of baz :: p -> p1 -> p2 -> p3 -> p4 -> p5
at T12177.hs:5:1-37
• In the expression: \ z -> _
In the expression: \ x -> \ z -> _
In the expression: \ z -> \ x -> \ z -> ...
• Relevant bindings include
z :: p4 (bound at T12177.hs:5:32)
x :: p3 (bound at T12177.hs:5:26)
y :: p1 (bound at T12177.hs:5:14)
baz :: p -> p1 -> p2 -> p3 -> p4 -> p5 (bound at T12177.hs:5:1)
|
