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

[Matthew Fluet]

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




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