blob: 3c0b659389552c121d1a7d9d879653098a8d61c3 (
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: [GHC-88464]
• Found hole: _ :: p3
Where: ‘p3’ is a rigid type variable bound by
the inferred type of bar :: p1 -> p2 -> p3
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 :: p2 (bound at T12177.hs:3:14)
bar :: p1 -> p2 -> p3 (bound at T12177.hs:3:1)
T12177.hs:5:37: error: [GHC-88464]
• Found hole: _ :: p6
Where: ‘p6’ is a rigid type variable bound by
the inferred type of baz :: p1 -> p2 -> p3 -> p4 -> p5 -> p6
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 :: p5 (bound at T12177.hs:5:32)
x :: p4 (bound at T12177.hs:5:26)
y :: p2 (bound at T12177.hs:5:14)
baz :: p1 -> p2 -> p3 -> p4 -> p5 -> p6 (bound at T12177.hs:5:1)
|
