@lango-project/lango-js 0.1.2 → 0.1.4

package/src/compiler.mjs

@@ -32,7 +32,8 @@ export function formatDiagnostics(error) {
 
 export async function buildFile(inputPath, outputPath, seen = new Set(), includeTests = false, profile = {}) {
   const decimalProfile = validateDecimalProfile(profile);
-  if (seen.size === 0)
+  const isEntryPoint = seen.size === 0;
+  if (isEntryPoint)
     await validateModuleInitializerCycles(inputPath, outputPath);
   if (seen.has(inputPath)) return;
   seen.add(inputPath);
@@ -86,10 +87,19 @@ export async function buildFile(inputPath, outputPath, seen = new Set(), include
   }
 
   const compiled = compile(source, inputPath, imports, includeTests, decimalProfile);
-  const output = compiled.javascript.replace(
+  let output = compiled.javascript.replace(
     "//# sourceMappingURL=main.mjs.map",
     `//# sourceMappingURL=${path.basename(outputPath)}.map`,
   );
+  if (isEntryPoint && profile.executable) {
+    const main = compiled.program.functions.find((item) => item.name === "main" && item.exported);
+    if (!main)
+      throw new LangoError("LNG1265", 1, "an executable build requires export main(args)", inputPath);
+    output = output.replace(
+      `//# sourceMappingURL=${path.basename(outputPath)}.map`,
+      `const { configure } = await import("./.lango/runtime.mjs");\nconfigure({ output: (value) => console.log(value) });\nawait main(process.argv.slice(2));\n//# sourceMappingURL=${path.basename(outputPath)}.map`,
+    );
+  }
   const directory = path.dirname(outputPath);
 
   await mkdir(path.join(directory, ".lango"), { recursive: true });
@@ -111,6 +121,19 @@ export async function buildFile(inputPath, outputPath, seen = new Set(), include
     await readFile(new URL("./vendor/bignumber.mjs", import.meta.url), "utf8"),
     "utf8",
   );
+  const xmlVendor = new URL("./vendor/xmldom/", import.meta.url);
+  await mkdir(path.join(directory, ".lango/xmldom"), { recursive: true });
+  for (const name of ["conventions.js", "dom-parser.js", "dom.js", "entities.js", "errors.js", "grammar.js", "index.js", "sax.js"])
+    await writeFile(
+      path.join(directory, ".lango/xmldom", name),
+      await readFile(new URL(name, xmlVendor), "utf8"),
+      "utf8",
+    );
+  await writeFile(
+    path.join(directory, ".lango/xmldom.LICENSE.md"),
+    await readFile(new URL("./vendor/xmldom.LICENSE.md", import.meta.url), "utf8"),
+    "utf8",
+  );
 }
 
 export function compile(source, sourceName = "<source>", imports = [], includeTests = false, profile = {}) {
@@ -243,7 +266,6 @@ class Parser {
     const tests = [];
     const jsImports = [];
     let declarationSeen = false;
-    let exportedClassSeen = false;
     this.blank();
     while (this.i < this.lines.length) {
       const line = this.line();
@@ -293,9 +315,6 @@ class Parser {
         );
       if (classHeader) {
         declarationSeen = true;
-        if (classHeader[1] && exportedClassSeen)
-          this.fail(line, "LNG1114", "a file may export one class");
-        exportedClassSeen ||= Boolean(classHeader[1]);
         const classNode = {
           name: classHeader[2],
           ancestor: classHeader[3] ?? null,
@@ -538,6 +557,8 @@ class Parser {
       } else if (/^global (\$?[A-Za-z_]\w*)$/.test(text)) {
         const [, name] = /^global (\$?[A-Za-z_]\w*)$/.exec(text);
         body.push({ type: "globalDeclare", name, line: line.number });
+      } else if (/^@{1,2}\$?[A-Za-z_]\w*.*\(.*\)$/.test(text) && !text.includes(" = ")) {
+        body.push({ type: "expression", value: expr(text, line, this) });
       } else if (/^context ([A-Za-z_]\w*) = (.+)$/.test(text)) {
         const [, name, value] = /^context ([A-Za-z_]\w*) = (.+)$/.exec(text);
         body.push({ type: "contextSet", name, value: expr(value, line, this) });
@@ -777,7 +798,7 @@ class Parser {
           value: { type: "new", name: constructor, arguments: [closure], line: line.number },
         });
       }
-      else if (/^(.+)\.([A-Za-z_]\w*)\((.*), \(([^)]*)\)$/.test(text)) {
+      else if (!text.includes(" = ") && /^(.+)\.([A-Za-z_]\w*)\((.*), \(([^)]*)\)$/.test(text)) {
         const [, receiver, name, argumentsText, parameters] =
           /^(.+)\.([A-Za-z_]\w*)\((.*), \(([^)]*)\)$/.exec(text);
         const closure = {
@@ -803,7 +824,34 @@ class Parser {
           },
         });
       }
-      else if (/^(.+)\.([A-Za-z_]\w*)\(\(([^)]*)\)$/.test(text)) {
+      else if (/^(\$?[A-Za-z_]\w*) = (.+)\.([A-Za-z_]\w*)\((?:(.*), )?\(([^)]*)\)$/.test(text)) {
+        const [, name, receiver, method, argumentsText, parameters] =
+          /^(\$?[A-Za-z_]\w*) = (.+)\.([A-Za-z_]\w*)\((?:(.*), )?\(([^)]*)\)$/.exec(text);
+        const closure = {
+          type: "closure",
+          parameters: this.parameters(parameters, line),
+          captures: this.captures(),
+          line: line.number,
+          body: this.block(indent + 4),
+        };
+        this.blank();
+        if (this.peek() !== `${" ".repeat(indent)})`)
+          this.fail(line, "LNG1266", "assigned method callback requires a closing parenthesis");
+        this.i += 1;
+        body.push({
+          type: "assign",
+          name,
+          value: {
+            type: "methodCall",
+            receiver,
+            optional: false,
+            name: method,
+            arguments: [...(argumentsText ? splitTopLevel(argumentsText).map((item) => expr(item, line, this)) : []), closure],
+            line: line.number,
+          },
+        });
+      }
+      else if (!text.includes(" = ") && /^(.+)\.([A-Za-z_]\w*)\(\(([^)]*)\)$/.test(text)) {
         const [, first, name, parameters] = /^(.+)\.([A-Za-z_]\w*)\(\(([^)]*)\)$/.exec(text);
         const steps = [];
         let step = { name, parameters: this.parameters(parameters, line), captures: this.captures(), line: line.number, body: this.block(indent + 4) };
@@ -898,9 +946,9 @@ class Parser {
           name,
           value: { type: "sql", text: sqlText, parts, parameters },
         });
-      } else if (/^([A-Za-z_]\w*(?:\.[A-Za-z_]\w*)*)\[([^\]]+)\]\[([^\]]+)\] = (.+)$/.test(text)) {
+      } else if (/^(@{0,2}\$?[A-Za-z_]\w*(?:\.[A-Za-z_]\w*)*)\[([^\]]+)\]\[([^\]]+)\] = (.+)$/.test(text)) {
         const [, receiver, firstIndex, secondIndex, sourceValue] =
-          /^([A-Za-z_]\w*(?:\.[A-Za-z_]\w*)*)\[([^\]]+)\]\[([^\]]+)\] = (.+)$/.exec(text);
+          /^(@{0,2}\$?[A-Za-z_]\w*(?:\.[A-Za-z_]\w*)*)\[([^\]]+)\]\[([^\]]+)\] = (.+)$/.exec(text);
         body.push({
           type: "indexAssign",
           receiver,
@@ -908,9 +956,9 @@ class Parser {
           value: this.expression(sourceValue, line),
           operator: null,
         });
-      } else if (/^([A-Za-z_]\w*(?:\.[A-Za-z_]\w*)*)\[([^\]]+)\]\[([^\]]+)\] (\+|-|\*|\/|%|\*\*)= (.+)$/.test(text)) {
+      } else if (/^(@{0,2}\$?[A-Za-z_]\w*(?:\.[A-Za-z_]\w*)*)\[([^\]]+)\]\[([^\]]+)\] (\+|-|\*|\/|%|\*\*)= (.+)$/.test(text)) {
         const [, receiver, firstIndex, secondIndex, operator, sourceValue] =
-          /^([A-Za-z_]\w*(?:\.[A-Za-z_]\w*)*)\[([^\]]+)\]\[([^\]]+)\] (\+|-|\*|\/|%|\*\*)= (.+)$/.exec(text);
+          /^(@{0,2}\$?[A-Za-z_]\w*(?:\.[A-Za-z_]\w*)*)\[([^\]]+)\]\[([^\]]+)\] (\+|-|\*|\/|%|\*\*)= (.+)$/.exec(text);
         body.push({
           type: "indexAssign",
           receiver,
@@ -918,9 +966,9 @@ class Parser {
           value: this.expression(sourceValue, line),
           operator,
         });
-      } else if (/^([A-Za-z_]\w*(?:\.[A-Za-z_]\w*)*)\[([^\]]+)\]\[([^\]]+)\](\+\+|--)$/.test(text)) {
+      } else if (/^(@{0,2}\$?[A-Za-z_]\w*(?:\.[A-Za-z_]\w*)*)\[([^\]]+)\]\[([^\]]+)\](\+\+|--)$/.test(text)) {
         const [, receiver, firstIndex, secondIndex, suffix] =
-          /^([A-Za-z_]\w*(?:\.[A-Za-z_]\w*)*)\[([^\]]+)\]\[([^\]]+)\](\+\+|--)$/.exec(text);
+          /^(@{0,2}\$?[A-Za-z_]\w*(?:\.[A-Za-z_]\w*)*)\[([^\]]+)\]\[([^\]]+)\](\+\+|--)$/.exec(text);
         body.push({
           type: "indexAssign",
           receiver,
@@ -928,9 +976,9 @@ class Parser {
           value: { type: "raw", value: "1" },
           operator: suffix === "++" ? "+" : "-",
         });
-      } else if (/^([A-Za-z_]\w*(?:\.[A-Za-z_]\w*)*)\[([^\]]+)\] = (.+)$/.test(text)) {
+      } else if (/^(@{0,2}\$?[A-Za-z_]\w*(?:\.[A-Za-z_]\w*)*)\[([^\]]+)\] = (.+)$/.test(text)) {
         const [, receiver, sourceIndex, sourceValue] =
-          /^([A-Za-z_]\w*(?:\.[A-Za-z_]\w*)*)\[([^\]]+)\] = (.+)$/.exec(text);
+          /^(@{0,2}\$?[A-Za-z_]\w*(?:\.[A-Za-z_]\w*)*)\[([^\]]+)\] = (.+)$/.exec(text);
         body.push({
           type: "indexAssign",
           receiver,
@@ -938,9 +986,9 @@ class Parser {
           value: this.expression(sourceValue, line),
           operator: null,
         });
-      } else if (/^([A-Za-z_]\w*(?:\.[A-Za-z_]\w*)*)\[([^\]]+)\] (\+|-|\*|\/|%|\*\*)= (.+)$/.test(text)) {
+      } else if (/^(@{0,2}\$?[A-Za-z_]\w*(?:\.[A-Za-z_]\w*)*)\[([^\]]+)\] (\+|-|\*|\/|%|\*\*)= (.+)$/.test(text)) {
         const [, receiver, sourceIndex, operator, sourceValue] =
-          /^([A-Za-z_]\w*(?:\.[A-Za-z_]\w*)*)\[([^\]]+)\] (\+|-|\*|\/|%|\*\*)= (.+)$/.exec(text);
+          /^(@{0,2}\$?[A-Za-z_]\w*(?:\.[A-Za-z_]\w*)*)\[([^\]]+)\] (\+|-|\*|\/|%|\*\*)= (.+)$/.exec(text);
         body.push({
           type: "indexAssign",
           receiver,
@@ -948,9 +996,9 @@ class Parser {
           value: this.expression(sourceValue, line),
           operator,
         });
-      } else if (/^([A-Za-z_]\w*(?:\.[A-Za-z_]\w*)*)\[([^\]]+)\](\+\+|--)$/.test(text)) {
+      } else if (/^(@{0,2}\$?[A-Za-z_]\w*(?:\.[A-Za-z_]\w*)*)\[([^\]]+)\](\+\+|--)$/.test(text)) {
         const [, receiver, sourceIndex, suffix] =
-          /^([A-Za-z_]\w*(?:\.[A-Za-z_]\w*)*)\[([^\]]+)\](\+\+|--)$/.exec(text);
+          /^(@{0,2}\$?[A-Za-z_]\w*(?:\.[A-Za-z_]\w*)*)\[([^\]]+)\](\+\+|--)$/.exec(text);
         body.push({
           type: "indexAssign",
           receiver,
@@ -959,7 +1007,7 @@ class Parser {
           operator: suffix === "++" ? "+" : "-",
         });
       } else {
-        const assignment = /^(\$[A-Za-z_]\w*|@{0,2}\$?[A-Za-z_]\w*|[A-Za-z_]\w*\.\$?[A-Za-z_]\w*) = (.+)$/.exec(text);
+        const assignment = /^(\$[A-Za-z_]\w*|@{0,2}\$?[A-Za-z_]\w*(?:\.\$?[A-Za-z_]\w*)*) = (.+)$/.exec(text);
         if (!assignment)
           this.fail(line, "LNG1106", `unsupported Faz 2 statement: ${text}`);
         body.push({
@@ -1288,10 +1336,18 @@ function expr(source, line, parser) {
       }),
     };
   }
