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

Matthew Fluet fluet@CS.Cornell.EDU
Fri, 10 Jan 2003 15:57:15 -0500 (EST)

> > 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!
MLton-devel mailing list