MLton runs fine on Darwin (and on Mac OS X).

Notes

  • MLton requires the GMP library, which is available via Homebrew, MacPorts, and Fink. n

  • 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

  • Executables that save and load worlds on Darwin 11 (Mac OS X Lion) and higher should be compiled with -link-opt -fno-PIE ; see MLtonWorld for more details.

  • 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.

Also see