[MLton] ARM and setRoundingMode

Adam Goode adam at spicenitz.org
Sun Apr 12 22:50:24 PDT 2009


Hi,

I am bootstrapping MLton for Fedora ARM. Everything seems to be
working well, but the target hardware is software floating point,
which on ARM doesn't implement non-default IEEE rounding modes.

According to
 http://www.standardml.org/Basis/ieee-float.html#SIG:IEEE_REAL.setRoundingMode:VAL
if the hardware doesn't support a rounding mode, setRoundingMode
could raise an exception for unsupported modes. This is detectable
when fesetround returns a non-zero value.

Should MLton do this? What exception should be used? It would
be nice to know when setRoundingMode fails.



Thanks,

Adam

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 260 bytes
Desc: OpenPGP digital signature
Url : http://mlton.org/pipermail/mlton/attachments/20090413/c17586d8/signature.pgp


More information about the MLton mailing list