diff options
Diffstat (limited to 'testsuite/tests/ghc-regress/typecheck/should_fail/tcfail032.hs')
| -rw-r--r-- | testsuite/tests/ghc-regress/typecheck/should_fail/tcfail032.hs | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail032.hs b/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail032.hs deleted file mode 100644 index 5950064655..0000000000 --- a/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail032.hs +++ /dev/null @@ -1,16 +0,0 @@ -{- This test gives the following not-very-wonderful error message. - - "tc_sig.hs", line 3: Type signature does not match the inferred type: - Signature: t76 -> Int - Inferred type: t75 - -It *is* an error, because x does not have the polytype - forall a. Eq a => a -> Int -becuase it is monomorphic, but the error message isn't very illuminating. --} - -module ShouldFail where - -f x = (x :: (Eq a) => a -> Int) - - |