[MLton-user] time profiling (OS X)

brian denheyer briand@aracnet.com
Mon, 14 Nov 2005 19:41:06 -0800


Looks as though there is a lot of activity regarding time profiling  
on OS X (is it broken on other OS'es ?), if I'm interpreting things  
correctly.

I'm interested in getting time profiling to work.

At the very least I'm happy to try out patches under OS X for time  
profiling or anything else.  Should I just start using the svn tree   
or wait for the next experimental release ?



Thanks

Brian