profiling

Matthew Fluet fluet@CS.Cornell.EDU
Fri, 20 Apr 2001 08:42:19 -0400 (EDT)


> OK.  Let's stick with times.  But it will be (yet another) part of the basis
> library that we avoid, i.e., times isn't used anymore in MLton, right?

Correct.