[m-rev.] for review: programatically turn profiling on and off

[Ralph Becket]

Zoltan Somogyi, Wednesday, 27 September 2006:
> 
> I have an objection to the name; it is far too general. I would prefer
> something like "performance_measurement" or an abbreviation.

Seconded.  What about "perf_stats"?
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------