testsuite/tests/typecheck/should_fail/tcfail015.stderr

   1
   2 tcfail015.hs:9:39:
   3     No instance for (Num Bool)
   4       arising from the literal `4'
   5     Possible fix: add an instance declaration for (Num Bool)
   6     In the expression: 4
   7     In an equation for `g':
   8         g (ANode b (ANode c d))
   9           | b = c + 1
  10           | otherwise = 4