+  if (text.startsWith("not "))
+    return {
+      type: "unary",
+      operator: "not",
+      value: expr(text.slice(4), line, parser),
+    };
   for (const operators of [
     ["??"],
-    ["or", "||"],
-    ["and", "&&"],
+    ["or"],
+    ["and"],
+    ["||"],
+    ["&&"],
     ["==", "!="],
     [">=", "<=", ">", "<", "not in", "in"],
     ["+", "-"],
@@ -1314,12 +1370,6 @@ function expr(source, line, parser) {
       left: expr(text.slice(0, exponent.index), line, parser),
       right: expr(text.slice(exponent.index + exponent.operator.length + 2), line, parser),
     };
-  if (text.startsWith("not "))
-    return {
-      type: "unary",
-      operator: "not",
-      value: expr(text.slice(4), line, parser),
-    };
   if (/^-[^\s]/.test(text))
     return {
       type: "unary",
@@ -1364,7 +1414,7 @@ function expr(source, line, parser) {
       line: line.number,
     };
   const nestedIndex =
-    /^([A-Za-z_]\w*(?:(?:\.|\?\.)[A-Za-z_]\w)*(?:\?\.)?\[.+\])(\?\.)?\[(.+)\]$/.exec(
+    /^(@{0,2}\$?[A-Za-z_]\w*(?:(?:\.|\?\.)[A-Za-z_]\w)*(?:\?\.)?\[.+\])(\?\.)?\[(.+)\]$/.exec(
       text,
     );
   if (nestedIndex)
@@ -1375,7 +1425,7 @@ function expr(source, line, parser) {
       index: expr(nestedIndex[3], line, parser),
     };
   const computedIndex =
-    /^([A-Za-z_]\w*(?:(?:\.|\?\.)[A-Za-z_]\w)*)(\?\.)?\[([^\]]+)\]$/.exec(
+    /^(@{0,2}\$?[A-Za-z_]\w*(?:(?:\.|\?\.)[A-Za-z_]\w)*)(\?\.)?\[([^\]]+)\]$/.exec(
       text,
     );
   if (
@@ -1389,7 +1439,7 @@ function expr(source, line, parser) {
       index: expr(computedIndex[3], line, parser),
     };
   const indexedProperty =
-    /^([A-Za-z_]\w*.*\])(\?\.|\.)(\$?[A-Za-z_]\w*)$/.exec(text);
+    /^(@{0,2}\$?[A-Za-z_]\w*.*\])(\?\.|\.)(\$?[A-Za-z_]\w*)$/.exec(text);
   if (
     indexedProperty &&
     !/^[A-Za-z_]\w*\?\.\[(?:\d+|[A-Za-z_]\w*|['"][^'"]*['"])\]$/.test(
@@ -1403,7 +1453,7 @@ function expr(source, line, parser) {
       name: indexedProperty[3],
     };
   const indexedMethodCall =
-    /^([A-Za-z_]\w*.*\])(\?\.|\.)([A-Za-z_]\w*)\((.*)\)$/.exec(text);
+    /^(@{0,2}\$?[A-Za-z_]\w*.*\])(\?\.|\.)([A-Za-z_]\w*)\((.*)\)$/.exec(text);
   if (indexedMethodCall)
     return {
       type: "methodCall",
@@ -1416,7 +1466,7 @@ function expr(source, line, parser) {
       line: line.number,
     };
   const nestedCallResultIndex =
-    /^([A-Za-z_]\w*.*\)\?\.\[.+\])(\?\.)?\[(.+)\]$/.exec(text);
+    /^(@{0,2}\$?[A-Za-z_]\w*.*\)\?\.\[.+\])(\?\.)?\[(.+)\]$/.exec(text);
   if (nestedCallResultIndex)
     return {
       type: "index",
@@ -1425,7 +1475,7 @@ function expr(source, line, parser) {
       index: expr(nestedCallResultIndex[3], line, parser),
     };
   const callResultIndex =
-    /^([A-Za-z_]\w*.*\))(\?\.)?\[(.+)\]$/.exec(text);
+    /^(@{0,2}\$?[A-Za-z_]\w*.*\))(\?\.)?\[(.+)\]$/.exec(text);
   if (callResultIndex)
     return {
       type: "index",
@@ -1434,7 +1484,7 @@ function expr(source, line, parser) {
       index: expr(callResultIndex[3], line, parser),
     };
   const callResultProperty =
-    /^([A-Za-z_]\w*.*\))(\?\.|\.)(\$?[A-Za-z_]\w*)$/.exec(text);
+    /^(@{0,2}\$?[A-Za-z_]\w*.*\))(\?\.|\.)(\$?[A-Za-z_]\w*)$/.exec(text);
   if (callResultProperty)
     return {
       type: "property",
@@ -1443,7 +1493,7 @@ function expr(source, line, parser) {
       name: callResultProperty[3],
     };
   const callResultMethod =
-    /^([A-Za-z_]\w*.*\))(\?\.|\.)([A-Za-z_]\w*)\((.*)\)$/.exec(text);
+    /^(@{0,2}\$?[A-Za-z_]\w*.*\))(\?\.|\.)([A-Za-z_]\w*)\((.*)\)$/.exec(text);
   if (callResultMethod)
     return {
       type: "methodCall",
@@ -1455,8 +1505,19 @@ function expr(source, line, parser) {
         : [],
       line: line.number,
     };
+  const indexedCall = /^(.+)\[(.+)\]\((.*)\)$/.exec(text);
+  if (indexedCall)
+    return {
+      type: "indexedCall",
+      receiver: expr(indexedCall[1], line, parser),
+      index: expr(indexedCall[2], line, parser),
+      arguments: indexedCall[3]
+        ? splitTopLevel(indexedCall[3]).map((item) => expr(item, line, parser))
+        : [],
+      line: line.number,
+    };
   const methodCall =
-    /^([A-Za-z_]\w*(?:(?:\.|\?\.)[A-Za-z_]\w*)*?)(\?\.|\.)([A-Za-z_]\w*)\((.*)\)$/.exec(
+    /^(@{0,2}\$?[A-Za-z_]\w*(?:(?:\.|\?\.)[A-Za-z_]\w*)*?)(\?\.|\.)([A-Za-z_]\w*)\((.*)\)$/.exec(
       text,
     );
   const namespaceMethodCall =
@@ -1510,15 +1571,15 @@ function expr(source, line, parser) {
     return { type: "raw", value: text };
   }
   if (/^(true|false|null)$/.test(text)) return { type: "raw", value: text };
-  if (/^[A-Za-z_]\w*(?:(?:\.|\?\.)[A-Za-z_]\w*)*(?:\.|\?\.)_[A-Za-z_]\w*$/.test(text))
+  if (/^@{0,2}\$?[A-Za-z_]\w*(?:(?:\.|\?\.)[A-Za-z_]\w*)*(?:\.|\?\.)_[A-Za-z_]\w*$/.test(text))
     parser.fail(
       line,
       "LNG1115",
       "protected properties are not accessible outside a class",
     );
-  if (/^[A-Za-z_]\w*(?:(?:\.|\?\.)\$?[A-Za-z_]\w*|(?:\?\.)?\[(?:\d+|[A-Za-z_]\w*|['"][^'"]*['"])\])+$/.test(text))
+  if (/^@{0,2}\$?[A-Za-z_]\w*(?:(?:\.|\?\.)\$?[A-Za-z_]\w*|(?:\?\.)?\[(?:\d+|[A-Za-z_]\w*|['"][^'"]*['"])\])+$/.test(text))
     return { type: "raw", value: text };
-  if (/^[A-Za-z_]\w*\[(?:\d+|[A-Za-z_]\w*|['"][^'"]*['"])\]$/.test(text))
+  if (/^@{0,2}\$?[A-Za-z_]\w*\[(?:\d+|[A-Za-z_]\w*|['"][^'"]*['"])\]$/.test(text))
     return { type: "raw", value: text };
   if (/^(?:\$[A-Za-z_]\w*|@{0,2}\$?[A-Za-z_]\w*)$/.test(text)) return { type: "raw", value: text };
   parser.fail(line, "LNG1108", `unsupported Faz 2 expression: ${text}`);
@@ -1760,6 +1821,8 @@ function validate(program, imports = []) {
     ["is_array", 1],
     ["range", [1, 2, 3]],
     ["to_js_number", 1],
+    ["import_module", 1],
+    ["xml2obj", 1],
     ["start_trans", 0], ["commit_trans", 0], ["rollback_trans", 0], ["trans_state", 0],
   ]);
   const hostFunctions = new Set(["fetch"]);
@@ -2508,6 +2571,15 @@ function validate(program, imports = []) {
     return names;
   };
 
+  const contextBindings = (body, names = new Set()) => {
+    for (const node of body) {
+      if (node.type === "contextDeclare" || node.type === "contextSet") names.add(node.name);
+      if (node.type !== "closureAssign")
+        nestedBodies(node).forEach((child) => contextBindings(child, names));
+    }
+    return names;
+  };
+
   const globalDeclarations = (body, names = new Set()) => {
     for (const node of body) {
       if (node.type === "globalDeclare") names.add(node.name);
@@ -2563,9 +2635,14 @@ function validate(program, imports = []) {
     outerBindings,
     classScope = null,
     inheritedExpiredCatchBindings = new Set(),
+    outerContextBindings = new Set(),
   ) => {
     const available = new Set(outerBindings);
     const expiredCatchBindings = new Set(inheritedExpiredCatchBindings);
+    const availableContexts = new Set([
+      ...outerContextBindings,
+      ...contextBindings(body),
+    ]);
     for (const node of body) {
       const references = new Set();
       [node.value, node.condition, node.collection, node.arguments, node.tests].forEach((value) => {
@@ -2585,6 +2662,7 @@ function validate(program, imports = []) {
           new Set(available),
           classScope,
           expiredCatchBindings,
+          availableContexts,
         );
         const right = node.elseBody
           ? validateClosures(
@@ -2592,6 +2670,7 @@ function validate(program, imports = []) {
               new Set(available),
               classScope,
               expiredCatchBindings,
+              availableContexts,
             )
           : available;
         const exits = [];
@@ -2610,6 +2689,7 @@ function validate(program, imports = []) {
             new Set(available),
             classScope,
             expiredCatchBindings,
+            availableContexts,
             ),
           );
         if (!node.elseBody || reachesEnd(node.elseBody))
@@ -2620,6 +2700,7 @@ function validate(program, imports = []) {
                 new Set(available),
                 classScope,
                 expiredCatchBindings,
+                availableContexts,
                 )
               : new Set(available),
           );
@@ -2635,6 +2716,7 @@ function validate(program, imports = []) {
           new Set(available),
           classScope,
           expiredCatchBindings,
+          availableContexts,
         );
         if (reachesEnd(node.tryBody)) exits.push(tryExit);
         if (node.catchBody) {
@@ -2645,6 +2727,7 @@ function validate(program, imports = []) {
               new Set(
                 [...expiredCatchBindings].filter((name) => name !== node.catchName),
               ),
+              availableContexts,
           );
           if (reachesEnd(node.catchBody)) exits.push(catchExit);
         }
@@ -2658,6 +2741,7 @@ function validate(program, imports = []) {
               certain,
               classScope,
               new Set([...expiredCatchBindings, node.catchName].filter(Boolean)),
+              availableContexts,
             )
           : certain;
         if (!node.finallyBody || reachesEnd(node.finallyBody))
@@ -2671,6 +2755,7 @@ function validate(program, imports = []) {
           new Set([...available, node.item]),
           classScope,
           expiredCatchBindings,
+          availableContexts,
         );
         continue;
       }
@@ -2680,6 +2765,7 @@ function validate(program, imports = []) {
           new Set([...available, node.key, node.value]),
           classScope,
           expiredCatchBindings,
+          availableContexts,
         );
         continue;
       }
@@ -2695,6 +2781,7 @@ function validate(program, imports = []) {
             new Set(available),
             classScope,
             expiredCatchBindings,
+            availableContexts,
           );
         continue;
       }
@@ -2726,9 +2813,14 @@ function validate(program, imports = []) {
           (name) =>
             !localBindings.has(name) &&
             !contextNames.has(name) &&
-            !globalNames.has(name),
+            !globalNames.has(name) &&
+            !standardFunctions.has(name) &&
+            !hostFunctions.has(name),
         );
         const captures = new Set(closure.captures);
+        const contextCaptures = new Set(
+          closure.captures.filter((name) => availableContexts.has(name)),
+        );
         for (const name of needed)
           if (!captures.has(name))
             throw new LangoError(
@@ -2737,7 +2829,7 @@ function validate(program, imports = []) {
               `MissingCapture: ${name}; add capture ${name}`,
             );
         for (const name of captures) {
-          if (!needed.includes(name))
+          if (!needed.includes(name) && !contextCaptures.has(name))
             throw new LangoError(
               "LNG1211",
               closure.line,
@@ -2745,7 +2837,7 @@ function validate(program, imports = []) {
             );
           const protectedMember = Boolean(classScope && name.startsWith("_"));
           const propertyCapture = name.startsWith("@") || protectedMember;
-          if (!propertyCapture && !available.has(name))
+          if (!propertyCapture && !contextCaptures.has(name) && !available.has(name))
             throw new LangoError(
               "LNG1212",
               closure.line,
@@ -2778,6 +2870,7 @@ function validate(program, imports = []) {
           new Set([...available, ...localBindings]),
           classScope,
           expiredCatchBindings,
+          new Set([...availableContexts, ...contextCaptures]),
         );
       if (node.type === "closureAssign" || node.type === "assign") available.add(node.name);
         continue;
@@ -3327,6 +3420,7 @@ function emit(program, moduleImports = [], includeTests = false) {
     flags.print && "println as __println",
     flags.translate && "translate as __translate",
     flags.xml && "xmlEscape as __xmlEscape",
+    flags.xmlObject && "xml2obj as __xml2obj",
     flags.context && "contextGet as __contextGet",
     flags.context && "contextSet as __contextSet",
     flags.context && "contextRestore as __contextRestore",
@@ -3356,6 +3450,7 @@ function emit(program, moduleImports = [], includeTests = false) {
     flags.finite && "finite as __finite",
     flags.number && "requireNumber as __requireNumber",
     flags.call && "call as __call",
+    flags.callMethod && "callMethod as __callMethod",
     flags.boundary && "boundary as __boundary",
     flags.database && "startTrans as __startTrans",
     flags.database && "commitTrans as __commitTrans",
@@ -3661,20 +3756,15 @@ function emitStatement(node, depth, declared, flags) {
   }
   if (node.type === "assign") {
     const decimalBinding = node.name.startsWith("$") || /^@{1,2}\$/.test(node.name);
-    const property = node.name.slice(node.name.startsWith("@@") ? 2 : 1);
-    const target = /^[A-Za-z_]\w*\.\$?[A-Za-z_]\w*$/.test(node.name)
-      ? node.name
-      : node.name.startsWith("@@")
-      ? `${flags.className}.${property}`
+    const target = /^[A-Za-z_]\w*(?:\.\$?[A-Za-z_]\w*)+$/.test(node.name)
+      ? emitReceiverName(node.name, flags)
       : node.name.startsWith("@")
-        ? flags.publicProperties?.has(property)
-          ? `this.${property}`
-          : `this.#${property}`
+        ? emitReceiverName(node.name, flags)
         : flags.className && node.name.startsWith("_")
           ? `this.${node.name}`
           : node.name;
     const prefix =
-      /^[A-Za-z_]\w*\.\$?[A-Za-z_]\w*$/.test(node.name)
+      /^[A-Za-z_]\w*(?:\.\$?[A-Za-z_]\w*)+$/.test(node.name)
         ? ""
         : node.name.startsWith("@") ||
       (flags.className && node.name.startsWith("_")) ||
@@ -3696,7 +3786,7 @@ function emitStatement(node, depth, declared, flags) {
     return `${pad}${prefix}${target} = ${decimalBinding && node.value.type !== "binary" && !decimalLiteral ? `__decimal(${decimalInput})` : value};\n`;
   }
   if (node.type === "indexAssign") {
-    const target = `${node.receiver}${(node.indexes ?? [node.index]).map((index) => `[${emitExpr(index, flags)}]`).join("")}`;
+    const target = `${emitReceiverName(node.receiver, flags)}${(node.indexes ?? [node.index]).map((index) => `[${emitExpr(index, flags)}]`).join("")}`;
     const value = emitExpr(node.value, flags);
     if (node.operator) flags.finite = true;
     return `${pad}${target} = ${node.operator ? `__finite(${target} ${node.operator} ${value})` : value};\n`;
@@ -3808,7 +3898,11 @@ function emitClosure(node, depth, flags) {
   const priorContextNames = flags.contextNames;
   const priorGlobalNames = flags.globalNames;
   const priorArrayBindings = flags.arrayBindings;
-  const contextNames = collectContextNames(node.body);
+  const contextCaptures = node.captures.filter((name) => priorContextNames?.has(name));
+  const contextNames = new Set([
+    ...collectContextNames(node.body),
+    ...contextCaptures,
+  ]);
   flags.contextNames = contextNames;
   flags.globalNames = collectGlobalNames(node.body);
   flags.arrayBindings = new Set();
@@ -3836,7 +3930,16 @@ function emitClosure(node, depth, flags) {
   if (!contextNames.size)
     return wrap(`(${parameters}) => {\n${boundary}${body}${pad}    return null;\n${pad}}`);
   flags.context = true;
-  return wrap(`(${parameters}) => {\n${pad}    const __contextScope = [];\n${pad}    try {\n${boundary}${body}${pad}        return null;\n${pad}    } finally {\n${pad}        __contextRestore(__contextScope);\n${pad}    }\n${pad}}`);
+  const capturedParameters = contextCaptures.map((_, index) => `__capturedContext${index}`);
+  const capturedValues = contextCaptures.map((name) => `__contextGet(${JSON.stringify(name)})`);
+  const capturedSetup = contextCaptures
+    .map((name, index) => `${pad}        __contextScope.push(__contextSet(${JSON.stringify(name)}, __capturedContext${index}));\n`)
+    .join("");
+  const callback = `(${parameters}) => {\n${pad}    const __contextScope = [];\n${pad}    try {\n${capturedSetup}${boundary}${body}${pad}        return null;\n${pad}    } finally {\n${pad}        __contextRestore(__contextScope);\n${pad}    }\n${pad}}`;
+  const wrappedCallback = contextCaptures.length
+    ? `((${capturedParameters.join(", ")}) => ${callback})(${capturedValues.join(", ")})`
+    : callback;
+  return wrap(wrappedCallback);
 }
 function emitArityGuard(parameters, actual, name, depth, flags) {
   const positions = parameters
@@ -3860,6 +3963,24 @@ function emitBoundaryChecks(parameters, depth, flags) {
     })
     .join("");
 }
+function emitReceiverName(name, flags) {
+  const member = /^(@{1,2})(\$?[A-Za-z_]\w*)(.*)$/.exec(name);
+  if (member) {
+    const [, scope, property, suffix] = member;
+    const owner = scope === "@@" ? flags.className : "this";
+    const visibility = scope === "@@" || flags.publicProperties?.has(property) ? "" : "#";
+    return `${owner}.${visibility}${property}${suffix}`;
+  }
+  const base = /^([A-Za-z_]\w*)([.\[].*)$/.exec(name);
+  if (base && flags.contextNames?.has(base[1])) {
+    flags.context = true;
+    return `__contextGet(${JSON.stringify(base[1])})${base[2]}`;
+  }
+  if (!flags.contextNames?.has(name)) return name;
+  flags.context = true;
+  return `__contextGet(${JSON.stringify(name)})`;
+}
+
 function emitExpr(node, flags) {
   const decimalRaw = (value) =>
     value?.type === "raw" &&
@@ -3873,11 +3994,18 @@ function emitExpr(node, flags) {
     flags.normalize = true;
     return `__normalize(${value})`;
   };
+  if (node.type === "raw")
+    if (/^@{1,2}\$?[A-Za-z_]\w*[.\[?]/.test(node.value))
+      return normalize(emitReceiverName(node.value, flags));
   if (node.type === "raw")
     if (flags.contextNames?.has(node.value)) {
       flags.context = true;
       return `__contextGet(${JSON.stringify(node.value)})`;
     }
+  if (node.type === "raw")
+    if (/^[A-Za-z_]\w*[.\[]/.test(node.value) && flags.contextNames?.has(node.value.split(/[.\[]/)[0])) {
+      return normalize(emitReceiverName(node.value, flags));
+    }
   if (node.type === "raw")
     if (/^DB\.(Active|RollbackOnly|Failed)$/.test(node.value)) {
       flags.databaseEnum = true;
@@ -3935,7 +4063,7 @@ function emitExpr(node, flags) {
     return `super.${node.name}(${node.arguments.map((item) => emitExpr(item, flags)).join(", ")})`;
   if (node.type === "index")
     return normalize(
-      `${typeof node.receiver === "string" ? node.receiver : emitExpr(node.receiver, flags)}${node.optional ? "?." : ""}[${emitExpr(node.index, flags)}]`,
+      `${typeof node.receiver === "string" ? emitReceiverName(node.receiver, flags) : emitExpr(node.receiver, flags)}${node.optional ? "?." : ""}[${emitExpr(node.index, flags)}]`,
     );
   if (node.type === "property")
     return normalize(
@@ -3946,7 +4074,7 @@ function emitExpr(node, flags) {
     const sourceReceiver = namespace
       ? node.receiver.replaceAll("/", ".")
       : typeof node.receiver === "string"
-        ? node.receiver
+        ? emitReceiverName(node.receiver, flags)
         : emitExpr(node.receiver, flags);
     const type =
       sourceReceiver === flags.className ||
@@ -4089,6 +4217,14 @@ function emitExpr(node, flags) {
       flags.toJsNumber = true;
       return `__toJsNumber(${node.arguments.map((item) => emitExpr(item, flags)).join(", ")})`;
     }
+  if (node.type === "call")
+    if (node.name === "import_module")
+      return `import(${node.arguments.map((item) => emitExpr(item, flags)).join(", ")})`;
+  if (node.type === "call")
+    if (node.name === "xml2obj") {
+      flags.xmlObject = true;
+      return `__xml2obj(${node.arguments.map((item) => emitExpr(item, flags)).join(", ")})`;
+    }
   if (node.type === "call")
     if (node.name === "from_json" || node.name === "to_json") {
       flags.json = true;
@@ -4128,6 +4264,10 @@ function emitExpr(node, flags) {
       return `__call(${node.name}, ${node.arguments.map((item) => emitExpr(item, flags)).join(", ")})`;
     } else
       return `${node.name}(${node.arguments.map((item) => emitExpr(item, flags)).join(", ")})`;
+  if (node.type === "indexedCall") {
+    flags.callMethod = true;
+    return `__callMethod(${emitExpr(node.receiver, flags)}, ${emitExpr(node.index, flags)}, ${node.arguments.map((item) => emitExpr(item, flags)).join(", ")})`;
+  }
   if (node.type === "string") return emitString(node.literal, flags);
   if (node.type === "xml") {
     flags.xml = true;