Re: [Xsb-development] IGNORE_DELAYVAR

[Baoqiu C. <cbaoqiu@Cs.SunySB.EDU>]

Hi Terry,

The macro IGNORE_DELAYVAR was added *just* to help Kostis find a bug in
GC (as I remember).  I think we don't need it anymore, and you can take
it out wherever you think it bothers you (unless Kostis objects).  (It
was a pain to add all those ``ifndef IGNORE_DELAYVAR'' then :-( )

The following is the change log about this macro.  It gives you more
information:
------------------------------------------------------------------------
1999-09-18  Baoqiu Cui  <cb...@cs...>

	* /cvsroot/xsb/XSB/emu/tries.c, /cvsroot/xsb/XSB/emu/tr_delay.h, /cvsroot/xsb/XSB/emu/slginsts.i, /cvsroot/xsb/XSB/emu/slgdelay.c, /cvsroot/xsb/XSB/emu/residual.c, /cvsroot/xsb/XSB/emu/complete.i:
	Put some delay-variable stuff into ``#ifndef IGNORE_DELAYVAR'' (to
	help Kostis debug).  By doing this, we make sure that no substitution
	factor of the answer is put into the heap.  [To disable delay-variable
	handling, one can put ``#define IGNORE_DELAYVAR'' in the file
	$XSB/emu/debugs/debug_delay.h.]
------------------------------------------------------------------------

Best,
- Baoqiu

Terrance Swift writes:
 > 
 > There are a lot of IGNORE_DELAYVAR macros in the code.  Do I understand
 > that they were included when code was added to handle variables in
 > delay lists under the partial stable models semantics (e.g. what Bao
 > did a couple of years ago).  If so, is this code still needed, or can
 > I take it out when I come across it?
 > 
 > Thanks,
 > 
 > Terry