[MLton] latest MLton segfault in gmp

Wesley W. Terpstra wesley at terpstra.ca
Tue Oct 13 13:54:12 PDT 2009


On Tue, Oct 13, 2009 at 8:20 PM, Florian Weimer <fw at deneb.enyo.de> wrote:

> 8-byte alignment is preferable for performance reasons (so GCC follows
> that)


Sure, that's clear. gcc is welcome to emit aligned output. The question is
if it is justified to assume that all other modules likewise align their
output. That's what it did and that's why we crash.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mlton.org/pipermail/mlton/attachments/20091013/2100f524/attachment.html


More information about the MLton mailing list