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