- early_reset and simple_shunting on
- fix non early_reset git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@10 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
parent
71c18ef912
commit
c5c775f933
@ -22,8 +22,8 @@ static char SccsId[] = "%W% %G%";
|
|||||||
#include "yapio.h"
|
#include "yapio.h"
|
||||||
|
|
||||||
|
|
||||||
/* #define EARLY_RESET 1 */
|
#define EARLY_RESET 1
|
||||||
/* #define SIMPLE_SHUNTING 1 */
|
#define SIMPLE_SHUNTING 1
|
||||||
|
|
||||||
#ifdef MULTI_ASSIGNMENT_VARIABLES
|
#ifdef MULTI_ASSIGNMENT_VARIABLES
|
||||||
/*
|
/*
|
||||||
@ -1035,8 +1035,10 @@ mark_trail(tr_fr_ptr trail_ptr, tr_fr_ptr trail_base, CELL *gc_H, choiceptr gc_B
|
|||||||
RESET_VARIABLE(&TrailVal(trail_ptr));
|
RESET_VARIABLE(&TrailVal(trail_ptr));
|
||||||
#endif
|
#endif
|
||||||
#else
|
#else
|
||||||
|
printf("should be doing early reset\n");
|
||||||
/* if I have no early reset I have to follow the trail chain */
|
/* if I have no early reset I have to follow the trail chain */
|
||||||
mark_external_reference(&TrailTerm(trail_ptr));
|
mark_external_reference(&TrailTerm(trail_ptr));
|
||||||
|
UNMARK(&TrailTerm(trail_ptr));
|
||||||
#endif /* EARLY_RESET */
|
#endif /* EARLY_RESET */
|
||||||
} else {
|
} else {
|
||||||
if (hp < (CELL *)HeapTop) {
|
if (hp < (CELL *)HeapTop) {
|
||||||
|
Reference in New Issue
Block a user