profiling

Matthew Fluet fluet@CS.Cornell.EDU
Fri, 20 Apr 2001 08:48:13 -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.  

Meant to mention that the update is at
http://www.cs.cornell.edu/People/fluet/MLton/src.tgz