> 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