Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail007.stderr
1
2 tcfail007.hs:3:14: error:
3     • No instance for (Num Bool) arising from a use of ‘+’
4     • In the expression: x + 1
5       In an equation for ‘n’:
6           n x
7             | True = x + 1
8             | False = True