testsuite/tests/typecheck/should_fail/tcfail008.stderr

   1
   2 tcfail008.hs:3:5:
   3     No instance for (Num a0) arising from the literal ‘1’
   4     The type variable ‘a0’ is ambiguous
   5     Relevant bindings include o :: [a0] (bound at tcfail008.hs:3:1)
   6     Note: there are several potential instances:
   7       instance Num Double -- Defined in ‘GHC.Float’
   8       instance Num Float -- Defined in ‘GHC.Float’
   9       instance Integral a => Num (GHC.Real.Ratio a)
  10         -- Defined in ‘GHC.Real’
  11       ...plus three others
  12     In the first argument of ‘(:)’, namely ‘1’
  13     In the expression: 1 : 2
  14     In an equation for ‘o’: o = 1 : 2
  15
  16 tcfail008.hs:3:7:
  17     No instance for (Num [a0]) arising from the literal ‘2’
  18     In the second argument of ‘(:)’, namely ‘2’
  19     In the expression: 1 : 2
  20     In an equation for ‘o’: o = 1 : 2