Notes
-
MLton requires the GnuMP library, which is available via Fink or MacPorts.
-
For Intel-based Macs, MLton targets the AMD64 architecture on Darwin 10 (Mac OS X Snow Leopard) and higher and targets the x86 architecture on Darwin 8 (Mac OS X Tiger) and Darwin 9 (Mac OS X Leopard).
Known issues
-
ProfilingTime may give inaccurate results on multi-processor machines. The SIGPROF signal, used to sample the profiled program, is supposed to be delivered 100 times a second (i.e., at 10000us intervals), but there can be delays of over 1 minute between the delivery of consecutive SIGPROF signals. A more complete description may be found here and here.