-
-tcfail034.hs:17:
- Could not deduce `Integral a'
- (arising from use of `mod' at tcfail034.hs:17)
- from the context (Num a, Eq a, test at a)
- Probable cause: missing `Integral a' in type signature for `test'
- When checking the type signature(s) for `test'
-
-Compilation had errors
+tcfail034.hs:17:
+ Could not deduce `Integral a' from the context (Num a, Eq a)
+ Probable fix:
+ Add `Integral a' to the type signature(s) for {test}
+ arising from use of `mod' at tcfail034.hs:17
+ In the first argument of `(==)', namely `(x `mod` 3)'
+ in the definition of function `test': (x `mod` 3) == 0