blob: 73e1a36339317fbb1168b25cc3effec2ae0b6149 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
mod71.hs:4:9: error: [GHC-88464]
• Found hole: _ :: t2
Where: ‘t2’ is a rigid type variable bound by
the inferred type of f :: Num t1 => (t2 -> t1 -> t3) -> t3
at mod71.hs:4:1-11
• In the first argument of ‘x’, namely ‘_’
In the expression: x _ 1
In an equation for ‘f’: f x = x _ 1
• Relevant bindings include
x :: t2 -> t1 -> t3 (bound at mod71.hs:4:3)
f :: (t2 -> t1 -> t3) -> t3 (bound at mod71.hs:4:1)
Constraints include Num t1 (from mod71.hs:4:1-11)
|
