delay unification with start of term, in case we come up with comments.
This commit is contained in:
parent
a84b865231
commit
4e5c3b9103
@ -568,11 +568,6 @@ static Int
|
|||||||
return FALSE;
|
return FALSE;
|
||||||
}
|
}
|
||||||
LOCAL_Error_TYPE = YAP_NO_ERROR;
|
LOCAL_Error_TYPE = YAP_NO_ERROR;
|
||||||
tpos = Yap_StreamPosition(inp_stream);
|
|
||||||
if (!Yap_unify(tpos,ARG5)) {
|
|
||||||
/* do this early so that we do not have to protect it in case of stack expansion */
|
|
||||||
return FALSE;
|
|
||||||
}
|
|
||||||
while (TRUE) {
|
while (TRUE) {
|
||||||
CELL *old_H;
|
CELL *old_H;
|
||||||
int64_t cpos = 0;
|
int64_t cpos = 0;
|
||||||
@ -621,6 +616,10 @@ static Int
|
|||||||
break;
|
break;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
if (!Yap_unify(tpos,ARG5)) {
|
||||||
|
/* do this early so that we do not have to protect it in case of stack expansion */
|
||||||
|
return FALSE;
|
||||||
|
}
|
||||||
LOCAL_Error_TYPE = YAP_NO_ERROR;
|
LOCAL_Error_TYPE = YAP_NO_ERROR;
|
||||||
/* preserve value of H after scanning: otherwise we may lose strings
|
/* preserve value of H after scanning: otherwise we may lose strings
|
||||||
and floats */
|
and floats */
|
||||||
|
Reference in New Issue
Block a user