ghc/tests/typecheck/should_fail/tcfail010.stderr

   1
   2 tcfail010.hs:3:
   3     Ambiguous type variable(s) `t' in the constraint `Num [t]'
   4     arising from the literal `2' at tcfail010.hs:3
   5     In the second argument of `+', namely `2'
   6     In the right-hand side of a lambda abstraction: z + 2
   7
   8 Compilation had errors
   9