[project @ 2001-08-22 12:24:41 by simonmar]

[ghc-hetmet.git] / ghc / tests / typecheck / should_fail / tcfail065.stderr

diff --git a/ghc/tests/typecheck/should_fail/tcfail065.stderr b/ghc/tests/typecheck/should_fail/tcfail065.stderr
deleted file mode 100644 (file)
index f2615e2..0000000
--- a/ghc/tests/typecheck/should_fail/tcfail065.stderr
+++ /dev/null
@@ -1,8 +0,0 @@
-
-tcfail065.hs:28:
-    Inferred type is less polymorphic than expected
-       Quantified type variable `x' is unified with `x'
-    Signature type:     forall x. x -> X x1 -> X x1
-    Type to generalise: x -> X x -> X x
-    When checking the type signature for `setX'
-    In the definition for method `setX'