[MLton] mingwows

Stephen Weeks MLton@mlton.org
Thu, 10 Nov 2005 21:06:01 -0800

> if I get the mlton binaries, but have to install them in some weird
> place or some such, before I can run them then I am pimped if I have
> to run them to change the driver program.  With a shell script, I
> can just edit it.

That's a very compelling argument, and probably the most common
situation where one needs to modify the driver.  So I now agree with
you; it's better to use a script.