T3330a.stderr 816 Bytes
Newer Older
simonpj's avatar
simonpj committed
1
2

T3330a.hs:17:34:
simonpj's avatar
simonpj committed
3
4
5
6
    Occurs check: cannot construct the infinite type:
      s = (->) (s ix -> ix)
    Expected type: r ix -> Writer [AnyF s1] (r ix)
      Actual type: ix2
simonpj's avatar
simonpj committed
7
8
9
10
11
    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:17:44:
simonpj's avatar
simonpj committed
12
13
    Couldn't match type `ix2' with `r ix1 -> Writer [AnyF s] (r ix1)'
      `ix2' is a rigid type variable bound by
simonpj's avatar
simonpj committed
14
            the type signature for `children' at T3330a.hs:16:15
simonpj's avatar
simonpj committed
15
16
    Expected type: PF s1 r (r ix1 -> Writer [AnyF s] (r ix1))
      Actual type: PF s1 r ix2
simonpj's avatar
simonpj committed
17
18
19
    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)