diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

use correct tests.

Browse Source
This commit is contained in:
Vitor Santos Costa 2010-03-14 09:31:04 +00:00
parent 2ba051e908
commit 3683da028a
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
C/tracer.c
View File

@ -113,7 +113,7 @@ check_trail_consistency(void) {
} else { } else {
if (IsPairTerm(TrailTerm(ptr))) { if (IsPairTerm(TrailTerm(ptr))) {
CELL *p = RepPair(TrailTerm(ptr)); CELL *p = RepPair(TrailTerm(ptr));
if (p < H0) continue; if IsAttVar(p) continue;
} }
printf("Oops at call %ld, B->cp(%p) TR(%p) pt(%p)\n", vsc_count,B->cp_tr, TR, ptr); printf("Oops at call %ld, B->cp(%p) TR(%p) pt(%p)\n", vsc_count,B->cp_tr, TR, ptr);
return(FALSE); return(FALSE);

4
H/amiops.h
View File

@ -354,7 +354,7 @@ Binding Macros for Multiple Assignment Variables.
#define BIND_GLOBALCELL(A,D) *(A) = (D); \ #define BIND_GLOBALCELL(A,D) *(A) = (D); \
if ((A) >= HBREG) continue; \ if ((A) >= HBREG) continue; \
TRAIL_GLOBAL(A,D); if ((A) >= H0) continue; \ TRAIL_GLOBAL(A,D); if (!IsAttVar(A)) continue; \
Yap_WakeUp((A)); continue Yap_WakeUp((A)); continue
#define BIND_GLOBALCELL_NONATT(A,D) *(A) = (D); \ #define BIND_GLOBALCELL_NONATT(A,D) *(A) = (D); \
@ -502,7 +502,7 @@ Yap_unify_constant(register Term a, register Term cons)
BIND(pt,cons,wake_for_cons); BIND(pt,cons,wake_for_cons);
#ifdef COROUTINING #ifdef COROUTINING
DO_TRAIL(pt, cons); DO_TRAIL(pt, cons);
if (pt < H0) Yap_WakeUp(pt); if (IsAttVar(pt)) Yap_WakeUp(pt);
wake_for_cons: wake_for_cons:
#endif #endif
return(TRUE); return(TRUE);