[MLton] Question on profile.fun

[Matthew Fluet]

After a little more investigating, I think I need to revise some 
statements:

> I tried the following experiment.  Added a flag  
>      -profile-dummy {false|true}  
> which instructs  profile.fun(line 447)  to, in addition to any other 
> profiling work, insert code to increment a dummy field in the gcState at 
> _every_  Profile statement in the RSSA IL program.  While this isn't 
> exactly the work required to modify time profiling as I described 
> previously, I figure that it is about on par with that work.  (Possibly 
> more, since -profile-include/exclude flags may not require every Profile 
> statement to actually modify the current state.)

Actually, I now see that the spot where I inserted the dummy increment is
after an analysis to prune redundant profile statements, so it isn't 
likely to be any more work than what I had described previously.