ghc/tests/typecheck/should_fail/tcfail034.stderr

   1
   2 tcfail034.hs:17:
   3     Could not deduce `Integral a' from the context (Num a, Eq a)
   4     Probable fix:
   5         Add `Integral a' to the type signature(s) for {test}
   6     arising from use of `mod' at tcfail034.hs:17
   7     In the first argument of `(==)', namely `(x `mod` 3)'
   8     in the definition of function `test': (x `mod` 3) == 0