[MLton] cvs commit: -profile count

Stephen Weeks MLton@mlton.org
Tue, 18 May 2004 15:03:05 -0700


> I played around with allowing -profile-branch to apply to all the profile
> kinds, and it seems perfectly reasonable.  The only remaining issue is how
> to export the functionality at the command line. 

Maybe it would be simplest to have the default for -profile-branch
always be false, to expose -profile-branch as a normal option, and to
mention in the -profile count docs that -profile-branch true will be
useful.