[m-rev.] diff: add library routines for controlling profiling

[Julien Fischer]

On Wed, 27 Sep 2006, Ian MacLarty wrote:

> On Wed, Sep 27, 2006 at 08:19:41AM +0200, Peter Ross wrote:
>> Hi,
>>
>>
>> ===================================================================
>>
>>
>> Estimated hours taken: 1
>> Branches: main
>>
>> library/benchmarking.m:
>> 	Programmatically turn profiling on and off.
>>
>>
>> Index: library/benchmarking.m
>> ===================================================================
> ...
>> +    %
>> +    % Turn off or on the collection of all profiling statistics.
>> +    %
>
> I think you should give a more detailed description.  You should at
> least mention what grades this has any effect in.
>

And that in grades where it has no effect that it is a no-op.

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