>
> *From:* Glasgow-haskell-users [mailto:
> [email protected]] *On Behalf Of *Conal Elliott
> *Sent:* 24 April 2014 01:29
> *To:* [email protected]; [email protected]; Richard
> Eisenberg; Simon Peyton Jones
> *Subject:* Help with c
with cast error
I'd appreciate help with a cast-related Core Lint error I'm getting with a GHC
plugin I'm working on:
Argument value doesn't match argument type:
Fun type:
Enc (Vec ('S 'Z) Bool) ~ (Bool, ()) =>
EP (Enc (Vec ('S &#
I'd appreciate help with a cast-related Core Lint error I'm getting with a
GHC plugin I'm working on:
Argument value doesn't match argument type:
Fun type:
Enc (Vec ('S 'Z) Bool) ~ (Bool, ()) =>
EP (Enc (Vec ('S 'Z) Bool)) -> EP (Bool, ())
Arg type:
~R# (Enc (Ve
