mlprof bug

Stephen Weeks MLton@sourcelight.com
Mon, 21 Jan 2002 11:35:29 -0800


> I would vote for 4.  Why not just do it in place?

I don't really mind that either.  It is slower, but who cares.  But if
there is a general problem with File.move, (2) might be nice to do
independently of (4).