[m-rev.] for review: benchmarking functions and cc_multi preds

[Fergus Henderson]

On 18-Oct-2001, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> Allow the convenient benchmarking of programs such as pseudoknot, in which
> the entity to be benchmarked is not a det predicate.
> 
> library/benchmarking.m:
> 	Add an extra mode to benchmark_det to allow it to benchmark cc_multi
> 	predicates.
> 
> 	Add a new predicate to benchmark functions.

That looks fine.

> Question: should there be a mode for benchmark_func which expects a cc_multi
> function?
...
> +:- pred benchmark_func(func(T1) = T2, T1, T2, int, int).
> +:- mode benchmark_func(func(in) = out is det, in, out, in, out) is cc_multi.

To answer your question: no.
Functions are not allowed to be cc_multi in their forwards mode.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  | "... it seems to me that 15 years of
The University of Melbourne         | email is plenty for one lifetime."
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- Prof. Donald E. Knuth
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------