Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail037.hs
1 -- !!! PreludeCore entities cannot be redefined at the top-level
2 --
3 module ShouldFail where
4
5 data NUM = ONE | TWO
6
7 f a b = a + b
8 f :: NUM -> NUM -> NUM
9
10 ONE + ONE = TWO
11