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

[Ian MacLarty]

On Mon, Sep 25, 2006 at 09:05:03PM +0200, Peter Ross wrote:
> Hi,
> 
> Provided no-one sees problems with this change.  The next plan is
> to add a library module which allows one to turn profiling on and
> off as impure predicates.
> 

I don't think they need to be impure, since they can go inside trace
goals (and therefore have access to the IO state).

What about adding the new preds to the benchmarking module instead of
adding a new 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
--------------------------------------------------------------------------