[project @ 1997-07-30 23:52:45 by sof]

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

diff --git a/ghc/compiler/tests/typecheck/should_fail/tcfail032.stderr b/ghc/compiler/tests/typecheck/should_fail/tcfail032.stderr
index 53fee2d..7229913 100644 (file)
--- a/ghc/compiler/tests/typecheck/should_fail/tcfail032.stderr
+++ b/ghc/compiler/tests/typecheck/should_fail/tcfail032.stderr
@@ -1,8 +1,11 @@
  
-"tcfail032.hs", line 14: Type signature is too polymorphic:
-    Signature: a -> Int
-    Monomorphic type variables: a
-    In an expression with a type signature: x:: a -> Int
-Fail: Compilation errors found
+tcfail032.hs:14: A type signature is more polymorphic than the inferred type
+                    Some type variables in the inferred type can't be forall'd, namely:
+                    `a{-aG1-}'
+                    Possible cause: the RHS mentions something subject to the monomorphism restriction
+    In an expression with a type signature:
+       `x ::
+          _forall_ [a] {PrelBase.Eq a} => a -> PrelBase.Int'
 
-ghc: execution of the Haskell compiler had trouble
+
+Compilation had errors