Polyspace and a MLton cross-compiler

[Stephen Weeks]

> Yikes.   I'm  very glad (and not at all surprised) that they grabbed you, but
> quite sad about the Windows aspect.  This is really  very  very  unfortunate.
> Is  MLton source going to get filled up with horrible things to hide the fact
> that under Windows lines end with carriage-return and line-feed (even  though
> ASCII  discourages  this)?   If  yes than it will be incredibly ugly.  If not
> then it will be a royal pain for people working under Windows.

I will do my best to keep things clean, and I am sure you will keep an
eye on me.

> Is your notion that MLton (the compiler) will only run under Linux  but  will
> produce Windows executables?  That would be better, but still not great.

Our agreement only requires that their apps be able to work on
Windows.  This does not include MLton.  So, it won't be a priority to
run MLton on Windows.