Just curious, but are their plans to bootstrap with the bytecode version of the compiler? I'm assuming the bytecode interpreter is easier to port than a big C file produced by MLton. It would be really nice, if I can just checkout MLton sources from CVS and compile with just a C compiler installed on any platform I can get the runtime to compile on. I know Ocaml bootstraps this way.