eyeprolog 1.3.46 → 1.3.47

package/package.json

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

package/src/iso.js

@@ -1772,7 +1772,7 @@ function validCharacterCode(value, solver = null) {
 function listToAtomInput(list, env, kind, solver = null) {
   const { items, tail } = listElements(list, env);
   if (tail.type === VAR || items.some((item) => item.type === VAR)) throw new PrologError('instantiation_error');
-  if (tail.type !== ATOM || tail.name !== '[]') throw new PrologError('type_error(list)', tail);
+  if (tail.type !== ATOM || tail.name !== '[]') throw new PrologError('type_error(list)', list);
   if (kind === 'chars') {
     const invalid = items.find((item) => !oneChar(item));
     if (invalid) throw new PrologError('type_error(character)', invalid);
@@ -2228,7 +2228,11 @@ function* callBuiltin({ solver, goal, env }) {
 function* callClosureBuiltin({ solver, goal, env }) {
   const closure = callable(goal.args[0], env);
   const existing = closure.type === COMPOUND ? closure.args : [];
-  const invoked = compound(closure.name, [...existing, ...goal.args.slice(1)]);
+  const extra = goal.args.slice(1);
+  if (existing.length + extra.length > ISO_MAX_ARITY) {
+    throw new PrologError('representation_error(max_arity)');
+  }
+  const invoked = compound(closure.name, [...existing, ...extra]);
   if (closure.module != null) invoked.module = closure.module;
   const child = solver.cloneForInnerGoal();
   try {

package/test/conformance/ISO-COMPLIANCE.md

@@ -110,6 +110,15 @@ EyeProlog-only evaluable atom `e`, while the Corrigendum arithmetic additions
 remain available. These corrections narrow the remaining `audit` rows but do
 not by themselves close the full shall-by-shall/error-order exit criteria.
 
+The next Corrigendum 2 pass closes two smaller prescribed-error gaps.
+`call/2..8` now raises `representation_error(max_arity)` when appending its
+extra arguments would make the resulting goal exceed the declared `max_arity`,
+rather than falling through to a procedure-existence error. Reverse
+`atom_chars/2` and `atom_codes/2` now report the complete improper `List`
+argument as the culprit of `type_error(list, List)`, as required by the
+Corrigendum 2 replacement error clauses. Dedicated strict-core regressions pin
+both behaviors.
+
 ## Strict-core boundary
 
 `isoStrict: true` is intentionally a **Part 1 + Corrigenda 1-3** mode. It does

package/test/conformance/ISO-MATRIX.md

@@ -15,8 +15,8 @@ compliance audit and the remaining work before a full conformance claim.
 | 8.6-8.7 arithmetic predicates | `is/2` and all six arithmetic comparisons | `arithmetic`, comparison cases, isolated evaluation errors |
 | 8.8-8.10 database and solutions | logical update view, dynamic mutation, all-solutions grouping | `dynamic_database`, `trealla_logical_update_view`, `corrigenda_retractall`, `grouped_solutions_and_clauses`, plus strict clause/database error and all-solutions precedence checks |
 | 8.11-8.14 streams and term I/O | text/binary streams, properties, units, read/write options and operators | `streams_and_term_io`, `operators`, Corrigendum 3 option cases, stream error cases, strict 8.14.1-8.14.4 option/error-order tests, Corrigendum 3 variable metadata/write naming checks, and issue #65 checks for stream-term/property validation, text-vs-binary permissions, EOF/flush/position, and open/close semantics |
-| 8.15 logic and control | negation, once, repeat, `call/2` through `call/8`, `false/0` | `logtalk_once`, `corrigenda_call_closure`, `false_builtin` |
-| 8.16 atomic processing | atoms, characters, codes and number conversion with prescribed errors | `atomic_term_processing`, focused forward/reverse cases, parenthesized-number rejection, Logtalk-derived error cases |
+| 8.15 logic and control | negation, once, repeat, `call/2` through `call/8`, `false/0` | `logtalk_once`, `corrigenda_call_closure`, `false_builtin`, plus strict Corrigendum 2 resulting-goal `max_arity` error coverage |
+| 8.16 atomic processing | atoms, characters, codes and number conversion with prescribed errors | `atomic_term_processing`, focused forward/reverse cases, parenthesized-number rejection, Logtalk-derived error cases, and strict Corrigendum 2 improper-list culprit checks for `atom_chars/2` and `atom_codes/2` |
 | 8.17 flags and hooks | complete required Part 1 flag set, selected defaults, standard value domains/changeability, halt and character conversion | `exceptions_and_flags`, `remaining_builtins_and_directives`, flag error cases, and the strict complete-flag audit in `run-iso-strict.mjs` |
 | Clause 9 evaluable functors | integer, float, rounding, transcendental and bitwise operations | `arithmetic`, `corrigenda_arithmetic`, `corrigenda_atan2_zero`, `corrigenda_integer_negative_power`, strict exclusion of the normal-mode `e` evaluable extension and zero-arity unknown-evaluable error checks |
 | Module compatibility profile (related to ISO/IEC 13211-2 and later WG17 amendment work) | module declarations, exports, imports, qualification, meta-predicate context | `modules/qualified_call`, `modules/selective_library_import`, `dcg_module_nonterminal_indicator` |

package/test/run-iso-strict.mjs

@@ -252,6 +252,22 @@ export function runIsoStrict(reporter = new TestReporter()) {
       'type_error(list)', '=../2 fixed non-list');
   });
 
+  reporter.test('enforces Corrigendum 2 call/N max-arity errors', () => {
+    equal(capture(() => run('', {
+      isoStrict: true,
+      goal: 'functor(T,f,65535), call(T,x)',
+    })).formal, 'representation_error(max_arity)', 'call/2 resulting arity');
+  });
+
+  reporter.test('reports the complete List culprit for Corrigendum 2 atomic conversions', () => {
+    for (const goal of ['atom_chars(A,[a|foo])', 'atom_codes(A,[97|foo])']) {
+      const error = capture(() => run('', { isoStrict: true, goal }));
+      equal(error.formal, 'type_error(list)', `${goal} formal`);
+      includes(error.message, '[', `${goal} complete list culprit`);
+      if (error.message.endsWith(', foo)')) throw new Error(`${goal}: reported only the improper tail`);
+    }
+  });
+
   reporter.test('follows ISO clause/2 private-procedure error precedence', () => {
     equal(capture(() => run('p.\n', { isoStrict: true, goal: 'clause(atom(_),4)' })).formal,
       'permission_error(access, private_procedure)', 'private procedure before body callability');