testsuite/tests/typecheck/should_fail/tcfail007.stderr


1
2
3
4
5
6
7
8


tcfail007.hs:3:15:
    No instance for (Num Bool) arising from a use of ‛+’
    In the expression: x + 1
    In an equation for ‛n’:
        n x
          | True = x + 1
          | False = True