ghc/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