[MLton] Re: [MLton-commit] r5662

[Matthew William Cox]

On Thu, Jun 21, 2007 at 02:13:52PM -0500, Henry Cejtin wrote:
> Speaking of reals, it would be nice if there were a Real type for the full
> 80-bit reals.  Gcc gives you this with `long double'.

True, but not all platforms support 80 bit reals. PPC for instance. I
think it would be evil to silently turn that into a 64 bit double when
you compile via C on a non-x86 platform.

That being said, is anyone using the OS X/PPC port these days?

Matthew