[MLton] Real32... optional?

[Matthew Fluet]

On Tue, 13 Oct 2009, Wesley W. Terpstra wrote:
> The s390 architecture only has 64-bit IEEE registers. Should I remove the
> Real32 structure and update the regressions appropriately? Or does MLton
> guarantee the presence of this optional structure?
>
> Otherwise the port was a breeze (all other regressions pass).

Real32 is definitely desirable on x86 and amd64.  Reconfiguring the basis 
library to only sometimes compile and export Real32 would be a major 
undertaking.  The platform configurability of the basis library is only on 
a very local level.

Using the software floating-point support seems best.