Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail007.hs
1 module ShouldFail where
2
3 n x | True = x+1
4 | False = True