[project @ 1997-05-26 05:42:53 by sof]

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

diff --git a/ghc/compiler/tests/typecheck/should_fail/tcfail065.stderr b/ghc/compiler/tests/typecheck/should_fail/tcfail065.stderr
index e69de29..c579c2e 100644 (file)
--- a/ghc/compiler/tests/typecheck/should_fail/tcfail065.stderr
+++ b/ghc/compiler/tests/typecheck/should_fail/tcfail065.stderr
@@ -0,0 +1,9 @@
+ 
+<NoSrcLoc>: A type signature is more polymorphic than the inferred type
+               Some type variables in the inferred type can't be forall'd, namely:
+               `x{-aNe-}'
+               Possible cause: the RHS mentions something subject to the monomorphism restriction
+    When checking signature for `setX'
+
+
+Compilation had errors