@scriptc/compiler 0.3.4 → 0.3.6

package/dist/frontend/lowering/builtins/callable-aliases.js

@@ -3,6 +3,7 @@ import {} from "../lowerer.js";
 import { isJsSourceFile } from "../../program.js";
 import { builtinModuleFnOf } from "../surfaces.js";
 import { registerHttpClientFnBinding } from "../lower-server.js";
+import { isPromisifiedZlibMember } from "./compression.js";
 /** Compile-time util.promisify projections. The immutable result binding
  * owns no runtime slot: calls rewrite to the target's promise lowering,
  * while value uses remain explicit fences. Unsupported targets report at
@@ -13,9 +14,13 @@ export function isPromisifyCall(lowerer, init) {
         e = e.expression;
     if (!ts.isCallExpression(e) || e.questionDotToken)
         return null;
-    if (!ts.isIdentifier(e.expression))
-        return null;
-    const bi = lowerer.builtinImportOf(e.expression);
+    // `promisify(...)` over a named import, `util.promisify(...)` over a
+    // namespace or default import.
+    const bi = ts.isIdentifier(e.expression)
+        ? lowerer.builtinImportOf(e.expression)
+        : ts.isPropertyAccessExpression(e.expression)
+            ? lowerer.builtinMemberOf(e.expression)
+            : null;
     if (!bi || bi.module !== "util" || bi.member !== "promisify")
         return null;
     return e;
@@ -57,6 +62,49 @@ export function registerBuiltinCallableAlias(lowerer, nameNode, init) {
     });
     return true;
 }
+/** The fs callback functions whose promisified form is the fs/promises
+ * member of the same name: the callback's single result is the promise's
+ * value and the errors are the same. fs.open (an fd number, where
+ * fs/promises.open gives a FileHandle), fs.exists (a custom promisify),
+ * and fs.read/fs.write (multi-value callbacks) are not in the set. */
+const PROMISIFIED_FS_MEMBERS = new Set([
+    "access",
+    "appendFile",
+    "chmod",
+    "chown",
+    "copyFile",
+    "lchown",
+    "link",
+    "lstat",
+    "lutimes",
+    "mkdir",
+    "mkdtemp",
+    "readFile",
+    "readdir",
+    "readlink",
+    "realpath",
+    "rename",
+    "rm",
+    "rmdir",
+    "stat",
+    "statfs",
+    "symlink",
+    "truncate",
+    "unlink",
+    "utimes",
+    "writeFile",
+]);
+/** The global setTimeout/setImmediate as a promisify target, keyed like
+ * the node:timers exports they are. Node's util.promisify returns their
+ * custom promisified form, which is timers/promises' function of the same
+ * name. */
+function globalTimerOf(lowerer, ident) {
+    if (ident.text !== "setTimeout" && ident.text !== "setImmediate")
+        return null;
+    if (!lowerer.isStdlibSymbol(lowerer.resolveValueSymbol(ident) ?? undefined))
+        return null;
+    return { module: "timers", member: ident.text };
+}
 export function registerPromisifiedBuiltinDecl(lowerer, nameNode, init) {
     if (!init)
         return false;
@@ -70,14 +118,40 @@ export function registerPromisifiedBuiltinDecl(lowerer, nameNode, init) {
     if (!e)
         return false;
     const argNode = e.arguments.length === 1 ? e.arguments[0] : null;
-    const target = argNode && ts.isIdentifier(argNode) ? lowerer.builtinImportOf(argNode) : null;
+    // `promisify(exec)` over a named import, or `promisify(cp.exec)` over a
+    // namespace import.
+    const target = !argNode
+        ? null
+        : ts.isIdentifier(argNode)
+            ? (lowerer.builtinImportOf(argNode) ?? globalTimerOf(lowerer, argNode))
+            : ts.isPropertyAccessExpression(argNode)
+                ? lowerer.builtinMemberOf(argNode)
+                : null;
     const projection = target?.module === "child_process" && target.member === "execFile"
         ? { kind: "promisified-exec-file" }
-        : target?.module === "fs" && target.member === "readFile"
-            ? { kind: "promisified-builtin", module: "fs/promises", member: "readFile" }
-            : null;
+        : target?.module === "child_process" && target.member === "exec"
+            ? { kind: "promisified-exec" }
+            : target?.module === "fs" && PROMISIFIED_FS_MEMBERS.has(target.member)
+                ? { kind: "promisified-builtin", module: "fs/promises", member: target.member }
+                : target?.module === "timers" &&
+                    (target.member === "setTimeout" || target.member === "setImmediate")
+                    ? {
+                        kind: "promisified-builtin",
+                        module: "timers/promises",
+                        member: target.member,
+                    }
+                    : target?.module === "stream" &&
+                        (target.member === "finished" || target.member === "pipeline")
+                        ? {
+                            kind: "promisified-builtin",
+                            module: "stream/promises",
+                            member: target.member,
+                        }
+                        : target?.module === "zlib" && isPromisifiedZlibMember(target.member)
+                            ? { kind: "promisified-zlib", member: target.member }
+                            : null;
     if (!projection) {
-        lowerer.noLowering("util.promisify of this target", argNode ?? e, "child_process.execFile and fs.readFile are the supported targets");
+        lowerer.noLowering("util.promisify of this target", argNode ?? e, "child_process.exec, child_process.execFile, setTimeout, setImmediate, stream.finished, stream.pipeline, the zlib callback one-shots and the fs callback functions with an fs/promises counterpart are the supported targets");
     }
     const symbol = lowerer.checker.getSymbolAtLocation(nameNode);
     if (symbol)

package/dist/frontend/lowering/builtins/callable-aliases.js.map

@@ -1 +1 @@
-{"version":3,"file":"callable-aliases.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/callable-aliases.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAgB,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAC;AAEjE;;;6DAG6D;AAC7D,MAAM,UAAU,eAAe,CAAC,OAAgB,EAAE,IAAmB;IACnE,IAAI,CAAC,GAAkB,IAAI,CAAC;IAC5B,OAAO,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;QAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;IACzD,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IAC/D,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IAChD,MAAM,EAAE,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;IACjD,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,MAAM,KAAK,MAAM,IAAI,EAAE,CAAC,MAAM,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IAC1E,OAAO,CAAC,CAAC;AACX,CAAC;AAED;;;kEAGkE;AAClE,MAAM,UAAU,4BAA4B,CAC1C,OAAgB,EAChB,QAAiB,EACjB,IAA+B;IAE/B,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACtD,IAAI,UAAU,GAAG,IAAI,CAAC;IACtB,OAAO,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC;QAAE,UAAU,GAAG,UAAU,CAAC,UAAU,CAAC;IACpF,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC;QAAE,OAAO,KAAK,CAAC;IAC/C,MAAM,YAAY,GAAG,OAAO,CAAC,kBAAkB,CAAC,UAAU,CAAC,CAAC;IAC5D,MAAM,QAAQ,GAAG,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACtF,MAAM,MAAM,GACV,QAAQ,EAAE,IAAI,KAAK,kBAAkB;QACnC,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE;QACtD,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC;IAC1C,IAAI,CAAC,MAAM,IAAI,CAAC,iBAAiB,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAC;IACvF,wEAAwE;IACxE,kEAAkE;IAClE,IACE,cAAc,CAAC,QAAQ,CAAC,aAAa,EAAE,CAAC;QACxC,MAAM,CAAC,MAAM,KAAK,MAAM;QACxB,CAAC,0BAA0B,EAAE,aAAa,EAAE,mBAAmB,EAAE,WAAW,CAAC,CAAC,QAAQ,CACpF,MAAM,CAAC,MAAM,CACd;QAED,OAAO,KAAK,CAAC;IACf,IAAI,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC3F,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC;IAC7D,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC1B,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,EAAE;QAClC,IAAI,EAAE,kBAAkB;QACxB,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,MAAM,EAAE,MAAM,CAAC,MAAM;KACtB,CAAC,CAAC;IACH,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,8BAA8B,CAC5C,OAAgB,EAChB,QAAiB,EACjB,IAA+B;IAE/B,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,kEAAkE;IAClE,gEAAgE;IAChE,mEAAmE;IACnE,kCAAkC;IAClC,IAAI,2BAA2B,CAAC,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACtE,MAAM,CAAC,GAAG,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACzC,IAAI,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACrB,MAAM,OAAO,GAAG,CAAC,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IAClE,MAAM,MAAM,GAAG,OAAO,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7F,MAAM,UAAU,GACd,MAAM,EAAE,MAAM,KAAK,eAAe,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU;QAChE,CAAC,CAAC,EAAE,IAAI,EAAE,uBAAgC,EAAE;QAC5C,CAAC,CAAC,MAAM,EAAE,MAAM,KAAK,IAAI,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU;YACvD,CAAC,CAAC,EAAE,IAAI,EAAE,qBAA8B,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,UAAU,EAAE;YACrF,CAAC,CAAC,IAAI,CAAC;IACb,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,CAAC,UAAU,CAChB,+BAA+B,EAC/B,OAAO,IAAI,CAAC,EACZ,kEAAkE,CACnE,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC;IAC7D,IAAI,MAAM;QAAE,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAC5D,OAAO,IAAI,CAAC;AACd,CAAC"}
+{"version":3,"file":"callable-aliases.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/callable-aliases.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAgB,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAC;AACjE,OAAO,EAAE,uBAAuB,EAAE,MAAM,kBAAkB,CAAC;AAE3D;;;6DAG6D;AAC7D,MAAM,UAAU,eAAe,CAAC,OAAgB,EAAE,IAAmB;IACnE,IAAI,CAAC,GAAkB,IAAI,CAAC;IAC5B,OAAO,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;QAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;IACzD,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IAC/D,qEAAqE;IACrE,+BAA+B;IAC/B,MAAM,EAAE,GAAG,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC;QACtC,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,UAAU,CAAC;QACvC,CAAC,CAAC,EAAE,CAAC,0BAA0B,CAAC,CAAC,CAAC,UAAU,CAAC;YAC3C,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,UAAU,CAAC;YACvC,CAAC,CAAC,IAAI,CAAC;IACX,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,MAAM,KAAK,MAAM,IAAI,EAAE,CAAC,MAAM,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IAC1E,OAAO,CAAC,CAAC;AACX,CAAC;AAED;;;kEAGkE;AAClE,MAAM,UAAU,4BAA4B,CAC1C,OAAgB,EAChB,QAAiB,EACjB,IAA+B;IAE/B,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACtD,IAAI,UAAU,GAAG,IAAI,CAAC;IACtB,OAAO,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC;QAAE,UAAU,GAAG,UAAU,CAAC,UAAU,CAAC;IACpF,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC;QAAE,OAAO,KAAK,CAAC;IAC/C,MAAM,YAAY,GAAG,OAAO,CAAC,kBAAkB,CAAC,UAAU,CAAC,CAAC;IAC5D,MAAM,QAAQ,GAAG,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACtF,MAAM,MAAM,GACV,QAAQ,EAAE,IAAI,KAAK,kBAAkB;QACnC,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE;QACtD,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC;IAC1C,IAAI,CAAC,MAAM,IAAI,CAAC,iBAAiB,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAC;IACvF,wEAAwE;IACxE,kEAAkE;IAClE,IACE,cAAc,CAAC,QAAQ,CAAC,aAAa,EAAE,CAAC;QACxC,MAAM,CAAC,MAAM,KAAK,MAAM;QACxB,CAAC,0BAA0B,EAAE,aAAa,EAAE,mBAAmB,EAAE,WAAW,CAAC,CAAC,QAAQ,CACpF,MAAM,CAAC,MAAM,CACd;QAED,OAAO,KAAK,CAAC;IACf,IAAI,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC3F,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC;IAC7D,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC1B,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,EAAE;QAClC,IAAI,EAAE,kBAAkB;QACxB,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,MAAM,EAAE,MAAM,CAAC,MAAM;KACtB,CAAC,CAAC;IACH,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;sEAIsE;AACtE,MAAM,sBAAsB,GAAwB,IAAI,GAAG,CAAC;IAC1D,QAAQ;IACR,YAAY;IACZ,OAAO;IACP,OAAO;IACP,UAAU;IACV,QAAQ;IACR,MAAM;IACN,OAAO;IACP,SAAS;IACT,OAAO;IACP,SAAS;IACT,UAAU;IACV,SAAS;IACT,UAAU;IACV,UAAU;IACV,QAAQ;IACR,IAAI;IACJ,OAAO;IACP,MAAM;IACN,QAAQ;IACR,SAAS;IACT,UAAU;IACV,QAAQ;IACR,QAAQ;IACR,WAAW;CACZ,CAAC,CAAC;AAEH;;;WAGW;AACX,SAAS,aAAa,CACpB,OAAgB,EAChB,KAAoB;IAEpB,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc;QAAE,OAAO,IAAI,CAAC;IAC9E,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,OAAO,CAAC,kBAAkB,CAAC,KAAK,CAAC,IAAI,SAAS,CAAC;QAAE,OAAO,IAAI,CAAC;IACzF,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;AAClD,CAAC;AAED,MAAM,UAAU,8BAA8B,CAC5C,OAAgB,EAChB,QAAiB,EACjB,IAA+B;IAE/B,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,kEAAkE;IAClE,gEAAgE;IAChE,mEAAmE;IACnE,kCAAkC;IAClC,IAAI,2BAA2B,CAAC,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACtE,MAAM,CAAC,GAAG,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACzC,IAAI,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACrB,MAAM,OAAO,GAAG,CAAC,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IAClE,wEAAwE;IACxE,oBAAoB;IACpB,MAAM,MAAM,GAAG,CAAC,OAAO;QACrB,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC;YACxB,CAAC,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC,OAAO,CAAC,IAAI,aAAa,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;YACvE,CAAC,CAAC,EAAE,CAAC,0BAA0B,CAAC,OAAO,CAAC;gBACtC,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC,OAAO,CAAC;gBAClC,CAAC,CAAC,IAAI,CAAC;IACb,MAAM,UAAU,GACd,MAAM,EAAE,MAAM,KAAK,eAAe,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU;QAChE,CAAC,CAAC,EAAE,IAAI,EAAE,uBAAgC,EAAE;QAC5C,CAAC,CAAC,MAAM,EAAE,MAAM,KAAK,eAAe,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM;YAC9D,CAAC,CAAC,EAAE,IAAI,EAAE,kBAA2B,EAAE;YACvC,CAAC,CAAC,MAAM,EAAE,MAAM,KAAK,IAAI,IAAI,sBAAsB,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC;gBACpE,CAAC,CAAC,EAAE,IAAI,EAAE,qBAA8B,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE;gBACxF,CAAC,CAAC,MAAM,EAAE,MAAM,KAAK,QAAQ;oBACzB,CAAC,MAAM,CAAC,MAAM,KAAK,YAAY,IAAI,MAAM,CAAC,MAAM,KAAK,cAAc,CAAC;oBACtE,CAAC,CAAC;wBACE,IAAI,EAAE,qBAA8B;wBACpC,MAAM,EAAE,iBAAiB;wBACzB,MAAM,EAAE,MAAM,CAAC,MAAM;qBACtB;oBACH,CAAC,CAAC,MAAM,EAAE,MAAM,KAAK,QAAQ;wBACzB,CAAC,MAAM,CAAC,MAAM,KAAK,UAAU,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU,CAAC;wBAChE,CAAC,CAAC;4BACE,IAAI,EAAE,qBAA8B;4BACpC,MAAM,EAAE,iBAAiB;4BACzB,MAAM,EAAE,MAAM,CAAC,MAAM;yBACtB;wBACH,CAAC,CAAC,MAAM,EAAE,MAAM,KAAK,MAAM,IAAI,uBAAuB,CAAC,MAAM,CAAC,MAAM,CAAC;4BACnE,CAAC,CAAC,EAAE,IAAI,EAAE,kBAA2B,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE;4BAC9D,CAAC,CAAC,IAAI,CAAC;IACrB,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,CAAC,UAAU,CAChB,+BAA+B,EAC/B,OAAO,IAAI,CAAC,EACZ,6NAA6N,CAC9N,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC;IAC7D,IAAI,MAAM;QAAE,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAC5D,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/frontend/lowering/builtins/child-process-async.d.ts

@@ -3,11 +3,13 @@ import { type Lowerer } from "../lowerer.js";
 import { type IrExpr, type SrcLoc } from "../../../ir/ir.js";
 /** A call THROUGH a promisified-execFile binding:
  * `execFileAsync(file, args?, options?)` → one call of the interned
- * %execFileAsync helper — an ASYNC IR function (a throw becomes a rejection
- * automatically) that runs the exec core synchronously and returns
- * `{ stdout, stderr }`, exactly Node's promisified execFile behind an
- * already-settled promise (the fs/promises stance, divergence 23).
- * Options are the exec-sync slice minus stdio (the async form always
+ * %execFileAsync helper (with `shell`, a promisified-exec binding:
+ * `execAsync(command, options?)` → %execAsync, the command line run by
+ * /bin/sh -c as execSync runs it) — an ASYNC IR function (a throw
+ * becomes a rejection automatically) that runs the exec core
+ * synchronously and returns `{ stdout, stderr }`, exactly Node's
+ * promisified execFile/exec behind an already-settled promise (the
+ * fs/promises stance, divergence 23). Options are the exec-sync slice minus stdio (the async form always
  * captures both streams, no echo): encoding must spell utf8, cwd/env/
  * timeout lower, maxBuffer/windowsHide are accepted no-ops, killSignal
  * only as its SIGTERM default. Rejections carry Node's async messages
@@ -15,4 +17,4 @@ import { type IrExpr, type SrcLoc } from "../../../ir/ir.js";
  * and "spawn <file> ENOENT" with .code); Node's numeric `.code` on a
  * Command-failed rejection (the exit status) is NOT carried —
  * SEMANTICS.md divergence 50's stance. */
-export declare function lowerExecFileAsyncCall(lowerer: Lowerer, expr: ts.CallExpression, loc: SrcLoc): IrExpr;
+export declare function lowerExecFileAsyncCall(lowerer: Lowerer, expr: ts.CallExpression, loc: SrcLoc, shell?: boolean): IrExpr;

package/dist/frontend/lowering/builtins/child-process-async.js

@@ -6,13 +6,16 @@ import {} from "../lowerer.js";
 import { conditionalSpreadOf } from "../expressions/object-literals.js";
 import { BOOL, F64, SPAWNRES_T, STRING, arrayOf, } from "../../../ir/ir.js";
 import { optionMember } from "./arguments.js";
+import { execResultShape } from "../../type-mapper.js";
 /** A call THROUGH a promisified-execFile binding:
  * `execFileAsync(file, args?, options?)` → one call of the interned
- * %execFileAsync helper — an ASYNC IR function (a throw becomes a rejection
- * automatically) that runs the exec core synchronously and returns
- * `{ stdout, stderr }`, exactly Node's promisified execFile behind an
- * already-settled promise (the fs/promises stance, divergence 23).
- * Options are the exec-sync slice minus stdio (the async form always
+ * %execFileAsync helper (with `shell`, a promisified-exec binding:
+ * `execAsync(command, options?)` → %execAsync, the command line run by
+ * /bin/sh -c as execSync runs it) — an ASYNC IR function (a throw
+ * becomes a rejection automatically) that runs the exec core
+ * synchronously and returns `{ stdout, stderr }`, exactly Node's
+ * promisified execFile/exec behind an already-settled promise (the
+ * fs/promises stance, divergence 23). Options are the exec-sync slice minus stdio (the async form always
  * captures both streams, no echo): encoding must spell utf8, cwd/env/
  * timeout lower, maxBuffer/windowsHide are accepted no-ops, killSignal
  * only as its SIGTERM default. Rejections carry Node's async messages
@@ -20,17 +23,31 @@ import { optionMember } from "./arguments.js";
  * and "spawn <file> ENOENT" with .code); Node's numeric `.code` on a
  * Command-failed rejection (the exit status) is NOT carried —
  * SEMANTICS.md divergence 50's stance. */
-export function lowerExecFileAsyncCall(lowerer, expr, loc) {
+export function lowerExecFileAsyncCall(lowerer, expr, loc, shell = false) {
+    const what = shell ? "the promisified exec" : "the promisified execFile";
     if (expr.arguments.length < 1 ||
-        expr.arguments.length > 3 ||
+        expr.arguments.length > (shell ? 2 : 3) ||
         expr.arguments.some(ts.isSpreadElement)) {
-        lowerer.noLowering("the promisified execFile with this argument shape", expr, "the supported form is execFileAsync(file, args?, options?)");
+        lowerer.noLowering(`${what} with this argument shape`, expr, shell
+            ? "the supported form is execAsync(command, options?)"
+            : "the supported form is execFileAsync(file, args?, options?)");
     }
-    const cmd = lowerer.lowerExprExpecting(expr.arguments[0], STRING);
-    const argv = lowerChildArgsArg(lowerer, expr.arguments[1], loc);
-    const optsNode = expr.arguments[2];
+    const command = lowerer.lowerExprExpecting(expr.arguments[0], STRING);
+    // exec: /bin/sh -c <command>, execSync's lowering (the command string
+    // rides as the argv[1] the failure display reads); execFile: file + its
+    // args list.
+    const cmd = shell ? { kind: "strLit", value: "/bin/sh", type: STRING, loc } : command;
+    const argv = shell
+        ? {
+            kind: "arrayLit",
+            elems: [{ kind: "strLit", value: "-c", type: STRING, loc }, command],
+            type: arrayOf(STRING),
+            loc,
+        }
+        : lowerChildArgsArg(lowerer, expr.arguments[1], loc);
+    const optsNode = expr.arguments[shell ? 1 : 2];
     const emptyStr = { kind: "strLit", value: "", type: STRING, loc };
-    const helper = execFileAsyncHelper(lowerer, loc);
+    const helper = execFileAsyncHelper(lowerer, loc, shell);
     const envRecT = { kind: "record", shapeId: helper.envShapeId };
     const envRec = (has, pairs) => ({
         kind: "recordLit",
@@ -47,7 +64,7 @@ export function lowerExecFileAsyncCall(lowerer, expr, loc) {
     let timeout = numLit(0, loc);
     if (optsNode) {
         if (!ts.isObjectLiteralExpression(optsNode)) {
-            lowerer.noLowering("the promisified execFile with a non-literal options argument", optsNode, "pass the options inline so each member can be checked");
+            lowerer.noLowering(`${what} with a non-literal options argument`, optsNode, "pass the options inline so each member can be checked");
         }
         for (const p of optsNode.properties) {
             // The conditional-spread idiom carrying `env` — the portless
@@ -76,17 +93,17 @@ export function lowerExecFileAsyncCall(lowerer, expr, loc) {
                     };
                     continue;
                 }
-                lowerer.noLowering("the promisified execFile with this options spread", p, "the one supported spread is the conditional `...(c ? { env: ... } : {})` (either orientation) — write other members inline");
+                lowerer.noLowering(`${what} with this options spread`, p, "the one supported spread is the conditional `...(c ? { env: ... } : {})` (either orientation) — write other members inline");
             }
             const m = optionMember(p);
             if (!m) {
-                lowerer.noLowering("the promisified execFile with this options shape", p, "spreads and computed keys have no lowering — write each member inline");
+                lowerer.noLowering(`${what} with this options shape`, p, "spreads and computed keys have no lowering — write each member inline");
             }
             switch (m.name) {
                 case "encoding": {
                     const t = lowerer.typeOf(m.value);
                     if (!t.isStringLiteralType() || (t.value !== "utf8" && t.value !== "utf-8")) {
-                        lowerer.noLowering("the promisified execFile with a non-utf8 encoding", m.value, 'outputs are captured as utf8 — pass { encoding: "utf8" } (Node\'s own default here)');
+                        lowerer.noLowering(`${what} with a non-utf8 encoding`, m.value, 'outputs are captured as utf8 — pass { encoding: "utf8" } (Node\'s own default here)');
                     }
                     break;
                 }
@@ -108,12 +125,12 @@ export function lowerExecFileAsyncCall(lowerer, expr, loc) {
                 case "killSignal": {
                     const t = lowerer.typeOf(m.value);
                     if (!t.isStringLiteralType() || t.value !== "SIGTERM") {
-                        lowerer.noLowering("the promisified execFile with a non-default killSignal", m.value, "only the SIGTERM default is implemented for the timeout kill");
+                        lowerer.noLowering(`${what} with a non-default killSignal`, m.value, "only the SIGTERM default is implemented for the timeout kill");
                     }
                     break;
                 }
                 default:
-                    lowerer.noLowering(`the promisified execFile option '${m.name}'`, p, "encoding, cwd, env, timeout, and maxBuffer are the supported options");
+                    lowerer.noLowering(`${what} option '${m.name}'`, p, "encoding, cwd, env, timeout, and maxBuffer are the supported options");
             }
         }
     }
@@ -126,16 +143,14 @@ export function lowerExecFileAsyncCall(lowerer, expr, loc) {
     };
 }
 /** The interned `%execFileAsync` helper behind promisified-execFile
- * calls: an ASYNC IR function (params: cmd, argv, cwd, hasEnv, envPairs,
- * timeoutMs) whose body runs the may-throw cp.execCapture libCall — the
- * async machinery turns a throw into the rejection, Node's promisified
+ * calls (`%execAsync`, with `shell`, behind promisified-exec ones): an
+ * ASYNC IR function (params: cmd, argv, cwd, env {has, pairs}, timeoutMs)
+ * whose body runs the may-throw cp.execCapture libCall — the async
+ * machinery turns a throw into the rejection, Node's promisified
  * behavior — and returns the `{ stdout, stderr }` record built from the
- * capture. One helper per program (the shape is fixed). */
-function execFileAsyncHelper(lowerer, loc) {
-    const shapeId = lowerer.shapes.intern([
-        { name: "stderr", type: STRING },
-        { name: "stdout", type: STRING },
-    ]);
+ * capture. One helper per program and form (the shape is fixed). */
+function execFileAsyncHelper(lowerer, loc, shell) {
+    const shapeId = execResultShape(lowerer.shapes);
     // The env choice travels as ONE {has, pairs} record so a conditional
     // env spread's condition evaluates exactly once at the call site (has
     // and pairs both derive from it).
@@ -143,11 +158,11 @@ function execFileAsyncHelper(lowerer, loc) {
         { name: "has", type: BOOL },
         { name: "pairs", type: arrayOf(STRING) },
     ]);
-    const key = "execFileAsync";
+    const key = shell ? "execAsync" : "execFileAsync";
     const existing = lowerer.valueHelpers.get(key);
     if (existing)
         return { name: existing, shapeId, envShapeId };
-    const name = `%execFileAsync.${lowerer.valueHelpers.size}`;
+    const name = `%${key}.${lowerer.valueHelpers.size}`;
     lowerer.valueHelpers.set(key, name);
     const recT = { kind: "record", shapeId };
     const envRecT = { kind: "record", shapeId: envShapeId };
@@ -162,6 +177,7 @@ function execFileAsyncHelper(lowerer, loc) {
                 args: [
                     varRef("cmd.0", STRING, loc),
                     varRef("argv.0", strArrT, loc),
+                    boolLit(shell, loc),
                     varRef("cwd.0", STRING, loc),
                     {
                         kind: "recordGet",

package/dist/frontend/lowering/builtins/child-process-async.js.map

@@ -1 +1 @@
-{"version":3,"file":"child-process-async.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/child-process-async.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AACpD,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC/D,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAgB,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAC;AACxE,OAAO,EACL,IAAI,EACJ,GAAG,EAIH,UAAU,EACV,MAAM,EAEN,OAAO,GACR,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAE9C;;;;;;;;;;;;;0CAa0C;AAC1C,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,IAAuB,EACvB,GAAW;IAEX,IACE,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC;QACzB,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC;QACzB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,EACvC,CAAC;QACD,OAAO,CAAC,UAAU,CAChB,mDAAmD,EACnD,IAAI,EACJ,4DAA4D,CAC7D,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,MAAM,CAAC,CAAC;IACnE,MAAM,IAAI,GAAG,iBAAiB,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAChE,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAEnC,MAAM,QAAQ,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAC1E,MAAM,MAAM,GAAG,mBAAmB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IACjD,MAAM,OAAO,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC;IACvE,MAAM,MAAM,GAAG,CAAC,GAAY,EAAE,KAAa,EAAU,EAAE,CAAC,CAAC;QACvD,IAAI,EAAE,WAAW;QACjB,MAAM,EAAE;YACN,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE;YACzC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE;SAChC;QACD,IAAI,EAAE,OAAO;QACb,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,UAAU,GAAG,GAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IAC/F,IAAI,GAAG,GAAW,QAAQ,CAAC;IAC3B,IAAI,GAAG,GAAW,MAAM,CAAC,KAAK,EAAE,UAAU,EAAE,CAAC,CAAC;IAC9C,IAAI,OAAO,GAAW,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACrC,IAAI,QAAQ,EAAE,CAAC;QACb,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC5C,OAAO,CAAC,UAAU,CAChB,8DAA8D,EAC9D,QAAQ,EACR,uDAAuD,CACxD,CAAC;QACJ,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;YACpC,6DAA6D;YAC7D,iEAAiE;YACjE,gEAAgE;YAChE,iEAAiE;YACjE,kEAAkE;YAClE,8DAA8D;YAC9D,IAAI,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC7B,MAAM,EAAE,GAAG,mBAAmB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;gBAC7C,IACE,EAAE,KAAK,IAAI;oBACX,EAAE,KAAK,aAAa;oBACpB,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;oBACrB,EAAE,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;oBAChC,EAAE,CAAC,oBAAoB,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,EACrC,CAAC;oBACD,MAAM,IAAI,GAAG,OAAO,CAAC,cAAc,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;oBAC7C,MAAM,OAAO,GAAG,MAAM,CACpB,IAAI,EACJ,gBAAgB,CAAC,OAAO,EAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAA2B,CAAC,WAAW,CAAC,CAC9E,CAAC;oBACF,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,EAAE,UAAU,EAAE,CAAC,CAAC;oBAC3C,GAAG,GAAG;wBACJ,IAAI,EAAE,SAAS;wBACf,IAAI;wBACJ,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM;wBACpC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO;wBACrC,IAAI,EAAE,OAAO;wBACb,GAAG;qBACJ,CAAC;oBACF,SAAS;gBACX,CAAC;gBACD,OAAO,CAAC,UAAU,CAChB,mDAAmD,EACnD,CAAC,EACD,4HAA4H,CAC7H,CAAC;YACJ,CAAC;YACD,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;YAC1B,IAAI,CAAC,CAAC,EAAE,CAAC;gBACP,OAAO,CAAC,UAAU,CAChB,kDAAkD,EAClD,CAAC,EACD,uEAAuE,CACxE,CAAC;YACJ,CAAC;YACD,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;gBACf,KAAK,UAAU,EAAE,CAAC;oBAChB,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;oBAClC,IAAI,CAAC,CAAC,CAAC,mBAAmB,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,MAAM,IAAI,CAAC,CAAC,KAAK,KAAK,OAAO,CAAC,EAAE,CAAC;wBAC5E,OAAO,CAAC,UAAU,CAChB,mDAAmD,EACnD,CAAC,CAAC,KAAK,EACP,qFAAqF,CACtF,CAAC;oBACJ,CAAC;oBACD,MAAM;gBACR,CAAC;gBACD,KAAK,KAAK;oBACR,GAAG,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;oBAClD,MAAM;gBACR,KAAK,KAAK;oBACR,GAAG,GAAG,MAAM,CAAC,IAAI,EAAE,gBAAgB,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;oBACvD,MAAM;gBACR,KAAK,SAAS;oBACZ,OAAO,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;oBACnD,MAAM;gBACR,KAAK,WAAW;oBACd,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,yCAAyC;oBACrE,MAAM;gBACR,KAAK,aAAa;oBAChB,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,sBAAsB;oBAClD,MAAM;gBACR,KAAK,YAAY,EAAE,CAAC;oBAClB,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;oBAClC,IAAI,CAAC,CAAC,CAAC,mBAAmB,EAAE,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;wBACtD,OAAO,CAAC,UAAU,CAChB,wDAAwD,EACxD,CAAC,CAAC,KAAK,EACP,8DAA8D,CAC/D,CAAC;oBACJ,CAAC;oBACD,MAAM;gBACR,CAAC;gBACD;oBACE,OAAO,CAAC,UAAU,CAChB,oCAAoC,CAAC,CAAC,IAAI,GAAG,EAC7C,CAAC,EACD,sEAAsE,CACvE,CAAC;YACN,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,MAAM,CAAC,IAAI;QACnB,IAAI,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,OAAO,CAAC;QACpC,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,EAAE;QAC7E,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;;;;2DAK2D;AAC3D,SAAS,mBAAmB,CAC1B,OAAgB,EAChB,GAAW;IAEX,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC;QACpC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE;QAChC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE;KACjC,CAAC,CAAC;IACH,qEAAqE;IACrE,sEAAsE;IACtE,kCAAkC;IAClC,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC;QACvC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE;KACzC,CAAC,CAAC;IACH,MAAM,GAAG,GAAG,eAAe,CAAC;IAC5B,MAAM,QAAQ,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC/C,IAAI,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;IAC7D,MAAM,IAAI,GAAG,kBAAkB,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;IAC3D,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACpC,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;IACjD,MAAM,OAAO,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;IAChE,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAEhC,MAAM,IAAI,GAAa;QACrB;YACE,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,KAAK;YACd,IAAI,EAAE;gBACJ,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,gBAAgB;gBACpB,IAAI,EAAE;oBACJ,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC;oBAC5B,MAAM,CAAC,QAAQ,EAAE,OAAO,EAAE,GAAG,CAAC;oBAC9B,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC;oBAC5B;wBACE,IAAI,EAAE,WAAW;wBACjB,GAAG,EAAE,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC;wBAClC,OAAO,EAAE,UAAU;wBACnB,KAAK,EAAE,KAAK;wBACZ,IAAI,EAAE,IAAI;wBACV,GAAG;qBACJ;oBACD;wBACE,IAAI,EAAE,WAAW;wBACjB,GAAG,EAAE,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC;wBAClC,OAAO,EAAE,UAAU;wBACnB,KAAK,EAAE,OAAO;wBACd,IAAI,EAAE,OAAO;wBACb,GAAG;qBACJ;oBACD,MAAM,CAAC,WAAW,EAAE,GAAG,EAAE,GAAG,CAAC;iBAC9B;gBACD,IAAI,EAAE,UAAU;gBAChB,GAAG;aACJ;YACD,GAAG;SACJ;QACD;YACE,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE;gBACL,IAAI,EAAE,WAAW;gBACjB,MAAM,EAAE;oBACN;wBACE,IAAI,EAAE,QAAQ;wBACd,KAAK,EAAE;4BACL,IAAI,EAAE,SAAS;4BACf,EAAE,EAAE,iBAAiB;4BACrB,IAAI,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;4BACtC,IAAI,EAAE,MAAM;4BACZ,GAAG;yBACJ;qBACF;oBACD;wBACE,IAAI,EAAE,QAAQ;wBACd,KAAK,EAAE;4BACL,IAAI,EAAE,SAAS;4BACf,EAAE,EAAE,iBAAiB;4BACrB,IAAI,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;4BACtC,IAAI,EAAE,MAAM;4BACZ,GAAG;yBACJ;qBACF;iBACF;gBACD,IAAI,EAAE,IAAI;gBACV,GAAG;aACJ;YACD,GAAG;SACJ;KACF,CAAC;IACF,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;QACrB,IAAI;QACJ,MAAM,EAAE;YACN,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE;YAC/C,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE;YAClD,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE;YAC/C,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE;YAChD,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,EAAE;SACrD;QACD,UAAU,EAAE,IAAI;QAChB,KAAK,EAAE,IAAI;QACX,MAAM,EAAE;YACN,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE;YAC1D,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE;YAC7D,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE;YAC1D,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE;YAC3D,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE;YAC/D,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,EAAE;SAC3D;QACD,IAAI;QACJ,GAAG;KACJ,CAAC,CAAC;IACH,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;AACvC,CAAC"}
+{"version":3,"file":"child-process-async.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/child-process-async.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AACpD,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC/D,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAgB,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAC;AACxE,OAAO,EACL,IAAI,EACJ,GAAG,EAIH,UAAU,EACV,MAAM,EAEN,OAAO,GACR,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAEvD;;;;;;;;;;;;;;;0CAe0C;AAC1C,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,IAAuB,EACvB,GAAW,EACX,KAAK,GAAG,KAAK;IAEb,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,0BAA0B,CAAC;IACzE,IACE,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC;QACzB,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,EACvC,CAAC;QACD,OAAO,CAAC,UAAU,CAChB,GAAG,IAAI,2BAA2B,EAClC,IAAI,EACJ,KAAK;YACH,CAAC,CAAC,oDAAoD;YACtD,CAAC,CAAC,4DAA4D,CACjE,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,MAAM,CAAC,CAAC;IACvE,sEAAsE;IACtE,wEAAwE;IACxE,aAAa;IACb,MAAM,GAAG,GAAW,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;IAC9F,MAAM,IAAI,GAAW,KAAK;QACxB,CAAC,CAAC;YACE,IAAI,EAAE,UAAU;YAChB,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,OAAO,CAAC;YACpE,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC;YACrB,GAAG;SACJ;QACH,CAAC,CAAC,iBAAiB,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACvD,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAE/C,MAAM,QAAQ,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAC1E,MAAM,MAAM,GAAG,mBAAmB,CAAC,OAAO,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;IACxD,MAAM,OAAO,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC;IACvE,MAAM,MAAM,GAAG,CAAC,GAAY,EAAE,KAAa,EAAU,EAAE,CAAC,CAAC;QACvD,IAAI,EAAE,WAAW;QACjB,MAAM,EAAE;YACN,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE;YACzC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE;SAChC;QACD,IAAI,EAAE,OAAO;QACb,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,UAAU,GAAG,GAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IAC/F,IAAI,GAAG,GAAW,QAAQ,CAAC;IAC3B,IAAI,GAAG,GAAW,MAAM,CAAC,KAAK,EAAE,UAAU,EAAE,CAAC,CAAC;IAC9C,IAAI,OAAO,GAAW,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACrC,IAAI,QAAQ,EAAE,CAAC;QACb,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC5C,OAAO,CAAC,UAAU,CAChB,GAAG,IAAI,sCAAsC,EAC7C,QAAQ,EACR,uDAAuD,CACxD,CAAC;QACJ,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;YACpC,6DAA6D;YAC7D,iEAAiE;YACjE,gEAAgE;YAChE,iEAAiE;YACjE,kEAAkE;YAClE,8DAA8D;YAC9D,IAAI,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC7B,MAAM,EAAE,GAAG,mBAAmB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;gBAC7C,IACE,EAAE,KAAK,IAAI;oBACX,EAAE,KAAK,aAAa;oBACpB,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;oBACrB,EAAE,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;oBAChC,EAAE,CAAC,oBAAoB,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,EACrC,CAAC;oBACD,MAAM,IAAI,GAAG,OAAO,CAAC,cAAc,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;oBAC7C,MAAM,OAAO,GAAG,MAAM,CACpB,IAAI,EACJ,gBAAgB,CAAC,OAAO,EAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAA2B,CAAC,WAAW,CAAC,CAC9E,CAAC;oBACF,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,EAAE,UAAU,EAAE,CAAC,CAAC;oBAC3C,GAAG,GAAG;wBACJ,IAAI,EAAE,SAAS;wBACf,IAAI;wBACJ,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM;wBACpC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO;wBACrC,IAAI,EAAE,OAAO;wBACb,GAAG;qBACJ,CAAC;oBACF,SAAS;gBACX,CAAC;gBACD,OAAO,CAAC,UAAU,CAChB,GAAG,IAAI,2BAA2B,EAClC,CAAC,EACD,4HAA4H,CAC7H,CAAC;YACJ,CAAC;YACD,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;YAC1B,IAAI,CAAC,CAAC,EAAE,CAAC;gBACP,OAAO,CAAC,UAAU,CAChB,GAAG,IAAI,0BAA0B,EACjC,CAAC,EACD,uEAAuE,CACxE,CAAC;YACJ,CAAC;YACD,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;gBACf,KAAK,UAAU,EAAE,CAAC;oBAChB,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;oBAClC,IAAI,CAAC,CAAC,CAAC,mBAAmB,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,MAAM,IAAI,CAAC,CAAC,KAAK,KAAK,OAAO,CAAC,EAAE,CAAC;wBAC5E,OAAO,CAAC,UAAU,CAChB,GAAG,IAAI,2BAA2B,EAClC,CAAC,CAAC,KAAK,EACP,qFAAqF,CACtF,CAAC;oBACJ,CAAC;oBACD,MAAM;gBACR,CAAC;gBACD,KAAK,KAAK;oBACR,GAAG,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;oBAClD,MAAM;gBACR,KAAK,KAAK;oBACR,GAAG,GAAG,MAAM,CAAC,IAAI,EAAE,gBAAgB,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;oBACvD,MAAM;gBACR,KAAK,SAAS;oBACZ,OAAO,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;oBACnD,MAAM;gBACR,KAAK,WAAW;oBACd,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,yCAAyC;oBACrE,MAAM;gBACR,KAAK,aAAa;oBAChB,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,sBAAsB;oBAClD,MAAM;gBACR,KAAK,YAAY,EAAE,CAAC;oBAClB,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;oBAClC,IAAI,CAAC,CAAC,CAAC,mBAAmB,EAAE,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;wBACtD,OAAO,CAAC,UAAU,CAChB,GAAG,IAAI,gCAAgC,EACvC,CAAC,CAAC,KAAK,EACP,8DAA8D,CAC/D,CAAC;oBACJ,CAAC;oBACD,MAAM;gBACR,CAAC;gBACD;oBACE,OAAO,CAAC,UAAU,CAChB,GAAG,IAAI,YAAY,CAAC,CAAC,IAAI,GAAG,EAC5B,CAAC,EACD,sEAAsE,CACvE,CAAC;YACN,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,MAAM,CAAC,IAAI;QACnB,IAAI,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,OAAO,CAAC;QACpC,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,EAAE;QAC7E,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;;;;;oEAMoE;AACpE,SAAS,mBAAmB,CAC1B,OAAgB,EAChB,GAAW,EACX,KAAc;IAEd,MAAM,OAAO,GAAG,eAAe,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAChD,qEAAqE;IACrE,sEAAsE;IACtE,kCAAkC;IAClC,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC;QACvC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE;KACzC,CAAC,CAAC;IACH,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,eAAe,CAAC;IAClD,MAAM,QAAQ,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC/C,IAAI,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;IAC7D,MAAM,IAAI,GAAG,IAAI,GAAG,IAAI,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;IACpD,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACpC,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;IACjD,MAAM,OAAO,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;IAChE,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAEhC,MAAM,IAAI,GAAa;QACrB;YACE,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,KAAK;YACd,IAAI,EAAE;gBACJ,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,gBAAgB;gBACpB,IAAI,EAAE;oBACJ,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC;oBAC5B,MAAM,CAAC,QAAQ,EAAE,OAAO,EAAE,GAAG,CAAC;oBAC9B,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;oBACnB,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC;oBAC5B;wBACE,IAAI,EAAE,WAAW;wBACjB,GAAG,EAAE,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC;wBAClC,OAAO,EAAE,UAAU;wBACnB,KAAK,EAAE,KAAK;wBACZ,IAAI,EAAE,IAAI;wBACV,GAAG;qBACJ;oBACD;wBACE,IAAI,EAAE,WAAW;wBACjB,GAAG,EAAE,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC;wBAClC,OAAO,EAAE,UAAU;wBACnB,KAAK,EAAE,OAAO;wBACd,IAAI,EAAE,OAAO;wBACb,GAAG;qBACJ;oBACD,MAAM,CAAC,WAAW,EAAE,GAAG,EAAE,GAAG,CAAC;iBAC9B;gBACD,IAAI,EAAE,UAAU;gBAChB,GAAG;aACJ;YACD,GAAG;SACJ;QACD;YACE,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE;gBACL,IAAI,EAAE,WAAW;gBACjB,MAAM,EAAE;oBACN;wBACE,IAAI,EAAE,QAAQ;wBACd,KAAK,EAAE;4BACL,IAAI,EAAE,SAAS;4BACf,EAAE,EAAE,iBAAiB;4BACrB,IAAI,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;4BACtC,IAAI,EAAE,MAAM;4BACZ,GAAG;yBACJ;qBACF;oBACD;wBACE,IAAI,EAAE,QAAQ;wBACd,KAAK,EAAE;4BACL,IAAI,EAAE,SAAS;4BACf,EAAE,EAAE,iBAAiB;4BACrB,IAAI,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;4BACtC,IAAI,EAAE,MAAM;4BACZ,GAAG;yBACJ;qBACF;iBACF;gBACD,IAAI,EAAE,IAAI;gBACV,GAAG;aACJ;YACD,GAAG;SACJ;KACF,CAAC;IACF,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;QACrB,IAAI;QACJ,MAAM,EAAE;YACN,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE;YAC/C,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE;YAClD,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE;YAC/C,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE;YAChD,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,EAAE;SACrD;QACD,UAAU,EAAE,IAAI;QAChB,KAAK,EAAE,IAAI;QACX,MAAM,EAAE;YACN,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE;YAC1D,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE;YAC7D,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE;YAC1D,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE;YAC3D,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE;YAC/D,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,EAAE;SAC3D;QACD,IAAI;QACJ,GAAG;KACJ,CAAC,CAAC;IACH,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;AACvC,CAAC"}

package/dist/frontend/lowering/builtins/compression.d.ts

@@ -19,6 +19,15 @@ export declare function lowerZlibStreamBytesWritten(lowerer: Lowerer, access: ts
  * the write-callback rule; numeric operands cross as dyn values for the
  * runtime's range checks. */
 export declare function lowerZlibStreamMethodCall(lowerer: Lowerer, call: ts.CallExpression, access: ts.PropertyAccessExpression): IrExpr;
+/** True for a zlib callback one-shot util.promisify converts (deflate,
+ * inflate, deflateRaw, inflateRaw, gzip, gunzip and unzip). */
+export declare function isPromisifiedZlibMember(member: string): boolean;
+/** A call through `promisify(zlib.gzip)` and the other callback one-shots:
+ * `gzipAsync(data, options?)` runs the callback form's work and returns a
+ * promise that settles where the callback would run, with the Buffer or the
+ * callback form's Error. An options or input error rejects the promise, as
+ * the throw inside Node's promisify wrapper does. */
+export declare function lowerPromisifiedZlibCall(lowerer: Lowerer, expr: ts.CallExpression, member: string, loc: SrcLoc): IrExpr;
 export declare function lowerZlibModuleCall(lowerer: Lowerer, expr: ts.CallExpression, bi: {
     module: string;
     member: string;

package/dist/frontend/lowering/builtins/compression.js

@@ -5,7 +5,7 @@ import * as ts from "../../ts7/adapter.js";
 import {} from "../lowerer.js";
 import { locOf } from "../../program.js";
 import { isNodeTypesPath } from "../../dts-paths.js";
-import { BYTES_U8, DYN, F64, funcOf, VOID, ZLIB_STREAM_MODES, } from "../../../ir/ir.js";
+import { BYTES_U8, DYN, F64, funcOf, STRING, VOID, ZLIB_STREAM_MODES, } from "../../../ir/ir.js";
 const ZLIB_SYNC_FNS = {
     deflateSync: "zlib.deflateSync",
     inflateSync: "zlib.inflateSync",
@@ -25,6 +25,40 @@ const ZLIB_CALLBACK_FNS = {
     unzip: "zlib.unzipCb",
 };
 const ZLIB_STREAM_T = { kind: "object", className: "%Transform" };
+/** A zlib data argument, lowered once: Buffer/Uint8Array bytes, a string
+ * (UTF-8 encoded here), or a checked-dynamic value (the JS lane's untyped
+ * data, which the runtime converts after validating the options — Node's
+ * order). Other static types keep the byte-input fence. */
+function zlibInput(lowerer, node, loc) {
+    const value = lowerer.lowerExpr(node);
+    if (value.type.kind === "dyn")
+        return { value, dyn: true };
+    if (value.type.kind === "bytes" && value.type.elem === "u8")
+        return { value, dyn: false };
+    if (value.type.kind === "string") {
+        return {
+            value: {
+                kind: "libCall",
+                fn: "buffer.fromStr",
+                args: [value, { kind: "strLit", value: "utf8", type: STRING, loc }],
+                type: BYTES_U8,
+                loc,
+            },
+            dyn: false,
+        };
+    }
+    lowerer.noLowering(`zlib byte input of '${lowerer.fmt(value.type)}' values`, node, "string and Buffer/Uint8Array values are supported");
+}
+/** A zlib options argument as the dyn value the runtime ladder reads. */
+function zlibOptionsValue(lowerer, node, what, loc) {
+    const raw = lowerer.lowerExpr(node);
+    if (raw.type.kind === "dyn")
+        return raw;
+    if (raw.kind === "unitLit" || lowerer.dynConvertible(raw.type)) {
+        return { kind: "dynFrom", value: raw, type: DYN, loc };
+    }
+    lowerer.noLowering(`${what} with a '${lowerer.fmt(raw.type)}' options value`, node, "zlib options are a plain object of numbers, booleans and Buffers");
+}
 /** `zlib.createGzip(options?)` and `new zlib.Gzip(options?)`: the runtime
  * Transform stream (scr_zlib_stream.c). The options value crosses as a dyn
  * value and is validated at runtime with Node's ladder, so literal and
@@ -35,18 +69,7 @@ export function lowerZlibStreamNew(lowerer, args, mode, what, site, loc) {
     if (args.length > 1) {
         lowerer.noLowering(`${what} with ${args.length} arguments`, args[1], "the supported form takes one options object");
     }
-    let options = dynUndefinedExpr(loc);
-    if (args[0] !== undefined) {
-        const raw = lowerer.lowerExpr(args[0]);
-        if (raw.type.kind === "dyn")
-            options = raw;
-        else if (raw.kind === "unitLit" || lowerer.dynConvertible(raw.type)) {
-            options = { kind: "dynFrom", value: raw, type: DYN, loc };
-        }
-        else {
-            lowerer.noLowering(`${what} with a '${lowerer.fmt(raw.type)}' options value`, args[0], "zlib stream options are a plain object of numbers, booleans and Buffers");
-        }
-    }
+    const options = args[0] !== undefined ? zlibOptionsValue(lowerer, args[0], what, loc) : dynUndefinedExpr(loc);
     return {
         kind: "libCall",
         fn: "zlib.streamNew",
@@ -182,6 +205,55 @@ export function lowerZlibStreamMethodCall(lowerer, call, access) {
             lowerer.noLowering(`zlib stream member '${member}'`, access);
     }
 }
+/** node_zlib_mode of each one-shot form (the options-taking runtime entry). */
+const ZLIB_ONE_SHOT_MODES = {
+    deflateSync: 1,
+    inflateSync: 2,
+    gzipSync: 3,
+    gunzipSync: 4,
+    deflateRawSync: 5,
+    inflateRawSync: 6,
+    unzipSync: 7,
+    deflate: 1,
+    inflate: 2,
+    gzip: 3,
+    gunzip: 4,
+    deflateRaw: 5,
+    inflateRaw: 6,
+    unzip: 7,
+};
+/** True for a zlib callback one-shot util.promisify converts (deflate,
+ * inflate, deflateRaw, inflateRaw, gzip, gunzip and unzip). */
+export function isPromisifiedZlibMember(member) {
+    return ZLIB_CALLBACK_FNS[member] !== undefined;
+}
+/** A call through `promisify(zlib.gzip)` and the other callback one-shots:
+ * `gzipAsync(data, options?)` runs the callback form's work and returns a
+ * promise that settles where the callback would run, with the Buffer or the
+ * callback form's Error. An options or input error rejects the promise, as
+ * the throw inside Node's promisify wrapper does. */
+export function lowerPromisifiedZlibCall(lowerer, expr, member, loc) {
+    if (expr.arguments.some(ts.isSpreadElement)) {
+        lowerer.noLowering(`the promisified zlib.${member} with spread arguments`, expr);
+    }
+    if (expr.arguments.length !== 1 && expr.arguments.length !== 2) {
+        lowerer.noLowering(`the promisified zlib.${member} with ${expr.arguments.length} arguments`, expr, `the supported forms are ${member}Async(data) and ${member}Async(data, options)`);
+    }
+    const input = zlibInput(lowerer, expr.arguments[0], loc);
+    return {
+        kind: "libCall",
+        fn: input.dyn ? "zlib.promiseDyn" : "zlib.promise",
+        args: [
+            numLit(ZLIB_ONE_SHOT_MODES[member], loc),
+            input.value,
+            expr.arguments[1] !== undefined
+                ? zlibOptionsValue(lowerer, expr.arguments[1], `zlib.${member}`, loc)
+                : dynUndefinedExpr(loc),
+        ],
+        type: { kind: "promise", inner: BYTES_U8 },
+        loc,
+    };
+}
 const ZLIB_STREAM_FACTORIES = {
     createDeflate: 1,
     createInflate: 2,
@@ -201,13 +273,31 @@ export function lowerZlibModuleCall(lowerer, expr, bi, loc) {
     }
     const syncFn = ZLIB_SYNC_FNS[bi.member];
     if (syncFn !== undefined) {
+        if (expr.arguments.length === 0 || expr.arguments.length > 2) {
+            lowerer.noLowering(`${bi.member} with ${expr.arguments.length} arguments`, expr);
+        }
+        const input = zlibInput(lowerer, expr.arguments[0], loc);
+        if (input.dyn) {
+            return {
+                kind: "libCall",
+                fn: "zlib.syncOptsDyn",
+                args: [
+                    numLit(ZLIB_ONE_SHOT_MODES[bi.member], loc),
+                    input.value,
+                    expr.arguments[1] !== undefined
+                        ? zlibOptionsValue(lowerer, expr.arguments[1], `zlib.${bi.member}`, loc)
+                        : dynUndefinedExpr(loc),
+                ],
+                type: BYTES_U8,
+                loc,
+            };
+        }
         if (expr.arguments.length === 2 &&
             (bi.member === "deflateSync" || bi.member === "deflateRawSync" || bi.member === "gzipSync")) {
             const options = expr.arguments[1];
-            // A literal level is enough for build-time compression in the native
-            // emitters. Other options retain the explicit refusal: dropping
-            // strategy/windowBits/dictionaries without a diagnostic changes the
-            // wire bytes.
+            // A lone literal level keeps the direct compression entry (build-time
+            // compression in the native emitters uses it); other options take the
+            // runtime option ladder below.
             if (ts.isObjectLiteralExpression(options) && options.properties.length === 1) {
                 const prop = options.properties[0];
                 if (ts.isPropertyAssignment(prop) &&
@@ -226,7 +316,7 @@ export function lowerZlibModuleCall(lowerer, expr, bi, loc) {
                             kind: "libCall",
                             fn: "zlib.deflateLevelSync",
                             args: [
-                                lowerBuiltinByteInput(lowerer, expr.arguments[0], loc, "zlib"),
+                                input.value,
                                 numLit(bi.member === "deflateSync" ? 0 : bi.member === "deflateRawSync" ? 1 : 2, loc),
                                 numLit(level, loc),
                             ],
@@ -236,33 +326,58 @@ export function lowerZlibModuleCall(lowerer, expr, bi, loc) {
                     }
                 }
             }
-            lowerer.noLowering(`${bi.member} with these options`, options, "the static compression options form is { level: <integer literal from -1 through 9> }");
         }
-        if (expr.arguments.length !== 1) {
-            const site = expr.arguments[1] ?? expr;
-            lowerer.noLowering(`${bi.member} with explicit options`, site, `${bi.member}(data) with Node's default options is supported`);
+        if (expr.arguments.length === 2) {
+            return {
+                kind: "libCall",
+                fn: "zlib.syncOpts",
+                args: [
+                    numLit(ZLIB_ONE_SHOT_MODES[bi.member], loc),
+                    input.value,
+                    zlibOptionsValue(lowerer, expr.arguments[1], `zlib.${bi.member}`, loc),
+                ],
+                type: BYTES_U8,
+                loc,
+            };
         }
         return {
             kind: "libCall",
             fn: syncFn,
-            args: [lowerBuiltinByteInput(lowerer, expr.arguments[0], loc, "zlib")],
+            args: [input.value],
             type: BYTES_U8,
             loc,
         };
     }
     const callbackFn = ZLIB_CALLBACK_FNS[bi.member];
     if (callbackFn !== undefined) {
-        if (expr.arguments.length !== 2) {
-            const site = expr.arguments.length >= 3 ? expr.arguments[1] : expr;
-            lowerer.noLowering(`${bi.member} with ${expr.arguments.length} arguments`, site, `${bi.member}(data, callback) with Node's default options is supported; explicit options are not yet lowered`);
+        if (expr.arguments.length !== 2 && expr.arguments.length !== 3) {
+            lowerer.noLowering(`${bi.member} with ${expr.arguments.length} arguments`, expr, `${bi.member}(data, callback) and ${bi.member}(data, options, callback) are supported`);
+        }
+        const input = zlibInput(lowerer, expr.arguments[0], loc);
+        const dynData = input.dyn;
+        if (expr.arguments.length === 3 || dynData) {
+            // (data, options, callback): Node validates the options before the
+            // callback and the input, so the runtime ladder runs first.
+            const withOptions = expr.arguments.length === 3;
+            return {
+                kind: "libCall",
+                fn: dynData ? "zlib.cbOptsDyn" : "zlib.cbOpts",
+                args: [
+                    numLit(ZLIB_ONE_SHOT_MODES[bi.member], loc),
+                    input.value,
+                    withOptions
+                        ? zlibOptionsValue(lowerer, expr.arguments[1], `zlib.${bi.member}`, loc)
+                        : dynUndefinedExpr(loc),
+                    errorFirstBytesCallback(lowerer, expr.arguments[withOptions ? 2 : 1], "zlib"),
+                ],
+                type: VOID,
+                loc,
+            };
         }
         return {
             kind: "libCall",
             fn: callbackFn,
-            args: [
-                lowerBuiltinByteInput(lowerer, expr.arguments[0], loc, "zlib"),
-                errorFirstBytesCallback(lowerer, expr.arguments[1], "zlib"),
-            ],
+            args: [input.value, errorFirstBytesCallback(lowerer, expr.arguments[1], "zlib")],
             type: VOID,
             loc,
         };