blob: e203acaa749c158abd0b7b88abd3cc72d5bffa95 (
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
|
holes3.hs:3:5:
Found hole ‘_’ with type: t
Where: ‘t’ is a rigid type variable bound by
the inferred type of f :: t at holes3.hs:3:1
Relevant bindings include f :: t (bound at holes3.hs:3:1)
In the expression: _
In an equation for ‘f’: f = _
holes3.hs:6:7:
Found hole ‘_gr’ with type: Char
Relevant bindings include
x :: Int (bound at holes3.hs:6:3)
g :: Int -> Char (bound at holes3.hs:6:1)
In the expression: _gr
In an equation for ‘g’: g x = _gr
holes3.hs:8:5:
Found hole ‘_aa’ with type: [Char]
Relevant bindings include h :: [Char] (bound at holes3.hs:8:1)
In the first argument of ‘(++)’, namely ‘_aa’
In the expression: _aa ++ "a"
In an equation for ‘h’: h = _aa ++ "a"
holes3.hs:11:15:
Found hole ‘_x’ with type: b0
Where: ‘b0’ is an ambiguous type variable
Relevant bindings include
y :: [a] (bound at holes3.hs:11:3)
z :: [a] -> [a] (bound at holes3.hs:11:1)
In the second argument of ‘const’, namely ‘_x’
In the expression: const y _x
In an equation for ‘z’: z y = const y _x
|
