[m-dev.] for review: cleanup of tabling

[Zoltan Somogyi]

> > @@ -289,6 +312,10 @@
> >  	if (! MR_trace_internal_initialized) {
> >  		char	*env;
> >  		int	n;
> > +#ifdef	MR_TABLE_DEBUG
> > +		MR_saved_tabledebug = MR_tabledebug;
> > +		MR_tabledebug = FALSE;
> > +#endif
> 
> Hmm, that appears to be the only use of `MR_saved_tabledebug':
> you assign to it, but as far as I can tell it is never referenced.

You are right. I originally wanted to turn off MR_tabledebug when entering
initialization and turn it back on when leaving initialization, but forgot
that initialization only queues commands for execution, but does not execuute
them. I thought I had removed all of the code I inserted in this exercise,
but it seems I didn't.

Both the code above and the global variable it refers to are now deleted.

Zoltan.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------