Welcome to Michael Norrish (http://mlton.org/MichaelNorrish), who has joined the MLton mailing list. Michael is an HOL developer, and has been hearing for some time via Joe Hurd about MLton's problems in compiling the many-hundred-thousand line SML programs needed to use HOL in some scenarios. He hopes to get some variant of HOL working better with MLton. Welcome!