projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[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 `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
Compilation had errors