[CakeML-Dev] x64_enc undefined on Div

Ramana Kumar Ramana.Kumar at cl.cam.ac.uk
Mon Oct 31 00:59:21 UTC 2016

x64_enc0 is not defined for the new Div instruction in asm. This is
probably intentional since Div is not supported on x64. However, for
translating the compiler into CakeML, this causes a problem, since the
translator prefers functions to be total. Should we work on propagating the
side condition that Div is never passed to x64_enc? Or can we make the
definition total by providing a dummy encoding?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cakeml.org/pipermail/developers/attachments/20161031/2561445c/attachment.html>

More information about the Developers mailing list