[MLton] commit r4899: Announcing merge of x86_64 branch revisions into trunk

[Matthew Fluet]

>>>>> Although the changeset is huge, there should be few user visible
>>>>> changes.
>>>>
>>>> It should go without saying: please try it out (especially on non-linux,
>>>> non-darwin, and non-x86 platforms) and report any issues.
>>>
>>> What's the procedure for building it?
>>
>> Should have said: Ubuntu/Linux amd64, gcc 4.03,
>> no 32 bit support.
>
> Specifically 'make' bugs out because it tries to use
>
> gcc -m32 -lc
>
> so it isn't getting the system arch right.

It is just general changes to the runtime; it's not a 64bit port.