[MLton] Independent MLton runtimes in separate threads

I have a small ambition to use MLton to compile a program into a library, which I link into a C/C++ program, and then initialise and run more than once in several different machine threads, resulting in separate simultaneous MLton runtimes and heaps that are not aware of each other.

I believe (please correct me if I'm wrong) that this isn't something MLton supports. As I understand it, MLton's initialisation process in a library context involves a single global call to initialise the runtime and no use of "world pointers" to tell one runtime from another.

How fundamental is this limitation?


Chris