eyeprolog 1.2.20 → 1.2.21

package/package.json

@@ -3,7 +3,7 @@
   "publishConfig": {
     "access": "public"
   },
-  "version": "1.2.20",
+  "version": "1.2.21",
   "description": "EyeProlog turns facts and rules into answers and proofs.",
   "type": "module",
   "main": "./index.js",

package/src/parser.js

@@ -436,7 +436,16 @@ class Parser {
         if (!value || (value !== ' ' && isWhitespaceCode(value.charCodeAt(0)))) {
           throw new Error(`parse line ${line}: bad character code constant`);
         }
-        if (value === '\\') value = this.readEscape(line, { allowContinuation: false });
+        if (value === "'") {
+          // In the single-quoted-character notation used after 0', an
+          // apostrophe is doubled just as it is inside a quoted atom. Thus
+          // 0''' is one numeric token denoting character code 39, while the
+          // undoubled 0'' is not a complete single quoted character.
+          if (this.peek() !== "'") throw new Error(`parse line ${line}: bad character code constant`);
+          this.take();
+        } else if (value === '\\') {
+          value = this.readEscape(line, { allowContinuation: false });
+        }
         const code = value.codePointAt(0);
         return { type: TOK.NUMBER, text: String(negative ? -code : code), line };
       }

package/test/run-regression.mjs

@@ -538,6 +538,35 @@ c4 ?- call((!;1)).
         }
       },
     },
+    {
+      name: 'apostrophe character-code constants parse in source and number conversion',
+      run: () => {
+        const source = String.raw`
+?- N = 0'''.
+   N = 39.
+?- number_chars(N,"0'''").
+   N = 39.
+?- number_chars(N,"0'\\'").
+   N = 39.
+?- number_codes(N,[48,39,39,39]).
+   N = 39.
+`;
+        const result = publicApi.runQuads(source);
+        assertEqual(result.total, 4, 'quad total');
+        assertEqual(result.passed, 4, 'quad passed');
+        assertEqual(result.stdout, 'quads: 4 run, 4 passed, 0 failed.\n', 'quad report');
+
+        for (const goal of ["N = 0''", 'number_chars(N,"0\'\'")']) {
+          let caught = null;
+          try {
+            publicApi.run('', { goal });
+          } catch (error) {
+            caught = error;
+          }
+          if (caught == null) throw new Error(`${goal} should reject an undoubled apostrophe`);
+        }
+      },
+    },
     {
       name: 'number conversion rejects parenthesized numeric terms',
       run: () => {

package/the-art-of-eyeprolog.md

@@ -5776,8 +5776,9 @@ minus token and the following numeric token. A single-line `%...` comment may
 therefore follow `-` directly because `%` cannot continue a graphic token; an
 adjacent bracketed comment in `-/**/1` remains a syntax error under the eager
 token-consumer rule. Decimal fractions and decimal exponents are supported;
-trailing material and non-finite values are rejected. The regression gate
-vendors all 74 numbered cases from Ulrich Neumerkel's contemporary
+the apostrophe character code is written with a doubled apostrophe as `0'''`
+and has value 39. Trailing material and non-finite values are rejected. The
+regression gate vendors all 74 numbered cases from Ulrich Neumerkel's contemporary
 `number_chars/2` comparison, including the Cor.2 error-precedence cases;
 `number_codes/2` shares the same numeric parser and has mirrored coverage for
 the recent numeric-syntax regressions.