blob: c664ba45e4ce3b0994432e943aa069d8dcdbe07e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
tcfail131.hs:7:9:
Could not deduce (b ~ Integer)
from the context (Num b)
bound by the type signature for g :: Num b => b -> b
at tcfail131.hs:6:8-22
‛b’ is a rigid type variable bound by
the type signature for g :: Num b => b -> b at tcfail131.hs:6:8
Relevant bindings include
g :: b -> b (bound at tcfail131.hs:7:3)
x :: b (bound at tcfail131.hs:7:5)
In the expression: f x x
In an equation for ‛g’: g x = f x x
|
