X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftests%2Ftypecheck%2Fshould_fail%2Ftcfail032.stderr;h=7229913fa8ae2fbfc1d7389ab058158a4efbf147;hb=29b46083beaa048af4b4a68e8f96909ac98a639f;hp=53fee2da11017d1e52f77b84f63e4e57e06580d1;hpb=e7d21ee4f8ac907665a7e170c71d59e13a01da09;p=ghc-hetmet.git

diff --git a/ghc/compiler/tests/typecheck/should_fail/tcfail032.stderr b/ghc/compiler/tests/typecheck/should_fail/tcfail032.stderr
index 53fee2d..7229913 100644
--- 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