> The profiling section states that the profiler has not been tested > using threads (cml), or signals. Is there a way to quickly find out > the time take for executiont/total allocation of an cml program > compiled by MLton? Regarding time, how about the shell's time function. Regarding allocation, run the executabel with "@MLton gc-summary --".