<div dir="ltr">I'd appreciate help with a cast-related Core Lint error I'm getting with a GHC plugin I'm working on:<br><br><span style="font-family:courier new,monospace"> Argument value doesn't match argument type:<br>
Fun type:<br> Enc (Vec ('S 'Z) Bool) ~ (Bool, ()) =><br> EP (Enc (Vec ('S 'Z) Bool)) -> EP (Bool, ())<br> Arg type:<br> ~R# (Enc (Vec ('S 'Z) Bool)) (Bool, ())<br>
Arg:<br> CO Sub (TFCo:R:EncVec[0] <'Z>_N <Bool>_N)<br> ; (Sub TFCo:R:EncBool[0], Sub (TFCo:R:EncVec0[0] <Bool>_N))_R</span><br><br>(I omitted the module prefixes for brevity.) Do I have a role wrong here, or maybe something more fundamental?<br>
<br>I can easily supply more info if it'd help.<br><br>Thanks, -- Conal</div>