[MLton-devel] cvs commit: source-level profiling

[Stephen Weeks]

> > > Is there still a user/developer distinction in reporting <basis>
> > > functions?  I noticed that the shouldPush function disappeared a number of
> > > checkins ago, but I don't know if something replaced it.
> >
> > shouldPush's behavior got folded into enter.  The behavior didn't
> > change much.
> 
> Any objections to a -profile-basis {false|true} expert option governing
> this behavior?

nope


-------------------------------------------------------
This SF.NET email is sponsored by:
SourceForge Enterprise Edition + IBM + LinuxWorld = Something 2 See!
http://www.vasoftware.com
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel