mlprof bug

Stephen Weeks MLton@sourcelight.com
Mon, 21 Jan 2002 12:09:20 -0800


> Yes,  renaming files pretty much always visibly different semantics, so it is
> NOT correct to do it in most cases.
...

OK.  I'm convinced that (2) is complicated enough that until we really
need it we should wait.  I'll make the change to mlprof for (4).