[project @ 1998-04-17 15:58:37 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 a08f8a0..e4f622c 100644 (file)
--- a/ghc/tests/typecheck/should_fail/tcfail016.stderr
+++ b/ghc/tests/typecheck/should_fail/tcfail016.stderr
@@ -1,12 +1,10 @@
  
-tcfail016.hs:9: Couldn't match the type
-                   `PrelTup.(,) taRi' against `Expr'
-    Expected: `Expr taRd'
-    Inferred: `AnnExpr taRi'
+tcfail016.hs:9:
+    Couldn't match the type `AnnExpr a12c' against `Expr a125'
+    Expected: Expr a12c
+    Inferred: AnnExpr a12c
     In the first argument of `g', namely `e1'
-    In the first argument of `PrelBase.++', namely `(g e1)'
-    In an equation for function `g':
-       `g (App e1 e2) = (g e1) PrelBase.++ (g e2)'
+    In the first argument of `++', namely `(g e1)'
 
 
 Compilation had errors