Add typed holes support in Template Haskell.
[ghc.git] / testsuite / tests / th / T10267.stderr
1
2 T10267.hs:8:1: error:
3     Found hole: _ :: a0
4     Where: ‘a0’ is a rigid type variable bound by
5                 the type signature for:
6                   j :: a0 -> a0
7                 at T10267.hs:8:1
8     Relevant bindings include
9       x :: a0 (bound at T10267.hs:8:1)
10       j :: a0 -> a0 (bound at T10267.hs:8:1)
11     In the expression: _
12     In an equation for ‘j’: j x = _
13
14 T10267.hs:8:1: error:
15     Found hole: _foo :: a0 -> a0
16     Where: ‘a0’ is a rigid type variable bound by
17                 the type signature for:
18                   i :: a0 -> a0
19                 at T10267.hs:8:1
20     Or perhaps ‘_foo’ is mis-spelled, or not in scope
21     Relevant bindings include i :: a0 -> a0 (bound at T10267.hs:8:1)
22     In the expression: _foo
23     In an equation for ‘i’: i = _foo
24
25 T10267.hs:14:3: error:
26     Found hole: _foo :: a -> a
27     Where: ‘a’ is a rigid type variable bound by
28                the type signature for:
29                  k :: a -> a
30                at T10267.hs:14:3
31     Or perhaps ‘_foo’ is mis-spelled, or not in scope
32     Relevant bindings include k :: a -> a (bound at T10267.hs:14:3)
33     In the expression: _foo
34     In an equation for ‘k’: k = _foo
35
36 T10267.hs:23:3: error:
37     Found hole: _ :: a
38     Where: ‘a’ is a rigid type variable bound by
39                the type signature for:
40                  l :: a -> a
41                at T10267.hs:23:3
42     Relevant bindings include
43       x :: a (bound at T10267.hs:23:3)
44       l :: a -> a (bound at T10267.hs:23:3)
45     In the expression: _
46     In an equation for ‘l’: l x = _