diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail037.hs')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail037.hs | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail037.hs b/testsuite/tests/typecheck/should_fail/tcfail037.hs new file mode 100644 index 0000000000..d2110c755a --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/tcfail037.hs @@ -0,0 +1,11 @@ +-- !!! 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 + |