ghc/tests/typecheck/should_fail/tcfail007.stderr

   1
   2 tcfail007.hs:3:
   3     No instance for `Num Bool'
   4     arising from the literal `1' at tcfail007.hs:3
   5     In the second argument of `(+)', namely `1'
   6     in the definition of function `n': x + 1