[project @ 1997-07-31 00:05:10 by sof]

[ghc-hetmet.git] / ghc / compiler / tests / typecheck / should_fail / tcfail032.hs

diff --git a/ghc/compiler/tests/typecheck/should_fail/tcfail032.hs b/ghc/compiler/tests/typecheck/should_fail/tcfail032.hs
deleted file mode 100644 (file)
index 0e8884d..0000000
--- a/ghc/compiler/tests/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 TcSig where
-
-f x = (x :: (Eq a) => a -> Int)
-
-