Take account of injectivity when doing fundeps
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail034.stderr
1
2 tcfail034.hs:17:11: error:
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:
6                    test :: (Num a, Eq a) => a -> Bool
7         at tcfail034.hs:16:1-32
8       Possible fix:
9         add (Integral a) to the context of
10           the type signature for:
11             test :: (Num a, Eq a) => a -> Bool
12     • In the first argument of ‘(==)’, namely ‘(x `mod` 3)’
13       In the expression: (x `mod` 3) == 0
14       In an equation for ‘test’: test x = (x `mod` 3) == 0