[m-dev.] unsafe.m in library directory

Ian MacLarty maclarty at csse.unimelb.edu.au
Tue Mar 6 17:28:09 AEDT 2007

On Tue, Mar 06, 2007 at 04:36:00PM +1100, Julien Fischer wrote:
> I'm planning to remove this in the next couple of days unless
> anyone objects.  (Now that trace goals have been added and
> are fairly stable it is redundant.)

While you're at it, could you add pure versions of benchmarking.report_stats
and friends and add pragma obsolete declarations to the impure ones?
The impure benchmarking predicates are unnecessary now that we have
trace goals.

mercury-developers mailing list
Post messages to:       mercury-developers at csse.unimelb.edu.au
Administrative Queries: owner-mercury-developers at csse.unimelb.edu.au
Subscriptions:          mercury-developers-request at csse.unimelb.edu.au

More information about the developers mailing list