[project @ 2001-08-22 11:45:06 by sewardj]
[ghc-hetmet.git] / ghc / tests / typecheck / should_fail / tcfail034.stderr
index cc383ac..3986844 100644 (file)
@@ -1,10 +1,8 @@
-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