Add HsSyn prettyprinter tests
[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 :: p1 -> p -> t at T12177.hs:3:1-19
6     • In the expression: _
7       In the expression: \ x -> _
8       In the expression: \ x -> \ x -> _
9     • Relevant bindings include
10         x :: p (bound at T12177.hs:3:14)
11         bar :: p1 -> p -> t (bound at T12177.hs:3:1)
12
13 T12177.hs:5:37: error:
14     • Found hole: _ :: t
15       Where: ‘t’ is a rigid type variable bound by
16                the inferred type of baz :: p4 -> p3 -> p2 -> p1 -> p -> t
17                at T12177.hs:5:1-37
18     • In the expression: _
19       In the expression: \ z -> _
20       In the expression: \ x -> \ z -> _
21     • Relevant bindings include
22         z :: p (bound at T12177.hs:5:32)
23         x :: p1 (bound at T12177.hs:5:26)
24         y :: p3 (bound at T12177.hs:5:14)
25         baz :: p4 -> p3 -> p2 -> p1 -> p -> t (bound at T12177.hs:5:1)