time bug

Stephen Weeks MLton@sourcelight.com
Fri, 13 Jul 2001 13:41:41 -0700


> Yes, it is on my list to look at, but I really am confused about it.  Can
> you tell what was being subtracted from what?  I.e., is the GC stuff involved?

It does not appear to involve the gc stuff.

The stuff being subtracted is the sum of the user + sys for child and self from
two subsequent calls to MLton_Rusage_ru.