I have no notions of what is appropriate under Windows (other than booting Linux :>), but under Linux it is VERY good to use a script (instead of a compiled program) to run the compiler. The reason is that the script is both readable (ok, not so trivially) and modifiable, even if you do NOT have MLton working yet. I'd hate to have it replaced by a compiled program, even if it was written in ML.