[project @ 1997-12-16 17:15:04 by simonm]

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

diff --git a/ghc/tests/typecheck/should_fail/tcfail065.stderr b/ghc/tests/typecheck/should_fail/tcfail065.stderr
index 1002a1d..bac2bd6 100644 (file)
--- a/ghc/tests/typecheck/should_fail/tcfail065.stderr
+++ b/ghc/tests/typecheck/should_fail/tcfail065.stderr
@@ -1,7 +1,7 @@
  
 tcfail065.hs:29: A type signature is more polymorphic than the inferred type
-                    Can't for-all the type variable(s) `taKg'
-                    in the inferred type `taKg -> X taKg -> X taKg'
+                    Can't for-all the type variable(s) `taJC'
+                    in the inferred type `taJC -> X taJC -> X taJC'
     When checking signature for `setX'
 
 Compilation had errors