blob: 15122e8e1ba46238c3586a2f5edb56d7be2e48f0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
tcfail016.hs:9:20:
Couldn't match type ‛(t, Expr t)’ with ‛Expr t’
Expected type: Expr t
Actual type: AnnExpr t
Relevant bindings include
g :: Expr t -> [[Char]] (bound at tcfail016.hs:8:1)
e1 :: AnnExpr t (bound at tcfail016.hs:9:8)
e2 :: AnnExpr t (bound at tcfail016.hs:9:11)
In the first argument of ‛g’, namely ‛e1’
In the first argument of ‛(++)’, namely ‛(g e1)’
In the expression: (g e1) ++ (g e2)
tcfail016.hs:9:28:
Couldn't match type ‛(t, Expr t)’ with ‛Expr t’
Expected type: Expr t
Actual type: AnnExpr t
Relevant bindings include
g :: Expr t -> [[Char]] (bound at tcfail016.hs:8:1)
e1 :: AnnExpr t (bound at tcfail016.hs:9:8)
e2 :: AnnExpr t (bound at tcfail016.hs:9:11)
In the first argument of ‛g’, namely ‛e2’
In the second argument of ‛(++)’, namely ‛(g e2)’
In the expression: (g e1) ++ (g e2)
|