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

[Ian MacLarty]

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.

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