clean_tok should reset ASP properly

This commit is contained in:
Vítor Santos Costa 2015-10-08 10:18:47 +01:00
parent e1f7333e2e
commit 555d146dc5

View File

@ -1116,15 +1116,15 @@ Term Yap_scan_num(StreamDesc *inp) {
ch = getchr(inp); ch = getchr(inp);
} }
if (chtype(ch) != NU) { if (chtype(ch) != NU) {
Yap_clean_tokenizer(NULL, NULL, NULL); Yap_clean_tokenizer((TokEntry *)LOCAL_ScannerStack, NULL, NULL);
return TermNil; return TermNil;
} }
cherr = '\0'; cherr = '\0';
if (ASP - HR < 1024) if (ASP - HR < 1024)
return TermNil; return TermNil;
out = get_num(&ch, &cherr, inp, ptr, 4096, sign); /* */ out = get_num(&ch, &cherr, inp, ptr, 4096, sign); /* */
PopScannerMemory(ptr, 4096); PopScannerMemory(ptr, 4096);
Yap_clean_tokenizer(NULL, NULL, NULL); Yap_clean_tokenizer((TokEntry *)LOCAL_ScannerStack, NULL, NULL);
if (LOCAL_ErrorMessage != NULL || ch != -1 || cherr) if (LOCAL_ErrorMessage != NULL || ch != -1 || cherr)
return TermNil; return TermNil;
return out; return out;