blob: cfe7f6727097c992c1c53e2e2ff0e22b9bc5a9a1 (
plain)
1
2
3
4
5
6
7
8
9
|
T3330a.hs:17:34:
Couldn't match type `s' with `(->) (s ix1 -> 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:17:1
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)
|
