Relevant Bindings no longer reports shadowed bindings (fixes #12176)
[ghc.git] / testsuite / tests / typecheck / should_fail / T12177.stderr
1
2 T12177.hs:3:19: error:
3     • Found hole: _ :: t
4       Where: ‘t’ is a rigid type variable bound by
5                the inferred type of bar :: t2 -> t1 -> t
6                at T12177.hs:3:1-19
7     • In the expression: _
8       In the expression: \ x -> _
9       In the expression: \ x -> \ x -> _
10     • Relevant bindings include
11         x :: t1 (bound at T12177.hs:3:14)
12         bar :: t2 -> t1 -> t (bound at T12177.hs:3:1)
13
14 T12177.hs:5:37: error:
15     • Found hole: _ :: t
16       Where: ‘t’ is a rigid type variable bound by
17                the inferred type of baz :: t5 -> t4 -> t3 -> t2 -> t1 -> t
18                at T12177.hs:5:1-37
19     • In the expression: _
20       In the expression: \ z -> _
21       In the expression: \ x -> \ z -> _
22     • Relevant bindings include
23         z :: t1 (bound at T12177.hs:5:32)
24         x :: t2 (bound at T12177.hs:5:26)
25         y :: t4 (bound at T12177.hs:5:14)
26         baz :: t5 -> t4 -> t3 -> t2 -> t1 -> t
27           (bound at T12177.hs:5:1)
28