@lapxo/bound 0.2.1 → 0.2.2

package/dist/host/native/module-syntax.js

@@ -18,12 +18,12 @@ export function moduleImportSyntax(source, coordinate) {
     }
     const found = new Set(), unresolved = new Set();
     const literal = stringLiteral;
-    const visit = (node, parent, key) => {
+    const visit = (node, parent, key, reexportSource = false) => {
         if (!node || typeof node !== 'object')
             return;
         if (Array.isArray(node)) {
             for (const child of node)
-                visit(child, parent, key);
+                visit(child, parent, key, reexportSource);
             return;
         }
         const n = node;
@@ -32,7 +32,11 @@ export function moduleImportSyntax(source, coordinate) {
         if (n['type'] === 'Identifier' && n['name'] === 'require') {
             const direct = parent?.['type'] === 'CallExpression' && key === 'callee';
             const namedProperty = (parent?.['type'] === 'MemberExpression' && key === 'property' && !parent['computed']) || ((parent?.['type'] === 'Property' || parent?.['type'] === 'MethodDefinition') && key === 'key' && !parent['computed'] && !parent['shorthand']);
-            if (!direct && !namedProperty)
+            // Declaration names are not loader references. This does not resolve shadowing:
+            // references to a binding named require remain conservative, including local calls.
+            const declarationName = ((parent?.['type'] === 'ImportSpecifier' || parent?.['type'] === 'ImportDefaultSpecifier' || parent?.['type'] === 'ImportNamespaceSpecifier') && (key === 'imported' || key === 'local')) || (parent?.['type'] === 'FunctionDeclaration' && key === 'id');
+            const reexportName = parent?.['type'] === 'ExportSpecifier' && (key === 'exported' || (key === 'local' && reexportSource));
+            if (!direct && !namedProperty && !declarationName && !reexportName)
                 unresolved.add('require reference at ' + String(n['start']));
         }
         let specifier;
@@ -52,7 +56,7 @@ export function moduleImportSyntax(source, coordinate) {
         if (specifier !== undefined)
             found.add(specifier);
         for (const [childKey, child] of Object.entries(n))
-            visit(child, n, childKey);
+            visit(child, n, childKey, n['type'] === 'ExportNamedDeclaration' ? n['source'] !== null && n['source'] !== undefined : reexportSource);
     };
     visit(tree);
     return { imports: [...found], unresolved: [...unresolved] };

package/docs/contracts/readme.publication.json

@@ -4,7 +4,7 @@
     {
       "role": "contract",
       "path": "README.md",
-      "digest": "sha256:183fe27e7a8bfdb04f4aefaa785f2b1845da1c5a93562a06a300175a960c72da"
+      "digest": "sha256:bc8277eaef68f8ab8a049607003502a1979fb58a36f9468d6224ec14df7e131f"
     },
     {
       "role": "yes",

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@lapxo/bound",
-  "version": "0.2.1",
+  "version": "0.2.2",
   "type": "module",
   "description": "Read the bounds you already wrote, fold them, and name the contradictions.",
   "main": "dist/cli/verb.js",
@@ -162,13 +162,14 @@
     "docs/contracts/readme.publication.json",
     "samples/readme/yes.json",
     "samples/readme/no.json",
-    "vectors/native/readme.vector.json"
+    "vectors/native/readme.vector.json",
+    "samples/engine-place/inputs/closure.json"
   ],
   "author": "Lapxo",
   "license": "MIT",
   "dependencies": {
-    "@lapxo/obligations": "0.3.5",
-    "@lapxo/topos": "^0.2.0",
+    "@lapxo/obligations": "0.4.3",
+    "@lapxo/topos": "^0.2.1",
     "acorn": "8.19.0"
   },
   "devDependencies": {