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

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

diff --git a/ghc/tests/typecheck/should_fail/tcfail016.stderr b/ghc/tests/typecheck/should_fail/tcfail016.stderr
index c2df52f..f5eb713 100644 (file)
--- a/ghc/tests/typecheck/should_fail/tcfail016.stderr
+++ b/ghc/tests/typecheck/should_fail/tcfail016.stderr
@@ -1,7 +1,7 @@
  
-tcfail016.hs:9: Couldn't match the type `Expr' against `(,) taUk'
-    Expected: `AnnExpr taUk'
-    Inferred: `Expr taUk'
+tcfail016.hs:9: Couldn't match the type `Expr' against `(,) taTH'
+    Expected: `AnnExpr taTH'
+    Inferred: `Expr taTH'
     In the first argument of `g', namely `e1'
     In the first argument of `++', namely `(g e1)'
     In an equation for function `g': `g (App e1 e2) = (g e1) ++ (g e2)'