[MLton-user] time profiling (OS X)

[Matthew Fluet]

> 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.

Time profiling is broken when the C-codegen is used with gcc 4.  This 
happens to be a common scenario on MacOS X.

> I'm interested in getting time profiling to work.

As are we.

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

We're trying to find a robust solution.  We'll probably announce a new 
experimental release or at least the availability of new code in the SVN 
tree.