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

fix saved state bug with comparison predicates

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1145 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc 2004-09-20 04:16:33 +00:00
parent 2e2df1a64f
commit 09293baa7c
2 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
C/dbase.c
View File

@ -673,6 +673,11 @@ static CELL *MkDBTerm(register CELL *pt0, register CELL *pt0_end,
#endif #endif
CELL *CodeMaxBase = CodeMax; CELL *CodeMaxBase = CodeMax;
{int i;
for (i = 0; i < 10; i++)
printf("vsc: Here I go again\n");
}
loop: loop:
while (pt0 <= pt0_end) { while (pt0 <= pt0_end) {

4
C/init.c
View File

@ -504,7 +504,7 @@ Yap_InitCmpPred(char *Name, unsigned long int Arity, CmpPredicate cmp_code, int
Atom atom = Yap_LookupAtom(Name); Atom atom = Yap_LookupAtom(Name);
PredEntry *pe; PredEntry *pe;
yamop *p_code = ((StaticClause *)NULL)->ClCode; yamop *p_code = ((StaticClause *)NULL)->ClCode;
StaticClause *cl = (StaticClause *)Yap_AllocCodeSpace((CELL)NEXTOP(NEXTOP(((yamop *)p_code),llxx),e)); StaticClause *cl = (StaticClause *)Yap_AllocCodeSpace((CELL)NEXTOP(NEXTOP(NEXTOP(((yamop *)p_code),llxx),e),e));
cl->ClFlags = 0; cl->ClFlags = 0;
p_code = cl->ClCode; p_code = cl->ClCode;
@ -524,6 +524,8 @@ Yap_InitCmpPred(char *Name, unsigned long int Arity, CmpPredicate cmp_code, int
p_code->u.llxx.flags = Yap_compile_cmp_flags(pe); p_code->u.llxx.flags = Yap_compile_cmp_flags(pe);
p_code = NEXTOP(p_code,llxx); p_code = NEXTOP(p_code,llxx);
p_code->opc = Yap_opcode(_procceed); p_code->opc = Yap_opcode(_procceed);
p_code = NEXTOP(p_code,e);
p_code->opc = Yap_opcode(_Ystop);
} }
void void