[MLton-user] profiling timer expired?

[Matthew Fluet]

> 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. This is with MLton 20051202 and options -profile time
> -profile-stack true running on a Fedora Core 3 on an X86_64. Any idea?

That's unusual.  Does your program do anything "unusual": fork threads, 
install other signal handlers, etc.