Hi!<div><br></div><div>I&#39;m currently working on an improved version of bullet physics engine binding. (the binding code is generated by a python script according c++ api. it uses c2hs too)</div><div>I&#39;d like to support jhc too.<br>
The attached code compiles with ghc (ghc --make testBullet.hs) but fails with jhc 0.7.6-3.</div><div>Here is the error message:</div><div><br></div><blockquote class="webkit-indent-blockquote" style="margin: 0 0 0 40px; border: none; padding: 0px;">
<div><div><i>Typechecking...</i></div></div><div><div><i>[1 of 4] BulletTypes      (.............................................)</i></div></div><div><div><i>[2 of 4] C2HS             (.............................................)</i></div>
</div><div><div><i>[3 of 4] BulletMod        (......jhc: user error (</i></div></div><div><div><i>What:    failure</i></div></div><div><div><i>Why:     context reduction, no instance for: Jhc.Float.RealFloat Foreign.C.Types.CFloat</i></div>
</div><div><div><i>Where:   on line 7114 in ./BulletMod.hs</i></div></div><div><div><i>in the explicitly typed BulletMod.btConcaveShape_setMargin BulletMod.5833_a1</i></div></div><div><div><i>  BulletMod.5834_a2</i></div>
</div><div><div><i>  = BulletMod.withBt BulletMod.5833_a1 Jhc.Basics.$</i></div></div><div><div><i>      \ BulletMod.5835_a1&#39; -&gt;</i></div></div><div><div><i>        let BulletMod.5836_a2&#39; = C2HS.cFloatConv BulletMod.5834_a2 in</i></div>
</div><div><div><i>          BulletMod.btConcaveShape_setMargin&#39;_ BulletMod.5835_a1&#39;</i></div></div><div><div><i>            BulletMod.5836_a2&#39;</i></div></div><div><div><i>            Jhc.Monad.&gt;&gt;=</i></div>
</div><div><div><i>            \ BulletMod.5837_res -&gt; Jhc.Monad.return (Jhc.Basics.())</i><span class="Apple-tab-span" style="white-space:pre"><i>		</i></span><i>{- on line 7114 -}</i></div></div><div><div><i>Compilation of module: BulletMod)</i></div>
</div></blockquote><div><br></div><div>Is this my fault or is it a jhc problem?</div><div><br></div><div>Cheers,</div><div>Csaba</div>