testsuite/tests/typecheck/should_fail/tcfail007.stderr


1
2
3
4
5
6
7
8
9
10
11


tcfail007.hs:3:16:
    No instance for (Num Bool)
      arising from the literal `1'
    Possible fix: add an instance declaration for (Num Bool)
    In the second argument of `(+)', namely `1'
    In the expression: x + 1
    In an equation for `n':
        n x
          | True = x + 1
          | False = True