blob: 0f8e2215bc02896c7b3f336a6481792c8665c670 (
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
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
|
T10267.hs:8:1: error:
• Found hole: _ :: a
Where: ‘a’ is a rigid type variable bound by
the type signature for:
j :: forall a. a -> a
at T10267.hs:(8,1)-(12,14)
• In the expression: _
In an equation for ‘j’: j x = _
• Relevant bindings include
x :: a (bound at T10267.hs:8:1)
j :: a -> a (bound at T10267.hs:8:1)
Valid hole fits include x :: a (bound at T10267.hs:8:1)
T10267.hs:8:1: error:
• Found hole: _foo :: a -> a
Where: ‘a’ is a rigid type variable bound by
the type signature for:
i :: forall a. a -> a
at T10267.hs:(8,1)-(12,14)
Or perhaps ‘_foo’ is mis-spelled, or not in scope
• In the expression: _foo
In an equation for ‘i’: i = _foo
• Relevant bindings include i :: a -> a (bound at T10267.hs:8:1)
Valid hole fits include
i :: a -> a (bound at T10267.hs:8:1)
j :: forall a. a -> a
with j @a
(bound at T10267.hs:8:1)
k :: forall a. a -> a
with k @a
(defined at T10267.hs:14:3)
l :: forall a. a -> a
with l @a
(defined at T10267.hs:23:3)
foo :: forall a. a -> a
with foo @a
(defined at T10267.hs:33:1)
id :: forall a. a -> a
with id @a
(imported from ‘Prelude’ at T10267.hs:3:8-13
(and originally defined in ‘GHC.Base’))
T10267.hs:14:3: error:
• Found hole: _foo :: a -> a
Where: ‘a’ is a rigid type variable bound by
the type signature for:
k :: forall a. a -> a
at T10267.hs:(14,3)-(21,2)
Or perhaps ‘_foo’ is mis-spelled, or not in scope
• In the expression: _foo
In an equation for ‘k’: k = _foo
• Relevant bindings include k :: a -> a (bound at T10267.hs:14:3)
Valid hole fits include
k :: a -> a (bound at T10267.hs:14:3)
j :: forall a. a -> a
with j @a
(bound at T10267.hs:8:1)
i :: forall a. a -> a
with i @a
(bound at T10267.hs:8:1)
l :: forall a. a -> a
with l @a
(defined at T10267.hs:23:3)
foo :: forall a. a -> a
with foo @a
(defined at T10267.hs:33:1)
id :: forall a. a -> a
with id @a
(imported from ‘Prelude’ at T10267.hs:3:8-13
(and originally defined in ‘GHC.Base’))
T10267.hs:23:3: error:
• Found hole: _ :: a
Where: ‘a’ is a rigid type variable bound by
the type signature for:
l :: forall a. a -> a
at T10267.hs:(23,3)-(30,2)
• In the expression: _
In an equation for ‘l’: l x = _
• Relevant bindings include
x :: a (bound at T10267.hs:23:3)
l :: a -> a (bound at T10267.hs:23:3)
Valid hole fits include x :: a (bound at T10267.hs:23:3)
|
