On Fri, Oct 23, 2009 at 3:46 AM, Adam Goode <
adam@...> wrote:
>> The only architecture MLton isn't working on is arm[el]. These systems
>> haven't enough memory and their floating point isn't rounded by a
>> control word, so I don't see MLton in their future.
>
> Hmm, the Fedora builders (running on Marvell hardware) definitely have
> enough memory (1GHz machines, 2GB RAM).
The debian arm buildd have 512MB. If they had 1GB I would've probably
ported it to them anyway. ;)
> I put a patch into MLton to throw an exception if setting the
> rounding mode is not available, but due to limitations in glibc on some
> ARM hardware, this can silently fail to set.
I was under the impression that arm assembler instructions embedded
the rounding mode into their opcode. ie: mul_round_to_zero %r0,4. Are
you saying some arm processors have 'normal' IEEE operations that
consult a control word?
Why didn't you submit the patches needed by your port for inclusion?
>
http://arm.koji.fedoraproject.org/koji/buildinfo?buildID=12752How many archs does fedora have buildds for?
_______________________________________________
MLton mailing list
MLton@...
http://mlton.org/mailman/listinfo/mlton