[MLton-user] profiling timer expired?

Jake Donham jdonham at cs.cmu.edu
Thu Sep 21 15:16:38 PDT 2006


Hi,

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? 
Thanks,

Jake



More information about the MLton-user mailing list