blob: 59c8fa4e3dd7cc3546b6f50df32ae36dc260e7d0 (
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
In the first argument of ‘g’, namely ‘e1’
In the first argument of ‘(++)’, namely ‘(g e1)’
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)
tcfail016.hs:9:28:
Couldn't match type ‘(t, Expr t)’ with ‘Expr t’
Expected type: Expr t
Actual type: AnnExpr t
In the first argument of ‘g’, namely ‘e2’
In the second argument of ‘(++)’, namely ‘(g e2)’
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)
|