[MLton-user] profiling timer expired?

[Stephen Weeks]

> I'm trying to use mlprof, but my program runs, and when it finished I
> get a message saying "Profiling timer expired", and I get no
> mlmon.out.

It would be helpful to see an strace of the program while it's
running.  What system call is failing?  Does it make to the clearing
of the itimer at the end?  It should look something like

  setitimer(ITIMER_PROF, {it_interval={0, 0}, it_value={0, 0}}, NULL) = 0