> I have one suggestion for the profiling output. I find -d 1 and -d 2 too busy. > How about just printing the first number in each column, like the following? Easy enough. The (undocumented) -b option will make the output busy. I also removed the -k option. The new main.sml is at http://www.cs.cornell.edu/People/fluet/MLton/mlprof-main.tgz