path: root/testsuite/tests/typecheck/should_fail/tcfail037.hs

-- !!! PreludeCore entities cannot be redefined at the top-level
--
module ShouldFail where

data NUM = ONE | TWO

f a b = a + b
f :: NUM -> NUM -> NUM

ONE + ONE = TWO