> (Should this thread be moved to the developer list?) Yes. Interested readers of MLton-user can follow up via the archives.