char_type/2, or is it UNICODE?

2015-11-05 17:17:51 +00:00
parent b84262238d
commit 53927de579
2 changed files with 69 additions and 69 deletions
--- a/os/chartypes.c
+++ b/os/chartypes.c
@@ -73,6 +73,8 @@ Term Yap_StringToNumberTerm(char *s, encoding_t *encp) {
  while (*s && iswblank(*s++))
    ;
  t = Yap_scan_num(GLOBAL_Stream + sno);
+  if (LOCAL_Error_TYPE == SYNTAX_ERROR)
+    LOCAL_Error_TYPE = YAP_NO_ERROR;
  Yap_CloseStream(sno);
  UNLOCK(GLOBAL_Stream[sno].streamlock);
  return t;