[m-rev.] diff: implement benchmarking for erlang

[Julien Fischer]

On Tue, 25 Sep 2007, Peter Wang wrote:

> Estimated hours taken: 0.5
> Branches: main
>
> library/benchmarking.m:
> 	Implement `report_stats' and do_nothing for Erlang backend.

Is there any reason you've quoted one of those and not the other?

> 	Add a comment that the benchmark_* procedures have a side effect on
> 	`report_stats' in Erlang (fixing this raises its own issues).
>
> README.Erlang:
> 	Remove `benchmarking' and `dir' from the completely unimplemented
> 	library modules list.

Are they completely implemented now or are they on the sort-of 
implemented list?

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