[MLton] Windows ports and paths

[Matthew Fluet]

> On Tue, May 03, 2005 at 06:18:25PM -0400, Matthew Fluet wrote:
> > > By the way... This might also make good sense for all of those -target-*
> > > opts. We discussed this before. I think -target-cc-opt sparc '...' is silly.
> > 
> > The -target-cc-opt stuff is for cross-compiling.
> 
> Ahh, right.
> Though, mlton-script could read the -target option as easily as @MLton.

But then you have two places where you are doing argument processing -- 
one in the script and on in the compiler proper.  Doing it all in one 
place is really the better options.

Also, note that the "processing" of @MLton is simply to move all the 
@MLton arguments to the beginning of the arguments passed to the compiler 
proper.