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

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

diff --git a/ghc/tests/typecheck/should_fail/tcfail071.stderr b/ghc/tests/typecheck/should_fail/tcfail071.stderr
index 253c05d..9a54281 100644 (file)
--- a/ghc/tests/typecheck/should_fail/tcfail071.stderr
+++ b/ghc/tests/typecheck/should_fail/tcfail071.stderr
@@ -2,8 +2,8 @@
 tcfail071.hs:8:
     Type signature doesn't match inferred type
        Signature: c -> c
-       Inferred : (aG1 -> [aG6] -> [aG6]) -> aG1 -> [aG6] -> [aG6]
-       When checking the type signature for `g'
+       Inferred : (aMF -> [aMD] -> [aMD]) -> aMF -> [aMD] -> [aMD]
+    When checking the type signature for `g'
 
 
 Compilation had errors