ghc/tests/typecheck/should_fail/tcfail018.stderr

   1
   2 tcfail018.hs:5:
   3     Ambiguous type variable(s) `t' in the constraint `Num [t]'
   4     arising from the literal `1' at tcfail018.hs:5
   5     In the right-hand side of a pattern binding: 1