[m-rev.] for review: dumping trace counts

[Ian MacLarty]

On Mon, Sep 25, 2006 at 03:58:05PM +1000, Julien Fischer wrote:
> 
> On Mon, 25 Sep 2006, Zoltan Somogyi wrote:
> 
> >For review by anyone.
> >
> >Question for reviewers: should the dump_trace_counts_to predicate be moved
> >to a library module to make it available to other programs, and if so, 
> >which
> >one and with what name?
> 
> Yes, the io module and io.write_trace_counts. (or alternatively you could
> add an impure version to benchmarking.)
> 

Note that the preds in benchmarking can be made pure now that we have
trace goals (by adding io state args).

I'd therefore say it should be benchmarking.write_trace_counts and be
pure (with io state args).

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