[project @ 1998-03-30 08:41:32 by sof]
[ghc-hetmet.git] / ghc / tests / typecheck / should_fail / tcfail034.stderr
index b24a138..c117692 100644 (file)
@@ -1,7 +1,9 @@
  
-tcfail034.hs:13: Context `{Integral taWK}'
-                    required by inferred type, but missing on a type signature
-                    `Integral taWK' arising from use of `mod' at tcfail034.hs:17
-    When checking signature(s) for: `test'
+tcfail034.hs:17:
+    No instance for: `Integral a'
+       arising from use of `mod', at tcfail034.hs:17
+       Available context: (Num a, Eq a)
+       When checking the type signature(s) for `test'
+
 
 Compilation had errors