[MLton-user] profiling timer expired?

[Matthew Fluet]

> "Matthew" == Matthew Fluet <fluet at cs.cornell.edu> scrawls:
>
>    >> "Profiling timer expired"
>
>    Matthew> That's unusual.  Does your program do anything "unusual":
>    Matthew> fork threads, install other signal handlers, etc.
>
> The program is Twelf (the CVS version), and it sets a handler for SIGINT
> (I don't believe it forks any threads). Although, in the way I am using
> it I don't actually need this, so I will try turning it off and see if
> that helps.

The CVS version of Twelf currently doesn't compile for me; looks like the 
mlton/twelf-server.cm file isn't listing files in dependency order.