\-RTL and mlton

[Matthew Fluet]

>  > Alternatively, I believe that you can just have at the end of your sources
>  > 
>  > val _ = f (CommandLine.name (), CommandLine.arguments ())
>  > 
>  > where f is the function you were passing to exportFn.
> 
> The problem with this alternative is that I want lrtl to use a
> two-stage computation.  The first run builds a binary that is then run
> repeatedly.   The first should really be called `mklrtl'.

Ahh.  You mean processing the initial \-RTL basis library.  Then the
exportFn (with the underlying World.save) is the right way to go.