profiling

[Matthew Fluet]

> > And I think that's it.  I'm running regressions and benchmarks now, and
> > I'll run a self-compile, regressions, and benchmarks tonight on a faster
> > machine.  But, let me know if there are any objections/modifications to
> > the changes outlined above.
> 
> How did all the tests go?

No problems.  You mentioned a few weeks ago that you were getting Time
exceptions with one of the timeBug.sml files I had put together, after the
previous round of time fixes. If you can recall which one was doing it,
I'll check those, but I had never generated that behavior.