[MLton] cvs commit: -profile count

Matthew Fluet fluet@cs.cornell.edu
Thu, 13 May 2004 14:40:30 -0400 (EDT)


>   There is also an expert flag that controls whether branches are
>   profiled.
>
>   	-profile-branch {true|false}

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