[m-rev.] for post-commit review: move the report*stats predicates to benchmarking.m

Julien Fischer jfischer at opturion.com
Mon Mar 7 20:39:03 AEDT 2022


On Mon, 7 Mar 2022, Zoltan Somogyi wrote:

> For review by anyone. The concept has been agreed and the
> move is straightforward. The things worth reviewing are the
> changes to NEWS, and the obsoleting of the impure, non-IO
> versions of the moved predicates.

I've committed a small correction to the NEWS file; the rest
looks fine.

Julien.


More information about the reviews mailing list