[MLton-user] The -runtime command line switch

Joe Hurd Joe Hurd <joe.hurd@comlab.ox.ac.uk>
Tue, 27 Sep 2005 19:55:36 +0100


> Good questions.  I've hopefully answered them above, as well as at
>   http://mlton.org/CompileTimeOptions

Thanks very much for your help: the crucial thing I was missing was
that -runtime effectively wraps its argument with @MLton at the start
and -- at the end, so -runtime stop doesn't require a -- terminator.

Joe