blob: e44ab4d6f70c29eef84414d440b639d550b6655a (
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
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
|
T3330a.hs:19:34:
Couldn't match type `ix'
with `r ix1 -> Writer [AnyF ((->) (s0 ix0 -> ix1))] (r'0 ix1)'
`ix' is a rigid type variable bound by
the type signature for children :: s ix -> PF s r ix -> [AnyF s]
at T3330a.hs:18:13
Expected type: (s0 ix0 -> ix1)
-> r ix1 -> Writer [AnyF s] (r'0 ix1)
Actual type: s ix
Relevant bindings include
children :: s ix -> PF s r ix -> [AnyF s] (bound at T3330a.hs:19:1)
p :: s ix (bound at T3330a.hs:19:10)
x :: PF s r ix (bound at T3330a.hs:19:12)
In the first argument of `hmapM', namely `p'
In the first argument of `execWriter', namely `(hmapM p collect x)'
In the expression: execWriter (hmapM p collect x)
T3330a.hs:19:34:
Couldn't match type `s' with `(->) (s0 ix0 -> ix1)'
`s' is a rigid type variable bound by
the type signature for children :: s ix -> PF s r ix -> [AnyF s]
at T3330a.hs:18:13
Expected type: (s0 ix0 -> ix1)
-> r ix1 -> Writer [AnyF s] (r'0 ix1)
Actual type: s ix
Relevant bindings include
children :: s ix -> PF s r ix -> [AnyF s] (bound at T3330a.hs:19:1)
p :: s ix (bound at T3330a.hs:19:10)
x :: PF s r ix (bound at T3330a.hs:19:12)
In the first argument of `hmapM', namely `p'
In the first argument of `execWriter', namely `(hmapM p collect x)'
In the expression: execWriter (hmapM p collect x)
T3330a.hs:19:44:
Couldn't match type `ix' with `r0 ix0 -> Writer [AnyF s0] (r0 ix0)'
`ix' is a rigid type variable bound by
the type signature for children :: s ix -> PF s r ix -> [AnyF s]
at T3330a.hs:18:13
Expected type: PF s r (r0 ix0 -> Writer [AnyF s0] (r0 ix0))
Actual type: PF s r ix
Relevant bindings include
children :: s ix -> PF s r ix -> [AnyF s] (bound at T3330a.hs:19:1)
p :: s ix (bound at T3330a.hs:19:10)
x :: PF s r ix (bound at T3330a.hs:19:12)
In the third argument of `hmapM', namely `x'
In the first argument of `execWriter', namely `(hmapM p collect x)'
In the expression: execWriter (hmapM p collect x)
|