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

indexing did not understand unify_list

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@891 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc 2003-10-08 00:47:04 +00:00
parent 920d33a1d8
commit 5f9aedfc3f
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
C/index.c
View File

@ -2062,6 +2062,7 @@ add_arg_info(ClauseDef *clause, PredEntry *ap, UInt argno)
case _unify_l_atom_write: case _unify_l_atom_write:
cl = NEXTOP(cl,oc); cl = NEXTOP(cl,oc);
break; break;
case _unify_float:
case _unify_l_float: case _unify_l_float:
if (argno == 1) { if (argno == 1) {
clause->Tag = AbsAppl((CELL *)FunctorDouble); clause->Tag = AbsAppl((CELL *)FunctorDouble);
@ -2689,7 +2690,10 @@ do_consts(GroupDef *grp, Term t, PredEntry *ap, int compound_term, CELL *sreg, U
max != grp->LastClause) max++; max != grp->LastClause) max++;
if (min != max) { if (min != max) {
if (sreg != NULL) { if (sreg != NULL) {
ics->Label = do_compound_index(min, max, sreg, ap, compound_term, arity, argno+1, nxtlbl, first, last_arg, clleft, top); if (ap->PredFlags & LogUpdatePredFlag && max > min)
ics->Label = suspend_indexing(min, max, ap);
else
ics->Label = do_compound_index(min, max, sreg, ap, compound_term, arity, argno+1, nxtlbl, first, last_arg, clleft, top);
} else if (ap->PredFlags & LogUpdatePredFlag) { } else if (ap->PredFlags & LogUpdatePredFlag) {
ics->Label = suspend_indexing(min, max, ap); ics->Label = suspend_indexing(min, max, ap);
} else { } else {