T3330c.stderr 680 Bytes
Newer Older
Simon Peyton Jones's avatar
Simon Peyton Jones committed
1

Simon Peyton Jones's avatar
Simon Peyton Jones committed
2
T3330c.hs:23:43:
3 4 5 6 7
    Couldn't match type `f1' with `f1 x'
      `f1' is a rigid type variable bound by
           a pattern with constructor
             RSum :: forall (f :: * -> *) (g :: * -> *).
                     R f -> R g -> R (f :+: g),
8
           in an equation for plug'
9
           at T3330c.hs:23:8
Simon Peyton Jones's avatar
Simon Peyton Jones committed
10 11
    In the first argument of `plug', namely `rf'
    In the first argument of `Inl', namely `(plug rf df x)'
12
    In the expression: Inl (plug rf df x)
13 14 15 16 17 18

T3330c.hs:23:43:
    Couldn't match type `Der ((->) x)' with `R'
    In the first argument of `plug', namely `rf'
    In the first argument of `Inl', namely `(plug rf df x)'
    In the expression: Inl (plug rf df x)