[MLton] Building MLton

[Daniel C. Wang]

Henry Cejtin wrote:

>The OS can select on a per-process basis which instruction set/mode is used:
>64-bit (also with a few extra registers) or 32-bit (exactly the same as the
>traditional).
>  
>
yeah, I wan't something in the middle.. 64-bit ISA with 32-bit 
addressing. This is how, SML/NJ used to run on 64-bit alpha's if I'm not 
mistaken. There was linker and OS support to deal with apps that only 
used the 32-bit address space.