new mlton script
Stephen Weeks
MLton@sourcelight.com
Sun, 24 Jun 2001 15:43:49 -0700
> My claim is that the reason flags incorrectly keep getting added to the mlton
> shell script is that it should accept run-time options, just like MLton
> executables do.
Agreed.
> Any way, I have cleaned up the mlton shell file so that it will now not be
> confused by any of these things. I include here 2 versions: mlton which only
> runs a MLton compiled MLton, and mlton+nj which does the usual. Just like a
> real language, you have to use functions in the shell to get the quoting to
> come out correctly. Note, even this version will get confused if some one
> tries to use an argument to the run-time system which has blanks or shell
> glob characters in it. Pick the one you like, but definitely take one or the
> other. I guess that the real argument for the mlton+nj one is for the
> initial compile.
Thanks very much. I'll keep the mlton+nj one.