9107051d8c4a20bae57c70d87eb74a0c84830b55
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail034.stderr
1
2 tcfail034.hs:17:13:
3     Could not deduce (Integral a) arising from a use of ‘mod’
4     from the context (Num a, Eq a)
5       bound by the type signature for test :: (Num a, Eq a) => a -> Bool
6       at tcfail034.hs:16:7-32
7     Possible fix:
8       add (Integral a) to the context of
9         the type signature for test :: (Num a, Eq a) => a -> Bool
10     In the first argument of ‘(==)’, namely ‘(x `mod` 3)’
11     In the expression: (x `mod` 3) == 0
12     In an equation for ‘test’: test x = (x `mod` 3) == 0