[project @ 2001-03-29 14:35:20 by simonmar]
[ghc-hetmet.git] / ghc / tests / typecheck / should_fail / tcfail008.stderr
index 0cc084b..ba4fd83 100644 (file)
@@ -1,12 +1,12 @@
 
 tcfail008.hs:3:
-    Ambiguous type variable(s) `t' in the constraint `Num [t]'
+    No instance for `Num [t]'
     arising from the literal `2' at tcfail008.hs:3
     In the second argument of `(:)', namely `2'
-    In the right-hand side of an equation for `o': 1 : 2
+    in the definition of function `o': 1 : 2
 
 tcfail008.hs:3:
     Ambiguous type variable(s) `t' in the constraint `Num t'
     arising from the literal `1' at tcfail008.hs:3
     In the first argument of `(:)', namely `1'
-    In the right-hand side of an equation for `o': 1 : 2
+    in the definition of function `o': 1 : 2