[project @ 2001-03-29 14:35:20 by simonmar]
[ghc-hetmet.git] / ghc / tests / typecheck / should_fail / tcfail010.stderr
index 67a9902..ef08279 100644 (file)
@@ -1,5 +1,6 @@
 
 tcfail010.hs:3:
-    Ambiguous type variable(s) `t' in the constraint `Num [t]'
-    arising from use of `+' at tcfail010.hs:3
-    In the right-hand side of a lambda abstraction: z + 2
+    No instance for `Num [t]'
+    arising from the literal `2' at tcfail010.hs:3
+    In the second argument of `(+)', namely `2'
+    in a lambda abstraction: z + 2