[MLton] Shared libraries for MLton

[Jens Axel Søgaard]

Matthew Fluet wrote:
>>  - mlton/main/main.fun
>>     o Added new compiler option -shared-library
>>  - mlton/control/control-flags.sig/sml
>>     o added Control.sharedLibrary, which defaults to false
> 
> Fair enough, though I don't see that they are used at all within the 
> compiler proper.

Is Primitive a better place?

> Makes sense.
> 
>>     o NOTE: The first garbage collection provokes a crash, the
>>             error is probably to be found here.
> 
> That is unfortunate.

Indeed. Fixing it requires a bit more knowledge of the inner
workings of MLton than I have at the moment, so I hope someone
can point in the right direction.

-- 
Jens Axel Søgaard