I uploaded an experimental MLton package for Mac OS X that hopefully fixes the time profiling problem that several people had reported. Please try MLton 20051125 and let us know how it works. It's available at http://mlton.org/Experimental Thanks.