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

[Ian MacLarty]

On Wed, Sep 27, 2006 at 12:10:12PM +1000, Ralph Becket wrote:
> 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"?

Isn't that the same as benchmarking?  What will be the difference
between this new module and the benchmarking module?

Ian.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------