blob: db8e148eb94c2b4f3a1e3737fd2f3f9449bc34af (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
tcfail034.hs:17:13:
Could not deduce (Integral a) arising from a use of `mod'
from the context (Num a, Eq a)
bound by the type signature for test :: (Num a, Eq a) => a -> Bool
at tcfail034.hs:17:1-25
Possible fix:
add (Integral a) to the context of
the type signature for test :: (Num a, Eq a) => a -> Bool
In the first argument of `(==)', namely `(x `mod` 3)'
In the expression: (x `mod` 3) == 0
In an equation for `test': test x = (x `mod` 3) == 0
|