T3330a.stderr 1.69 KB
Newer Older
1

2
T3330a.hs:19:34: error:
3 4 5
    • Couldn't match type ‘ix’
                     with ‘r ix1 -> Writer [AnyF s] (r'0 ix1)’
      ‘ix’ is a rigid type variable bound by
6 7 8 9 10 11
        the type signature for:
          children :: forall (s :: * -> *) ix (r :: * -> *).
                      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)
12
        Actual type: s ix
13 14
    • In the first argument of ‘hmapM’, namely ‘p’
      In the first argument of ‘execWriter’, namely ‘(hmapM p collect x)’
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
15
      In the expression: execWriter (hmapM p collect x)
16 17 18 19
    • Relevant bindings include
        x :: PF s r ix (bound at T3330a.hs:19:12)
        p :: s ix (bound at T3330a.hs:19:10)
        children :: s ix -> PF s r ix -> [AnyF s] (bound at T3330a.hs:19:1)
20

21 22 23
T3330a.hs:19:44: error:
    • Couldn't match type ‘ix’
                     with ‘r0 ix0 -> Writer [AnyF s0] (r0 ix0)’
24
      ‘ix’ is a rigid type variable bound by
25 26 27 28 29
        the type signature for:
          children :: forall (s :: * -> *) ix (r :: * -> *).
                      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))
30
        Actual type: PF s r ix
31 32
    • In the third argument of ‘hmapM’, namely ‘x’
      In the first argument of ‘execWriter’, namely ‘(hmapM p collect x)’
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
33
      In the expression: execWriter (hmapM p collect x)
34 35 36 37
    • Relevant bindings include
        x :: PF s r ix (bound at T3330a.hs:19:12)
        p :: s ix (bound at T3330a.hs:19:10)
        children :: s ix -> PF s r ix -> [AnyF s] (bound at T3330a.hs:19:1)