testsuite/tests/typecheck/should_fail/tcfail007.stderr


1
2
3
4
5
6
7
8


tcfail007.hs:3:15: error:
    • 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