[project @ 2000-12-12 17:21:40 by simonmar]

[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..aebdb2c 100644 (file)
--- a/ghc/tests/typecheck/should_fail/tcfail016.stderr
+++ b/ghc/tests/typecheck/should_fail/tcfail016.stderr
@@ -1,12 +1,7 @@
- 
-tcfail016.hs:9: Couldn't match the type
-                   `PrelTup.(,) taRi' against `Expr'
-    Expected: `Expr taRd'
-    Inferred: `AnnExpr taRi'
-    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)'
-
 
-Compilation had errors
+tcfail016.hs:9:
+    Couldn't match `Expr a' against `AnnExpr a'
+       Expected type: Expr a
+       Inferred type: AnnExpr a
+    In the first argument of `g', namely `e1'
+    In the first argument of `(++)', namely `(g e1)'