blob: 12962aa473983f8052d3d7096e605a6e7b2ea53c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
mod71.hs:4:9:
Found hole ‘_’ with type: t1
Where: ‘t1’ is a rigid type variable bound by
the inferred type of f :: (t1 -> a -> t) -> t at mod71.hs:4:1
Relevant bindings include
x :: t1 -> a -> t (bound at mod71.hs:4:3)
f :: (t1 -> a -> t) -> t (bound at mod71.hs:4:1)
In the first argument of ‘x’, namely ‘_’
In the expression: x _ 1
In an equation for ‘f’: f x = x _ 1
mod71.hs:4:11:
No instance for (Num a) arising from the literal ‘1’
Possible fix:
add (Num a) to the context of
the inferred type of f :: (t1 -> a -> t) -> t
In the second argument of ‘x’, namely ‘1’
In the expression: x _ 1
In an equation for ‘f’: f x = x _ 1
|
