wrong usage message for mlprof

Matthew Fluet mfluet@intertrust.com
Fri, 1 Jun 2001 09:49:50 -0700 (PDT)


> The  usage  message in mlprof isn't right.  It indicates no space between the
> `-d' and the number, but a space is required.  (Note, I like the space  being
> required, but the usage message needs fixing.)

Done.

> By  the  way,  I  changed  my  copy of src/runtime/prof.c so that the file it
> generates is called `mlmon.out' instead of `mlprof.out'.  Hopefully the  name
> will  be  less confusing.  Also the usage message in the mlprof program seems
> to think that the file is a gmon.out file, which it  isn't.   (There  was  an
> error in prof.c such that it used glmon.out in some error message).

I made the same changes to my copy of prof.c.  Should we change the magic
value to "MLton mon\n\n"?

I'm looking into the static label problem, although I'm not exactly sure
what the issue is.  The problem with measuring time in code not generated
by the backend is that I'm just guessing where one function begins and
ends.  What should the difference between executing with and without -s
be?