> > As to the code in the program being > > profiled, I would still probably vote (weakly) for doing this in C. With the > > global nature of MLton, any ML code could cause changes in other things. > > Vote for doing what in C? I believe he means the atExit stuff. And it is a good point, that we don't want profiling to interfere with optimization of the program -- the easiest way to do that is keep it out of ML.