[MLton] cvs commit: -profile count
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