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