X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Ftests%2Ftypecheck%2Fshould_fail%2Ftcfail010.stderr;h=ef0827985ca970eafdb333754c3cd3ddb430456b;hb=84b502f0d99b597af4d37791021f4032ca8aef0e;hp=25fb03f8e930bde97fc4b886685cf428da4eeb3b;hpb=35e599b596d442e72adb8f0364f223b18dfbb095;p=ghc-hetmet.git

diff --git a/ghc/tests/typecheck/should_fail/tcfail010.stderr b/ghc/tests/typecheck/should_fail/tcfail010.stderr
index 25fb03f..ef08279 100644
--- a/ghc/tests/typecheck/should_fail/tcfail010.stderr
+++ b/ghc/tests/typecheck/should_fail/tcfail010.stderr
@@ -1,8 +1,6 @@
 
 tcfail010.hs:3:
-    Ambiguous type variable(s) `t'
-	in the constraint `Num [t]'
-	arising from use of `+' at tcfail010.hs:3
-
-Compilation had errors
-
+    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