profiling

Matthew Fluet fluet@CS.Cornell.EDU
Thu, 12 Apr 2001 14:20:54 -0400 (EDT)


> 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