[MLton] Windows 7 x64 vs MLton r7999

[Matthew Fluet]

On Tue, 7 Jul 2009, Wesley W. Terpstra wrote:
> On Tue, Jul 7, 2009 at 1:09 AM, Wesley W. Terpstra <wesley at terpstra.ca>wrote:
>> If I modify bin/platform to report amd64, the regressions run clean. The
>> problem is that 'uname -m' reports i686 on both win32 and win64. I don't
>> think there is a good way to tell the difference since msys/uname are 32-bit
>> apps in both cases.
>
> I lie! Here's how to reliably detect the system arch/os:
>
> mlton -target XXX -verbose 2 | grep "target arch" | cut -d" " -f6 | tr
> "[A-Z]" "[a-z]"
>
> I'm only half joking. The regression script is going to use mlton -target
> XXX anyway. Why use bin/platform?

Well, I don't think this works when cross compiling and running the 
regressions.  Also, the number of regressions that "fail" when picking the 
wrong *.ok file is fairly small, and it is easy to eyeball the ones that 
are not really failures.