[m-rev.] for review: remove a slow declarative debugger consistency check.

[Ian MacLarty]

On Fri, Apr 15, 2005 at 12:45:44PM +1000, Ian MacLarty wrote:
> On Fri, Apr 15, 2005 at 09:25:40AM +1000, Zoltan Somogyi wrote:
> > On 14-Apr-2005, Ian MacLarty <maclarty at cs.mu.OZ.AU> wrote:
> > > Remove the search space consistency check from decide_analyser_response/4.
> > 
> > It would be better to leave the checks in, but execute them only if a flag
> > is set, with the flag being clear by default.
> > 
> 

I've also put the following at the top of declarative_edt.m:

% When debugging, a search space consistency check can be turned on by
% compiling with the C macro MR_DD_CHECK_SEARCH_SPACE defined (i.e. by
% putting "EXTRA_CFLAGS=-DMR_DD_CHECK_SEARCH_SPACE" in Mmake.browser.params).
%

Ian.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------