Polyspace and a MLton cross-compiler

[Stephen Weeks]

> Congratulations!  Can you elaborate on what their changes
> entail, and what work will be involved to transform
> MLton into a cross-compiler for Windows NT/2000?

I won't know 'til I build it, but it will at least involve hooking
into cygwin, getting the constants right, massaging the system calls
in the basis library implementation, and making the runtime work on
windows.

> Wasn't Anon of the Sun working on a similar idea?  

Yes, he had 1999-7-12 working and had started with 20010806, but never
finished.