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

[Ralph Becket]

Ian MacLarty, Wednesday, 27 September 2006:
> 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?

That's a good point, too.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------