[project @ 1999-12-29 14:46:29 by simonpj]

[ghc-hetmet.git] / ghc / tests / typecheck / should_fail / tcfail034.stderr

diff --git a/ghc/tests/typecheck/should_fail/tcfail034.stderr b/ghc/tests/typecheck/should_fail/tcfail034.stderr
index 4d7ca43..0f1169d 100644 (file)
--- a/ghc/tests/typecheck/should_fail/tcfail034.stderr
+++ b/ghc/tests/typecheck/should_fail/tcfail034.stderr
@@ -1,7 +1,10 @@
- 
-tcfail034.hs:13: Context `{Integral taW7}'
-                    required by inferred type, but missing on a type signature
-                    `Integral taW7' arising from use of `mod' at tcfail034.hs:17
-    When checking signature(s) for: `test'
+
+tcfail034.hs:17:
+    Could not deduce `Integral a' from the context: (Num a, Eq a)
+    Probable cause: missing `Integral a' in type signature for `test'
+    arising from use of `mod' at tcfail034.hs:17
+    In the first argument of `==', namely `(x `mod` 3)'
+    In the right-hand side of an equation for `test': (x `mod` 3) == 0
 
 Compilation had errors
+