blob: 134b76ffb39ebee50ed56ed1d25d8adffeb87845 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
tcfail131.hs:7:13:
Could not deduce (b ~ Integer)
from the context (Num b)
bound by the type signature for g :: Num b => b -> b
at tcfail131.hs:7:3-13
`b' is a rigid type variable bound by
the type signature for g :: Num b => b -> b at tcfail131.hs:7:3
In the second argument of `f', namely `x'
In the expression: f x x
In an equation for `g': g x = f x x
|