If anyone wants to try out a MLton on Darwin, I've put up an experimental binary package at http://www.mlton.org/experimental/mlton-20040927-1.powerpc-darwin.tgz