[project @ 1998-04-17 15:58:37 by simonm]

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

diff --git a/ghc/tests/typecheck/should_fail/tcfail032.stderr b/ghc/tests/typecheck/should_fail/tcfail032.stderr
index 41a51e5..0a2b33b 100644 (file)
--- a/ghc/tests/typecheck/should_fail/tcfail032.stderr
+++ b/ghc/tests/typecheck/should_fail/tcfail032.stderr
@@ -1,8 +1,10 @@
  
-tcfail032.hs:14: A type signature is more polymorphic than the inferred type
-                    Can't for-all the type variable(s) `taAX'
-                    in the inferred type `taAX -> PrelBase.Int'
+tcfail032.hs:14:
+    A type signature is more polymorphic than the inferred type
+       Can't for-all the type variable(s) `a'
+       in the type `a -> Int'
     In an expression with a type signature:
-       `x :: _forall_ [a] (PrelBase.Eq a) => a -> PrelBase.Int'
+         x :: _forall_ [a] (PrelBase.Eq a) => a -> Int
+
 
 Compilation had errors