Hi John. I thought you might like to know about our recent port of MLton to Darwin/PowerPC. If you want to try it out, there's an experimental binary package at http://www.mlton.org/experimental/mlton-20040927-1.powerpc-darwin.tgz