[project @ 1999-06-09 09:35:54 by simonpj]

[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 d828793..0586efe 100644 (file)
--- a/ghc/tests/typecheck/should_fail/tcfail032.stderr
+++ b/ghc/tests/typecheck/should_fail/tcfail032.stderr
@@ -5,13 +5,10 @@ tcfail032.hs:14:
        It is mentioned in the environment
        The following variables in the environment mention `a'
            x :: a -> Int
-    In an expression with expected type: forall a1.
-                                        {Eq a1} =>
-                                        a1 -> Int
+    In an expression with expected type:
+       forall a1. (Eq a1) => a1 -> Int
     In an expression with a type signature:
          x :: forall a. (Eq a) => a -> Int
 
-
-
 Compilation had errors