blob: 3b8e2a9712dd6d7bd557f3b19d0fe001c8b0fc8f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
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
e2 :: AnnExpr t (bound at tcfail016.hs:9:11)
e1 :: AnnExpr t (bound at tcfail016.hs:9:8)
g :: Expr t -> [[Char]] (bound at tcfail016.hs:8:1)
In the first argument of ‛g’, namely ‛e1’
In the first argument of ‛(++)’, namely ‛(g e1)’
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
e2 :: AnnExpr t (bound at tcfail016.hs:9:11)
e1 :: AnnExpr t (bound at tcfail016.hs:9:8)
g :: Expr t -> [[Char]] (bound at tcfail016.hs:8:1)
In the first argument of ‛g’, namely ‛e2’
In the second argument of ‛(++)’, namely ‛(g e2)’
|