[project @ 1998-04-30 20:31:10 by sof]

[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 1354c36..c2cc051 100644 (file)
--- a/ghc/tests/typecheck/should_fail/tcfail065.stderr
+++ b/ghc/tests/typecheck/should_fail/tcfail065.stderr
@@ -1,8 +1,8 @@
  
 tcfail065.hs:29:
     A type signature is more polymorphic than the inferred type
-       Can't for-all the type variable(s) `aSs'
-       in the type `aSs -> X x -> X x'
+       Can't for-all the type variable(s) `aT2'
+       in the type `aT2 -> X x -> X x'
     When checking the type signature for `setX'
     In the definition for method `setX'