time bug

[Matthew Fluet]

  This message is in MIME format.  The first part should be readable text,
  while the remaining parts are likely unreadable without MIME-aware tools.
  Send mail to mime@docserver.cac.washington.edu for more info.

---559023410-1804928587-985699732=:24526
Content-Type: TEXT/PLAIN; charset=US-ASCII


> > Steve, I'm also curious if you were able to recreate the bug on your
> > system with the mlton-20010321 version and the timeBug{1,2}.sml files.
> 
> I was a bit confused as to which was timeBug1.sml and which was timeBug2.sml.
> Could you please resend them.

Here's bugs.tgz.  

timeBug1 is the original version, with 
  fun times () =
    let
      val {cstime, cutime, elapsed, stime, utime} = Posix.ProcEnv.times ()
    in
      {cstime = cstime,
       cutime = cutime,
       elapsed = elapsed,
       gc = MLton.GC.time (),
       stime = stime,
       utime = utime}
    end

timeBug2 (which shouldn't have any bugs under the changes to the runtime
and basis library) uses
  fun timesPre () =
    let
      val {cstime, cutime, elapsed, stime, utime} = Posix.ProcEnv.times ()
      val gc = MLton.GC.time ()
    in
      {cstime = cstime,
       cutime = cutime,
       elapsed = elapsed,
       gc = gc,
       stime = stime,
       utime = utime}
    end

  fun timesPost () =
    let
      val gc = MLton.GC.time ()
      val {cstime, cutime, elapsed, stime, utime} = Posix.ProcEnv.times ()
    in
      {cstime = cstime,
       cutime = cutime,
       elapsed = elapsed,
       gc = gc,
       stime = stime,
       utime = utime}
    end



---559023410-1804928587-985699732=:24526
Content-Type: APPLICATION/octet-stream; name="bugs.tgz"
Content-Transfer-Encoding: BASE64
Content-ID: <Pine.SOL.3.95.1010327082852.24526B@hoho.cs.cornell.edu>
Content-Description: 

H4sIALOTwDoAA+1WS0/bQBDOlfyKUS5xinHXSexIqeBQVHFpJQ65UVQFxw5WzTqK14gK+O/M7MOx
SaC8UoS63wGz37x3BnbOynnxubVdMDZkoyDAL2OjsPnVaLFRP2S+74fBoIVfhuoQbDkvibIQ0yVA
K8nKWDyi9zf5B8UZ9V+kF/HXcu57xUW2hRjMZywcDh/qfz8Ifep/MBqywSAcof6gHw5bwLaQyxr+
8/63szyaZtAGyBcxhwlOQhsP4s8iBgH7IBoEHgrYxyPAtfwJUUHkGISrz2XzHGfTRRHPVsQ8Wv1+
z9aYqtMthU1KrqM6PR04i7UCXGLi1yoBVwd2TUAXNC/pW6zkOC/SK+94mUff+KVnnEpXKdcetTfU
1m41r70TXzZ4HQ0FJq6RzCMkf3wXOfeODmU4jFZJTZhmFBNE5SzZmM/q9/Dka5hHzRtwwfO8W93Q
9cIdXfiuqXQXDFE57FUJSTNKKTqPo980M5DAFJ1vyMwR0lZHNoGV+SzntYqM7Y4x7JJlt26qRROi
urAHlfLRIVKojNw8au9ggihIE+IPYEIHHOFzHPDFMuUCy815NBVw0pFD3nHbOwgqxEsuBIQ0ksR0
VBvX5Xi9WgHz2Oigu/KwWQN5ozLZqDAxYlncuvzoUCv85J3Tnqoxzgp1UdSmZoepQ2dxki9jc++r
hsopo44UPI/AuXJPTunaT65OUeWmYs/HY0E8fh3ikBLkpU0tkEpjcOh+PwH9zNIC1fcOqgP9/VQT
Q/oqaJbnC3CYCxk5z2RIxXHD4cnhe74ro3I3w6gyqFSreyVCeZ3lqZDDpax9+da4gJUpUymvmxKh
TJfxIsbpcBIXGDmQQ3tTp7mkE5R8adA4f77J7ReqGBn5dsFnvfZ7/8O/h/r733+f938Q+P3V+x+E
6v1n9v3/F/go7//x8ulv30tWAOVq46O93RWBXpJXLgUF1iUeup2HS/oIC9Qb3M5zJufxrUl5es3i
VE/rkZ49Ny/l6n02utqlvGCpM6nbxc4udnaxs7CwsLCwsLCwsLCwsLCwsLCwsLB4Q9wB0GLvtQAo
AAA=

---559023410-1804928587-985699732=:24526--