[MLton] cvs commit: -profile count

Stephen Weeks MLton@mlton.org
Thu, 13 May 2004 11:44:55 -0700

> Does -profile-branch apply to all the profile kinds?

No, but I guess it could, although I would want the default for
-profile time and -profile alloc to be -profile-branch false, since
that's the current behavior.

The relevant code is in elaborate-core.fun if you want to play around
with it.