eyeprolog 1.5.76 → 1.5.77

package/package.json

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

package/src/iso.js

@@ -1162,6 +1162,12 @@ function streamHandleId(value, env) {
   // and rejecting an equally valid stream reference as malformed.
   if (value.type !== COMPOUND || value.name !== '$stream' || value.arity !== 1) return null;
   const id = deref(value.args[0], env);
+  // The shape is right, but the argument that would identify the stream is
+  // still unbound: whether this term is a valid stream reference cannot be
+  // decided yet, so that is an instantiation error, not a domain error (see
+  // issue #109's stc#72 follow-up) — unlike a wrong functor/arity above,
+  // which can never become valid no matter how any variable gets bound.
+  if (id.type === VAR) throw new PrologError('instantiation_error');
   return id.type === NUMBER && isDecimalInteger(id.name) ? Number(id.name) : null;
 }
 

package/test/regression/cases-regression.mjs

@@ -46,6 +46,21 @@ export function regressionCases() {
         assertIncludes(result.stdout, 'A1 = ', 'query succeeds and reports the shared stream number');
       },
     },
+    {
+      name: 'close/1 raises instantiation_error, not domain_error(stream_or_alias), for a $stream/1 term whose argument is unbound (issue #109 follow-up)',
+      run: () => {
+        const result = runCli([], { input:
+          "S='$stream'(X),close(S).\nhalt.\n",
+        });
+        assertEqual(result.status, 0, result.stderr);
+        // The argument that would identify the stream is still unbound, so
+        // whether this term is a valid stream reference cannot be decided
+        // yet — that calls for instantiation_error, not a domain_error
+        // claiming the term itself is already known to be invalid.
+        assertIncludes(result.stdout, 'error(instantiation_error,', 'unbound $stream/1 argument reports instantiation_error');
+        assertNotIncludes(result.stdout, 'domain_error(stream_or_alias', 'no domain_error(stream_or_alias, ...) once the argument is still unbound');
+      },
+    },
     {
       name: 'top level never mints a generated variable name that collides with a query variable\'s own name (issue #108)',
       run: () => {