@scriptc/compiler 0.3.2 → 0.3.4

package/dist/frontend/lowering/assert-instances.js

@@ -0,0 +1,269 @@
+/* node:assert's Assert class (Node 24.22, lib/assert.js).
+ *
+ * `new Assert(options?)` merges `{ strict: true, skipPrototype: false }`
+ * with the options. A strict instance has own equal, deepEqual, notEqual and
+ * notDeepEqual properties that are the strict methods. The prototype methods
+ * read the instance options: `diff` reaches every AssertionError the method
+ * throws, and `skipPrototype` reaches deepStrictEqual and
+ * notDeepStrictEqual.
+ *
+ * Static instances lower here: a `const` binding initialized by
+ * `new Assert()` with literal options or none, whose every reference is a
+ * method call on it. The declaration emits nothing, and each method call
+ * lowers like the module function, with the options attached at compile
+ * time. Other uses of the class are refused with SC2020. */
+import * as ts from "../ts7/adapter.js";
+import { transformExpr } from "../../ir/traverse.js";
+import { stripTypeCasts } from "./builtins/arguments.js";
+/** The methods on an Assert instance: Assert.prototype's, plus a strict
+ * instance's own aliases, which share the names. */
+const ASSERT_INSTANCE_METHODS = new Set([
+    "deepEqual",
+    "deepStrictEqual",
+    "doesNotMatch",
+    "doesNotReject",
+    "doesNotThrow",
+    "equal",
+    "fail",
+    "ifError",
+    "match",
+    "notDeepEqual",
+    "notDeepStrictEqual",
+    "notEqual",
+    "notStrictEqual",
+    "ok",
+    "partialDeepStrictEqual",
+    "rejects",
+    "strictEqual",
+    "throws",
+]);
+const STRICT_ALIASES = new Map([
+    ["equal", "strictEqual"],
+    ["notEqual", "notStrictEqual"],
+    ["deepEqual", "deepStrictEqual"],
+    ["notDeepEqual", "notDeepStrictEqual"],
+]);
+/** Assertion calls whose runtime function can construct an AssertionError.
+ * An instance call marks them with its options (`assertOptions`), which the
+ * native emitter hands to the runtime right before the call. */
+export const ASSERT_FAILURE_LIB_FNS = new Set([
+    "assert.ok",
+    "assert.eqF64",
+    "assert.eqBigInt",
+    "assert.eqStr",
+    "assert.eqBool",
+    "assert.eqSym",
+    "assert.eqDyn",
+    "assert.expectsErrDyn",
+    "assert.looseDeepDyn",
+    "assert.partialDeepDyn",
+    "assert.looseResult",
+    "assert.deepResult",
+    "assert.looseDeepResult",
+    "assert.partialDeepResult",
+    "assert.match",
+    "assert.throwsNone",
+    "assert.throwsMismatch",
+    "assert.throwsRegex",
+    "assert.shapeEnd",
+    "assert.unwantedRejection",
+    "assert.unwantedError",
+    "assert.ifErrorErr",
+    "assert.ifErrorF64",
+    "assert.ifErrorStr",
+    "assert.ifErrorBool",
+    "assert.ifErrorDyn",
+    "assert.refEqFn",
+    "assert.refEqBytes",
+    "assert.bytesDeepEq",
+]);
+/** Whether `expr` is `new Assert(...)` for node:assert's Assert class, by
+ * import provenance: `import { Assert } from "node:assert"`, or
+ * `assert.Assert` through a module binding. */
+export function isAssertClassNew(lowerer, expr) {
+    if (!ts.isNewExpression(expr))
+        return false;
+    const callee = stripTypeCasts(expr.expression);
+    const builtin = ts.isIdentifier(callee)
+        ? lowerer.builtinImportOf(callee)
+        : ts.isPropertyAccessExpression(callee)
+            ? lowerer.builtinMemberOf(callee)
+            : null;
+    return (builtin !== null &&
+        (builtin.module === "assert" || builtin.module === "assert/strict") &&
+        builtin.member === "Assert");
+}
+/** The options of `new Assert(<literal options>)`, or null when an option is
+ * not a literal or the argument list has another shape. */
+export function literalAssertOptions(expr) {
+    const args = expr.arguments ?? [];
+    const options = { strict: true, diff: "simple", skipPrototype: false };
+    if (args.length === 0)
+        return options;
+    if (args.length > 1)
+        return null;
+    const arg = stripTypeCasts(args[0]);
+    if (ts.isIdentifier(arg) && arg.text === "undefined")
+        return options;
+    if (!ts.isObjectLiteralExpression(arg))
+        return null;
+    for (const prop of arg.properties) {
+        if (!ts.isPropertyAssignment(prop))
+            return null;
+        const name = ts.isIdentifier(prop.name) || ts.isStringLiteral(prop.name) ? prop.name.text : null;
+        const value = stripTypeCasts(prop.initializer);
+        const flag = value.kind === ts.SyntaxKind.TrueKeyword
+            ? true
+            : value.kind === ts.SyntaxKind.FalseKeyword
+                ? false
+                : null;
+        if (name === "strict" && flag !== null)
+            options.strict = flag;
+        else if (name === "skipPrototype" && flag !== null)
+            options.skipPrototype = flag;
+        else if (name === "diff" &&
+            ts.isStringLiteral(value) &&
+            (value.text === "simple" || value.text === "full"))
+            options.diff = value.text;
+        else
+            return null;
+    }
+    return options;
+}
+/** The static instance a `const` declaration binds, or null. Every
+ * reference to the binding must be a method call on it, so the instance is
+ * never needed as a value. Cached on the lowerer per declaration. */
+export function staticAssertInstanceDecl(lowerer, nameNode, init) {
+    if (!ts.isIdentifier(nameNode) || init === undefined)
+        return null;
+    const decl = nameNode.parent;
+    if (!ts.isVariableDeclaration(decl) || decl.name !== nameNode)
+        return null;
+    const cached = lowerer.assertInstances.get(decl);
+    if (cached !== undefined)
+        return cached;
+    let result = null;
+    const value = stripTypeCasts(init);
+    if (ts.isNewExpression(value) &&
+        isAssertClassNew(lowerer, value) &&
+        ts.isVariableDeclarationList(decl.parent) &&
+        (decl.parent.flags & ts.NodeFlags.Const) !== 0) {
+        const options = literalAssertOptions(value);
+        if (options !== null && onlyMethodCallReferences(lowerer, nameNode))
+            result = options;
+    }
+    lowerer.assertInstances.set(decl, result);
+    return result;
+}
+/** The static instance an expression names, or null. */
+export function assertInstanceOf(lowerer, expr) {
+    if (!ts.isIdentifier(expr))
+        return null;
+    const symbol = lowerer.checker.getSymbolAtLocation(expr);
+    const decl = symbol ? lowerer.checker.declarationsOf(symbol)[0] : undefined;
+    if (decl === undefined || !ts.isVariableDeclaration(decl))
+        return null;
+    return staticAssertInstanceDecl(lowerer, decl.name, decl.initializer);
+}
+function onlyMethodCallReferences(lowerer, name) {
+    const symbol = lowerer.checker.getSymbolAtLocation(name);
+    if (symbol === undefined)
+        return false;
+    let ok = true;
+    const visit = (node) => {
+        if (!ok)
+            return;
+        if (ts.isIdentifier(node) && node !== name && node.text === name.text) {
+            if (lowerer.checker.getSymbolAtLocation(node) === symbol && !isMethodCallReceiver(node))
+                ok = false;
+            return;
+        }
+        ts.forEachChild(node, visit);
+    };
+    visit(name.getSourceFile());
+    return ok;
+}
+function isMethodCallReceiver(node) {
+    const access = node.parent;
+    if (!ts.isPropertyAccessExpression(access) ||
+        access.expression !== node ||
+        access.questionDotToken !== undefined ||
+        !ASSERT_INSTANCE_METHODS.has(access.name.text))
+        return false;
+    const call = access.parent;
+    return ts.isCallExpression(call) && call.expression === access;
+}
+/** The methods whose AssertionError carries the instance's `diff`: Node
+ * 24.22 passes `this?.[kOptions]?.diff` from these. ok, match,
+ * doesNotMatch and the throws, rejects, doesNotThrow and doesNotReject
+ * expectations construct their errors without it (`diff` is "simple"). */
+const DIFF_METHODS = new Set([
+    "fail",
+    "equal",
+    "notEqual",
+    "deepEqual",
+    "notDeepEqual",
+    "strictEqual",
+    "notStrictEqual",
+    "deepStrictEqual",
+    "notDeepStrictEqual",
+    "partialDeepStrictEqual",
+    "ifError",
+]);
+/** `instance.method(...)` on a static instance: the module function's
+ * lowering, with the strict aliases and the instance options that reach
+ * the method. Null when the receiver is not a static instance. */
+export function lowerAssertInstanceCall(lowerer, expr, access, loc) {
+    const options = assertInstanceOf(lowerer, access.expression);
+    if (options === null)
+        return null;
+    const module = options.strict ? "assert/strict" : "assert";
+    const member = access.name.text;
+    // A strict instance's own aliases are the strict methods.
+    const method = options.strict && STRICT_ALIASES.has(member) ? STRICT_ALIASES.get(member) : member;
+    // Node passes skipPrototype to isDeepStrictEqual from deepStrictEqual and
+    // notDeepStrictEqual only.
+    const applied = {
+        strict: options.strict,
+        diff: DIFF_METHODS.has(method) ? options.diff : "simple",
+        skipPrototype: options.skipPrototype && (method === "deepStrictEqual" || method === "notDeepStrictEqual"),
+    };
+    const previous = lowerer.assertCallOptions;
+    lowerer.assertCallOptions = applied;
+    try {
+        const lowered = lowerer.lowerAssertModuleCall(expr, { module, member }, loc);
+        if (lowered === null)
+            return null;
+        return markAssertOptionsExpr(lowered, applied);
+    }
+    finally {
+        lowerer.assertCallOptions = previous;
+    }
+}
+/** The runtime options an instance attaches to its failure calls, or null
+ * for the defaults. */
+export function assertOptionsMark(options) {
+    if (options === null)
+        return null;
+    const mark = {};
+    if (options.diff === "full")
+        mark.diff = "full";
+    if (options.skipPrototype)
+        mark.skipPrototype = true;
+    return mark.diff === undefined && mark.skipPrototype === undefined ? null : mark;
+}
+const markLibCall = (mark) => ({
+    expr(node) {
+        if (node.kind === "libCall" && ASSERT_FAILURE_LIB_FNS.has(node.fn))
+            return { ...node, assertOptions: mark };
+        return node;
+    },
+    stmt: (node) => node,
+});
+/** Attaches the instance options to every assertion failure call in a
+ * lowered call site. */
+export function markAssertOptionsExpr(expr, options) {
+    const mark = assertOptionsMark(options);
+    return mark === null ? expr : transformExpr(expr, markLibCall(mark));
+}
+//# sourceMappingURL=assert-instances.js.map

package/dist/frontend/lowering/assert-instances.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"assert-instances.js","sourceRoot":"","sources":["../../../src/frontend/lowering/assert-instances.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;4DAa4D;AAC5D,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAExC,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AASzD;oDACoD;AACpD,MAAM,uBAAuB,GAAwB,IAAI,GAAG,CAAC;IAC3D,WAAW;IACX,iBAAiB;IACjB,cAAc;IACd,eAAe;IACf,cAAc;IACd,OAAO;IACP,MAAM;IACN,SAAS;IACT,OAAO;IACP,cAAc;IACd,oBAAoB;IACpB,UAAU;IACV,gBAAgB;IAChB,IAAI;IACJ,wBAAwB;IACxB,SAAS;IACT,aAAa;IACb,QAAQ;CACT,CAAC,CAAC;AAEH,MAAM,cAAc,GAAgC,IAAI,GAAG,CAAC;IAC1D,CAAC,OAAO,EAAE,aAAa,CAAC;IACxB,CAAC,UAAU,EAAE,gBAAgB,CAAC;IAC9B,CAAC,WAAW,EAAE,iBAAiB,CAAC;IAChC,CAAC,cAAc,EAAE,oBAAoB,CAAC;CACvC,CAAC,CAAC;AAEH;;gEAEgE;AAChE,MAAM,CAAC,MAAM,sBAAsB,GAAyB,IAAI,GAAG,CAAU;IAC3E,WAAW;IACX,cAAc;IACd,iBAAiB;IACjB,cAAc;IACd,eAAe;IACf,cAAc;IACd,cAAc;IACd,sBAAsB;IACtB,qBAAqB;IACrB,uBAAuB;IACvB,oBAAoB;IACpB,mBAAmB;IACnB,wBAAwB;IACxB,0BAA0B;IAC1B,cAAc;IACd,mBAAmB;IACnB,uBAAuB;IACvB,oBAAoB;IACpB,iBAAiB;IACjB,0BAA0B;IAC1B,sBAAsB;IACtB,mBAAmB;IACnB,mBAAmB;IACnB,mBAAmB;IACnB,oBAAoB;IACpB,mBAAmB;IACnB,gBAAgB;IAChB,mBAAmB;IACnB,oBAAoB;CACR,CAAC,CAAC;AAEhB;;+CAE+C;AAC/C,MAAM,UAAU,gBAAgB,CAAC,OAAgB,EAAE,IAAmB;IACpE,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC5C,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC/C,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC;QACrC,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC;QACjC,CAAC,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;YACrC,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC;YACjC,CAAC,CAAC,IAAI,CAAC;IACX,OAAO,CACL,OAAO,KAAK,IAAI;QAChB,CAAC,OAAO,CAAC,MAAM,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,KAAK,eAAe,CAAC;QACnE,OAAO,CAAC,MAAM,KAAK,QAAQ,CAC5B,CAAC;AACJ,CAAC;AAED;2DAC2D;AAC3D,MAAM,UAAU,oBAAoB,CAAC,IAAsB;IACzD,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC;IAClC,MAAM,OAAO,GAA0B,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC;IAC9F,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC;IACtC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACjC,MAAM,GAAG,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;IACrC,IAAI,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,OAAO,CAAC;IACrE,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACpD,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;QAClC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QAChD,MAAM,IAAI,GACR,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;QACtF,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC/C,MAAM,IAAI,GACR,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YACtC,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;gBACzC,CAAC,CAAC,KAAK;gBACP,CAAC,CAAC,IAAI,CAAC;QACb,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC;aACzD,IAAI,IAAI,KAAK,eAAe,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,CAAC,aAAa,GAAG,IAAI,CAAC;aAC5E,IACH,IAAI,KAAK,MAAM;YACf,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC;YACzB,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC;YAElD,OAAO,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;;YACvB,OAAO,IAAI,CAAC;IACnB,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;qEAEqE;AACrE,MAAM,UAAU,wBAAwB,CACtC,OAAgB,EAChB,QAAiB,EACjB,IAA+B;IAE/B,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAClE,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC;IAC7B,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3E,MAAM,MAAM,GAAG,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACjD,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IACxC,IAAI,MAAM,GAAiC,IAAI,CAAC;IAChD,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IACnC,IACE,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC;QACzB,gBAAgB,CAAC,OAAO,EAAE,KAAK,CAAC;QAChC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,MAAM,CAAC;QACzC,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,EAC9C,CAAC;QACD,MAAM,OAAO,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;QAC5C,IAAI,OAAO,KAAK,IAAI,IAAI,wBAAwB,CAAC,OAAO,EAAE,QAAQ,CAAC;YAAE,MAAM,GAAG,OAAO,CAAC;IACxF,CAAC;IACD,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC1C,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,wDAAwD;AACxD,MAAM,UAAU,gBAAgB,CAC9B,OAAgB,EAChB,IAAmB;IAEnB,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACxC,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACzD,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC5E,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACvE,OAAO,wBAAwB,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;AACxE,CAAC;AAED,SAAS,wBAAwB,CAAC,OAAgB,EAAE,IAAmB;IACrE,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACzD,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACvC,IAAI,EAAE,GAAG,IAAI,CAAC;IACd,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,CAAC,EAAE;YAAE,OAAO;QAChB,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC;YACtE,IAAI,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,KAAK,MAAM,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC;gBACrF,EAAE,GAAG,KAAK,CAAC;YACb,OAAO;QACT,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC;IAC5B,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAmB;IAC/C,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3B,IACE,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;QACtC,MAAM,CAAC,UAAU,KAAK,IAAI;QAC1B,MAAM,CAAC,gBAAgB,KAAK,SAAS;QACrC,CAAC,uBAAuB,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;QAE9C,OAAO,KAAK,CAAC;IACf,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC;IAC3B,OAAO,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,KAAK,MAAM,CAAC;AACjE,CAAC;AAED;;;0EAG0E;AAC1E,MAAM,YAAY,GAAwB,IAAI,GAAG,CAAC;IAChD,MAAM;IACN,OAAO;IACP,UAAU;IACV,WAAW;IACX,cAAc;IACd,aAAa;IACb,gBAAgB;IAChB,iBAAiB;IACjB,oBAAoB;IACpB,wBAAwB;IACxB,SAAS;CACV,CAAC,CAAC;AAEH;;kEAEkE;AAClE,MAAM,UAAU,uBAAuB,CACrC,OAAgB,EAChB,IAAuB,EACvB,MAAmC,EACnC,GAAW;IAEX,MAAM,OAAO,GAAG,gBAAgB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;IAC7D,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAClC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,QAAQ,CAAC;IAC3D,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IAChC,0DAA0D;IAC1D,MAAM,MAAM,GACV,OAAO,CAAC,MAAM,IAAI,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC,CAAC,CAAC,MAAM,CAAC;IACtF,0EAA0E;IAC1E,2BAA2B;IAC3B,MAAM,OAAO,GAA0B;QACrC,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,IAAI,EAAE,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ;QACxD,aAAa,EACX,OAAO,CAAC,aAAa,IAAI,CAAC,MAAM,KAAK,iBAAiB,IAAI,MAAM,KAAK,oBAAoB,CAAC;KAC7F,CAAC;IACF,MAAM,QAAQ,GAAG,OAAO,CAAC,iBAAiB,CAAC;IAC3C,OAAO,CAAC,iBAAiB,GAAG,OAAO,CAAC;IACpC,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,OAAO,CAAC,qBAAqB,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,GAAG,CAAC,CAAC;QAC7E,IAAI,OAAO,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAClC,OAAO,qBAAqB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACjD,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,iBAAiB,GAAG,QAAQ,CAAC;IACvC,CAAC;AACH,CAAC;AAED;uBACuB;AACvB,MAAM,UAAU,iBAAiB,CAC/B,OAAqC;IAErC,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAClC,MAAM,IAAI,GAA4C,EAAE,CAAC;IACzD,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM;QAAE,IAAI,CAAC,IAAI,GAAG,MAAM,CAAC;IAChD,IAAI,OAAO,CAAC,aAAa;QAAE,IAAI,CAAC,aAAa,GAAG,IAAI,CAAC;IACrD,OAAO,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACnF,CAAC;AAED,MAAM,WAAW,GAAG,CAAC,IAA6C,EAAE,EAAE,CAAC,CAAC;IACtE,IAAI,CAAC,IAAY;QACf,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAChE,OAAO,EAAE,GAAG,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC;QAC1C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,EAAE,CAAC,IAAY,EAAU,EAAE,CAAC,IAAI;CACrC,CAAC,CAAC;AAEH;wBACwB;AACxB,MAAM,UAAU,qBAAqB,CAAC,IAAY,EAAE,OAA8B;IAChF,MAAM,IAAI,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC;IACxC,OAAO,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;AACvE,CAAC"}

package/dist/frontend/lowering/binding-analysis.d.ts

@@ -31,7 +31,7 @@ export declare function nullishValueUnitOf(lowerer: Lowerer, sym: ts.Symbol | nu
  * and a RECORD-mapped one (`const i: I<A & B> = null as any` — an
  * interface whose members are all generic signatures interns an empty
  * shape) has a slot null can never inhabit, so storing would throw the
- * representation error where Node stores null silently. Either way the
+ * representation error where Node stores null. Either way the
  * declaration emits nothing and reads know the value. Null-tolerant
  * mappings (unions with a null/undefined arm, dyn) keep their real
  * storage and every ordinary lowering. */

package/dist/frontend/lowering/binding-analysis.js

@@ -178,7 +178,7 @@ function usedInHeritageClause(lowerer, sym) {
  * and a RECORD-mapped one (`const i: I<A & B> = null as any` — an
  * interface whose members are all generic signatures interns an empty
  * shape) has a slot null can never inhabit, so storing would throw the
- * representation error where Node stores null silently. Either way the
+ * representation error where Node stores null. Either way the
  * declaration emits nothing and reads know the value. Null-tolerant
  * mappings (unions with a null/undefined arm, dyn) keep their real
  * storage and every ordinary lowering. */

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

@@ -40,4 +40,8 @@ export declare function optionMember(p: ts.ObjectLiteralElementLike): {
     value: ts.Expression;
 } | null;
 export declare function errorFirstBytesCallback(lowerer: Lowerer, node: ts.Expression, api: string, arrayBuffer?: boolean): IrExpr;
+/** An error-first callback (error, value) whose error parameter is
+ * Error | null or dyn and whose value parameter is dyn or accepted by
+ * `acceptValue`; `values` names the accepted values in the refusal. */
+export declare function errorFirstCallback(lowerer: Lowerer, node: ts.Expression, api: string, acceptValue: (value: IrType) => boolean, values: string): IrExpr;
 export declare function lowerBuiltinByteInput(lowerer: Lowerer, node: ts.Expression, loc: SrcLoc, module: "crypto" | "zlib"): IrExpr;

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

@@ -181,6 +181,12 @@ export function optionMember(p) {
     return null;
 }
 export function errorFirstBytesCallback(lowerer, node, api, arrayBuffer = false) {
+    return errorFirstCallback(lowerer, node, api, (value) => !arrayBuffer && value.kind === "bytes" && value.elem === "u8", arrayBuffer ? "ArrayBuffer" : "Buffer/Uint8Array");
+}
+/** An error-first callback (error, value) whose error parameter is
+ * Error | null or dyn and whose value parameter is dyn or accepted by
+ * `acceptValue`; `values` names the accepted values in the refusal. */
+export function errorFirstCallback(lowerer, node, api, acceptValue, values) {
     let callback = lowerer.lowerExpr(node);
     if (callback.type.kind === "dyn") {
         callback = {
@@ -209,10 +215,8 @@ export function errorFirstBytesCallback(lowerer, node, api, arrayBuffer = false)
             lowerer.unsupported("SC1090", node, `${api} callback error parameters must be Error | null`);
     }
     const value = callback.type.params[1];
-    if (value !== undefined &&
-        value.kind !== "dyn" &&
-        (arrayBuffer || !(value.kind === "bytes" && value.elem === "u8"))) {
-        lowerer.unsupported("SC1090", node, `${api} callback result parameters must be ${arrayBuffer ? "ArrayBuffer" : "Buffer/Uint8Array"} values`);
+    if (value !== undefined && value.kind !== "dyn" && !acceptValue(value)) {
+        lowerer.unsupported("SC1090", node, `${api} callback result parameters must be ${values} values`);
     }
     return voidizedCallback(lowerer, callback, locOf(node));
 }

package/dist/frontend/lowering/builtins/arguments.js.map

@@ -1 +1 @@
-{"version":3,"file":"arguments.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/arguments.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EACR,IAAI,EACJ,GAAG,EACH,GAAG,EAIH,MAAM,EAEN,WAAW,EACX,IAAI,EACJ,MAAM,EACN,UAAU,EACV,UAAU,EACV,OAAO,GACR,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAgB,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAAE,qBAAqB,EAAE,gCAAgC,EAAE,MAAM,0BAA0B,CAAC;AACnG,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,MAAM,UAAU,kBAAkB,CAChC,OAAgB,EAChB,IAAY;IAEZ,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACvC,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC7C,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/C,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACvD,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IAC/D,OAAO,SAAS,IAAI,CAAC,IAAI,YAAY,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAClF,CAAC;AACD,MAAM,UAAU,oCAAoC,CAClD,OAAgB,EAChB,IAAmB;IAEnB,OAAO,CACL,OAAO,CAAC,8BAA8B,CAAC,IAAI,CAAC,EAAE,KAAK;QACnD,iBAAiB,CAAC,OAAO,EAAE,IAAI,CAAC;QAChC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CACxB,CAAC;AACJ,CAAC;AACD,MAAM,UAAU,yBAAyB,CACvC,OAAgB,EAChB,KAAa,EACb,MAAc;IAEd,MAAM,OAAO,GAAG,OAAO,CAAC,uBAAuB,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACpE,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACtD,MAAM,MAAM,GAAG,OAAO,CAAC,iBAAiB,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;IAC7E,OAAO,MAAM;QACX,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE;QAC/E,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AACD,MAAM,UAAU,4BAA4B,CAC1C,OAAgB,EAChB,KAAa,EACb,EAAW,EACX,GAAW;IAEX,qEAAqE;IACrE,yEAAyE;IACzE,uEAAuE;IACvE,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC;IAC3B,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,IAAI,CAAC;IACpE,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACvF,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,IAAI,SAAS,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3D,MAAM,GAAG,GAAG,4BAA4B,EAAE,IAAI,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;IACjE,IAAI,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC3C,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,GAAG,6BAA6B,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;QAClE,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACtC,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;QAC9C,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;YAC9D,UAAU,EAAE,IAAI;YAChB,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YACzE,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,IAAI;oBACV,IAAI,EACF,OAAO,CAAC,IAAI,KAAK,KAAK;wBACpB,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;wBACnF,CAAC,CAAC;4BACE,IAAI,EAAE,YAAY;4BAClB,OAAO,EAAE,OAAO,CAAC,OAAO;4BACxB,GAAG,EAAE,SAAS;4BACd,OAAO,EAAE,IAAI;4BACb,KAAK,EAAE,KAAK;4BACZ,IAAI,EAAE,IAAI;4BACV,GAAG;yBACJ;oBACP,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC;oBAC3D,KAAK,EAAE,IAAI;oBACX,GAAG;iBACJ;gBACD;oBACE,IAAI,EAAE,QAAQ;oBACd,KAAK,EAAE;wBACL,IAAI,EAAE,SAAS;wBACf,EAAE;wBACF,IAAI,EAAE;4BACJ,OAAO,CAAC,IAAI,KAAK,KAAK;gCACpB,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;gCACpD,CAAC,CAAC;oCACE,IAAI,EAAE,aAAa;oCACnB,OAAO,EAAE,OAAO,CAAC,OAAO;oCACxB,GAAG,EAAE,SAAS;oCACd,KAAK,EAAE,KAAK;oCACZ,IAAI,EAAE,GAAG;oCACT,GAAG;iCACJ;yBACN;wBACD,IAAI,EAAE,IAAI;wBACV,GAAG;qBACJ;oBACD,GAAG;iBACJ;aACF;YACD,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AAC1E,CAAC;AACD;;0EAE0E;AAC1E,MAAM,UAAU,2BAA2B,CACzC,OAAgB,EAChB,IAAmB,EACnB,QAAgB,EAChB,IAAY,EACZ,aAAa,GAAG,KAAK;IAErB,MAAM,YAAY,GAAG,gCAAgC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACrE,IAAI,YAAY;QAAE,OAAO,qBAAqB,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;IACnE,IAAI,aAAa,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5E,OAAO,qBAAqB,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;IAC9D,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACnD,MAAM,OAAO,GAAG,GAAG,EAAE,IAAI,CAAC,KAAK,CAC7B,CAAC,GAAG,EAAE,EAAE,CACN,UAAU,CAAC,GAAG,EAAE,QAAQ,CAAC;YACzB,GAAG,CAAC,IAAI,KAAK,YAAY;YACzB,CAAC,aAAa,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,CAAC,CAC1C,CAAC;QACF,IAAI,OAAO,IAAI,GAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YACxD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC;QACvF,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;AACnD,CAAC;AAED;;;4DAG4D;AAC5D,MAAM,UAAU,cAAc,CAAC,CAAgB;IAC7C,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,OACE,EAAE,CAAC,yBAAyB,CAAC,GAAG,CAAC;QACjC,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC;QACtB,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC;QACvB,EAAE,CAAC,mBAAmB,CAAC,GAAG,CAAC,EAC3B,CAAC;QACD,GAAG,GAAG,GAAG,CAAC,UAAU,CAAC;IACvB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;wCAIwC;AACxC;;;;+BAI+B;AAC/B,MAAM,UAAU,kBAAkB,CAChC,IAAmB,EACnB,OAAiB,EACjB,QAAQ,GAAa,EAAE;IAEvB,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACrD,MAAM,KAAK,GAA4B,EAAE,CAAC;IAC1C,MAAM,KAAK,GAAkC,EAAE,CAAC;IAChD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QAChC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QACzE,IAAI,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,WAAW,CAAC;YACnC,SAAS;QACX,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QAChD,IAAI,CAAC,CAAC,WAAW,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;aAC3E,IAAI,CAAC,CAAC,WAAW,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;YAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;;YAClF,OAAO,IAAI,CAAC;IACnB,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AAC1B,CAAC;AAED;;;4DAG4D;AAC5D,MAAM,UAAU,YAAY,CAC1B,CAA8B;IAE9B,IAAI,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1D,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;IACrD,CAAC;IACD,IAAI,EAAE,CAAC,6BAA6B,CAAC,CAAC,CAAC,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,CAAC,CAAC,IAAqB,CAAC,CAAC,kCAAkC;QAC1E,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IAC9C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,OAAgB,EAChB,IAAmB,EACnB,GAAW,EACX,WAAW,GAAG,KAAK;IAEnB,IAAI,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACvC,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACjC,QAAQ,GAAG;YACT,IAAI,EAAE,UAAU;YAChB,KAAK,EAAE,QAAQ;YACf,IAAI,EAAE,MAAM,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC;YAC9B,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC;SACjB,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrE,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,GAAG,gDAAgD,CAAC,CAAC;IAC9F,CAAC;IACD,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACtC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAChD,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC3B,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,GAAG,iDAAiD,CAAC,CAAC;QAC/F,CAAC;QACD,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC9C,MAAM,KAAK,GACT,CAAC,CAAC,GAAG;YACL,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,CAAC;YAC5C,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,SAAS,KAAK,QAAQ,CAAC;YAC3E,GAAG,CAAC,IAAI,CAAC,KAAK,CACZ,CAAC,GAAG,EAAE,EAAE,CACN,GAAG,CAAC,IAAI,KAAK,OAAO;gBACpB,GAAG,CAAC,IAAI,KAAK,YAAY;gBACzB,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,SAAS,KAAK,QAAQ,CAAC,CACxD,CAAC;QACJ,IAAI,CAAC,KAAK;YACR,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,GAAG,iDAAiD,CAAC,CAAC;IACjG,CAAC;IACD,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACtC,IACE,KAAK,KAAK,SAAS;QACnB,KAAK,CAAC,IAAI,KAAK,KAAK;QACpB,CAAC,WAAW,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,EACjE,CAAC;QACD,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,GAAG,GAAG,uCAAuC,WAAW,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,mBAAmB,SAAS,CACxG,CAAC;IACJ,CAAC;IACD,OAAO,gBAAgB,CAAC,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;AAC1D,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,OAAgB,EAChB,IAAmB,EACnB,GAAW,EACX,MAAyB;IAEzB,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAC1E,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACjC,OAAO;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,gBAAgB;YACpB,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;YACnE,IAAI,EAAE,QAAQ;YACd,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,UAAU,CAChB,GAAG,MAAM,mBAAmB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,EAC7D,IAAI,EACJ,mDAAmD,CACpD,CAAC;AACJ,CAAC"}
+{"version":3,"file":"arguments.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/arguments.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EACR,IAAI,EACJ,GAAG,EACH,GAAG,EAIH,MAAM,EAEN,WAAW,EACX,IAAI,EACJ,MAAM,EACN,UAAU,EACV,UAAU,EACV,OAAO,GACR,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAgB,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAAE,qBAAqB,EAAE,gCAAgC,EAAE,MAAM,0BAA0B,CAAC;AACnG,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,MAAM,UAAU,kBAAkB,CAChC,OAAgB,EAChB,IAAY;IAEZ,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACvC,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC7C,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/C,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACvD,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IAC/D,OAAO,SAAS,IAAI,CAAC,IAAI,YAAY,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAClF,CAAC;AACD,MAAM,UAAU,oCAAoC,CAClD,OAAgB,EAChB,IAAmB;IAEnB,OAAO,CACL,OAAO,CAAC,8BAA8B,CAAC,IAAI,CAAC,EAAE,KAAK;QACnD,iBAAiB,CAAC,OAAO,EAAE,IAAI,CAAC;QAChC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CACxB,CAAC;AACJ,CAAC;AACD,MAAM,UAAU,yBAAyB,CACvC,OAAgB,EAChB,KAAa,EACb,MAAc;IAEd,MAAM,OAAO,GAAG,OAAO,CAAC,uBAAuB,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACpE,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACtD,MAAM,MAAM,GAAG,OAAO,CAAC,iBAAiB,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;IAC7E,OAAO,MAAM;QACX,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE;QAC/E,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AACD,MAAM,UAAU,4BAA4B,CAC1C,OAAgB,EAChB,KAAa,EACb,EAAW,EACX,GAAW;IAEX,qEAAqE;IACrE,yEAAyE;IACzE,uEAAuE;IACvE,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC;IAC3B,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,IAAI,CAAC;IACpE,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACvF,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,IAAI,SAAS,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3D,MAAM,GAAG,GAAG,4BAA4B,EAAE,IAAI,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;IACjE,IAAI,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC3C,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,GAAG,6BAA6B,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;QAClE,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACtC,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;QAC9C,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;YAC9D,UAAU,EAAE,IAAI;YAChB,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YACzE,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,IAAI;oBACV,IAAI,EACF,OAAO,CAAC,IAAI,KAAK,KAAK;wBACpB,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;wBACnF,CAAC,CAAC;4BACE,IAAI,EAAE,YAAY;4BAClB,OAAO,EAAE,OAAO,CAAC,OAAO;4BACxB,GAAG,EAAE,SAAS;4BACd,OAAO,EAAE,IAAI;4BACb,KAAK,EAAE,KAAK;4BACZ,IAAI,EAAE,IAAI;4BACV,GAAG;yBACJ;oBACP,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC;oBAC3D,KAAK,EAAE,IAAI;oBACX,GAAG;iBACJ;gBACD;oBACE,IAAI,EAAE,QAAQ;oBACd,KAAK,EAAE;wBACL,IAAI,EAAE,SAAS;wBACf,EAAE;wBACF,IAAI,EAAE;4BACJ,OAAO,CAAC,IAAI,KAAK,KAAK;gCACpB,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;gCACpD,CAAC,CAAC;oCACE,IAAI,EAAE,aAAa;oCACnB,OAAO,EAAE,OAAO,CAAC,OAAO;oCACxB,GAAG,EAAE,SAAS;oCACd,KAAK,EAAE,KAAK;oCACZ,IAAI,EAAE,GAAG;oCACT,GAAG;iCACJ;yBACN;wBACD,IAAI,EAAE,IAAI;wBACV,GAAG;qBACJ;oBACD,GAAG;iBACJ;aACF;YACD,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AAC1E,CAAC;AACD;;0EAE0E;AAC1E,MAAM,UAAU,2BAA2B,CACzC,OAAgB,EAChB,IAAmB,EACnB,QAAgB,EAChB,IAAY,EACZ,aAAa,GAAG,KAAK;IAErB,MAAM,YAAY,GAAG,gCAAgC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACrE,IAAI,YAAY;QAAE,OAAO,qBAAqB,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;IACnE,IAAI,aAAa,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5E,OAAO,qBAAqB,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;IAC9D,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACnD,MAAM,OAAO,GAAG,GAAG,EAAE,IAAI,CAAC,KAAK,CAC7B,CAAC,GAAG,EAAE,EAAE,CACN,UAAU,CAAC,GAAG,EAAE,QAAQ,CAAC;YACzB,GAAG,CAAC,IAAI,KAAK,YAAY;YACzB,CAAC,aAAa,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,CAAC,CAC1C,CAAC;QACF,IAAI,OAAO,IAAI,GAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YACxD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC;QACvF,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;AACnD,CAAC;AAED;;;4DAG4D;AAC5D,MAAM,UAAU,cAAc,CAAC,CAAgB;IAC7C,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,OACE,EAAE,CAAC,yBAAyB,CAAC,GAAG,CAAC;QACjC,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC;QACtB,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC;QACvB,EAAE,CAAC,mBAAmB,CAAC,GAAG,CAAC,EAC3B,CAAC;QACD,GAAG,GAAG,GAAG,CAAC,UAAU,CAAC;IACvB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;wCAIwC;AACxC;;;;+BAI+B;AAC/B,MAAM,UAAU,kBAAkB,CAChC,IAAmB,EACnB,OAAiB,EACjB,QAAQ,GAAa,EAAE;IAEvB,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACrD,MAAM,KAAK,GAA4B,EAAE,CAAC;IAC1C,MAAM,KAAK,GAAkC,EAAE,CAAC;IAChD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QAChC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QACzE,IAAI,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,WAAW,CAAC;YACnC,SAAS;QACX,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QAChD,IAAI,CAAC,CAAC,WAAW,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;aAC3E,IAAI,CAAC,CAAC,WAAW,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;YAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;;YAClF,OAAO,IAAI,CAAC;IACnB,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AAC1B,CAAC;AAED;;;4DAG4D;AAC5D,MAAM,UAAU,YAAY,CAC1B,CAA8B;IAE9B,IAAI,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1D,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;IACrD,CAAC;IACD,IAAI,EAAE,CAAC,6BAA6B,CAAC,CAAC,CAAC,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,CAAC,CAAC,IAAqB,CAAC,CAAC,kCAAkC;QAC1E,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IAC9C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,OAAgB,EAChB,IAAmB,EACnB,GAAW,EACX,WAAW,GAAG,KAAK;IAEnB,OAAO,kBAAkB,CACvB,OAAO,EACP,IAAI,EACJ,GAAG,EACH,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,WAAW,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,EACxE,WAAW,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,mBAAmB,CAClD,CAAC;AACJ,CAAC;AAED;;uEAEuE;AACvE,MAAM,UAAU,kBAAkB,CAChC,OAAgB,EAChB,IAAmB,EACnB,GAAW,EACX,WAAuC,EACvC,MAAc;IAEd,IAAI,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACvC,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACjC,QAAQ,GAAG;YACT,IAAI,EAAE,UAAU;YAChB,KAAK,EAAE,QAAQ;YACf,IAAI,EAAE,MAAM,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC;YAC9B,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC;SACjB,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrE,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,GAAG,gDAAgD,CAAC,CAAC;IAC9F,CAAC;IACD,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACtC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAChD,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC3B,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,GAAG,iDAAiD,CAAC,CAAC;QAC/F,CAAC;QACD,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC9C,MAAM,KAAK,GACT,CAAC,CAAC,GAAG;YACL,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,CAAC;YAC5C,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,SAAS,KAAK,QAAQ,CAAC;YAC3E,GAAG,CAAC,IAAI,CAAC,KAAK,CACZ,CAAC,GAAG,EAAE,EAAE,CACN,GAAG,CAAC,IAAI,KAAK,OAAO;gBACpB,GAAG,CAAC,IAAI,KAAK,YAAY;gBACzB,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,SAAS,KAAK,QAAQ,CAAC,CACxD,CAAC;QACJ,IAAI,CAAC,KAAK;YACR,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,GAAG,iDAAiD,CAAC,CAAC;IACjG,CAAC;IACD,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACtC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;QACvE,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,GAAG,GAAG,uCAAuC,MAAM,SAAS,CAC7D,CAAC;IACJ,CAAC;IACD,OAAO,gBAAgB,CAAC,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;AAC1D,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,OAAgB,EAChB,IAAmB,EACnB,GAAW,EACX,MAAyB;IAEzB,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAC1E,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACjC,OAAO;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,gBAAgB;YACpB,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;YACnE,IAAI,EAAE,QAAQ;YACd,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,UAAU,CAChB,GAAG,MAAM,mBAAmB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,EAC7D,IAAI,EACJ,mDAAmD,CACpD,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,20 @@
+import * as ts from "../../ts7/adapter.js";
+import { type Lowerer } from "../lowerer.js";
+import { type IrExpr } from "../../../ir/ir.js";
+type BlobClass = "Blob" | "File";
+/** The Blob or File constructor in any spelling: the globals, globalThis
+ * members, and node:buffer's named, namespace and require bindings. */
+export declare function blobClassOf(lowerer: Lowerer, node: ts.Expression): BlobClass | null;
+/** `new Blob(sources?, options?)` and `new File(bits, name, options?)`:
+ * the argument vector goes to the runtime, which validates it in Node's
+ * order. */
+export declare function lowerBlobNew(lowerer: Lowerer, expr: ts.NewExpression): IrExpr | null;
+/** slice(), text(), bytes() and arrayBuffer() on a Blob or File. */
+export declare function lowerStaticBlobCall(lowerer: Lowerer, call: ts.CallExpression): IrExpr | null;
+/** `v instanceof Blob` / `v instanceof File`. */
+export declare function lowerBlobInstanceof(lowerer: Lowerer, expr: ts.BinaryExpression): IrExpr | null;
+/** Members outside the native surface: Node keeps Blob's state in internal
+ * slots behind prototype getters and methods, so only the modeled reads
+ * and calls lower; stream() and the rest are refused here. */
+export declare function fenceStaticBlobMember(lowerer: Lowerer, access: ts.PropertyAccessExpression | ts.ElementAccessExpression, use: "read" | "call"): IrExpr | null;
+export {};

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

@@ -0,0 +1,167 @@
+import * as ts from "../../ts7/adapter.js";
+import {} from "../lowerer.js";
+import { locOf } from "../../program.js";
+import { BOOL, BYTES_U8, DYN, F64, STRING } from "../../../ir/ir.js";
+import { lowerDynObjectLiteral } from "../expressions/object-literals.js";
+import { stdlibGlobalNameOf } from "../surfaces.js";
+import { builtinImportOf } from "./module-bindings.js";
+const BLOB_READS = new Set(["size", "type"]);
+const FILE_READS = new Set(["size", "type", "name", "lastModified"]);
+const BLOB_CALLS = new Set(["slice", "text", "bytes", "arrayBuffer"]);
+// The stream readers Node 24 defines (textStream() is newer than some type
+// declarations, so it is matched by name).
+const STREAM_MEMBERS = new Set(["stream", "textStream"]);
+// Object.prototype members other than toString() (the handle answers the
+// class tag): the native handle has no prototype chain to answer them.
+const OBJECT_PROTOTYPE_MEMBERS = new Set([
+    "constructor",
+    "valueOf",
+    "hasOwnProperty",
+    "isPrototypeOf",
+    "propertyIsEnumerable",
+    "toLocaleString",
+    "__proto__",
+]);
+/** The Blob or File constructor in any spelling: the globals, globalThis
+ * members, and node:buffer's named, namespace and require bindings. */
+export function blobClassOf(lowerer, node) {
+    const global = stdlibGlobalNameOf(lowerer, node);
+    if (global === "Blob" || global === "File")
+        return global;
+    const builtin = ts.isIdentifier(node)
+        ? builtinImportOf(lowerer, node)
+        : ts.isPropertyAccessExpression(node) && !node.questionDotToken
+            ? lowerer.builtinMemberOf(node)
+            : null;
+    if (builtin?.module === "buffer" && (builtin.member === "Blob" || builtin.member === "File")) {
+        return builtin.member;
+    }
+    return null;
+}
+/** The class of a stdlib Blob/File-typed receiver, or null. */
+function blobReceiverClass(lowerer, node) {
+    const type = lowerer.checker.getBaseTypeOfLiteralType(lowerer.typeOf(node));
+    const sym = type.getAliasSymbol() ?? type.getSymbol();
+    if (!sym || (sym.name !== "Blob" && sym.name !== "File") || !lowerer.isStdlibSymbol(sym)) {
+        return null;
+    }
+    return sym.name;
+}
+function memberNameOf(access) {
+    if (ts.isPropertyAccessExpression(access))
+        return access.name.text;
+    const key = access.argumentExpression;
+    return ts.isStringLiteralLike(key) ? key.text : null;
+}
+/** `new Blob(sources?, options?)` and `new File(bits, name, options?)`:
+ * the argument vector goes to the runtime, which validates it in Node's
+ * order. */
+export function lowerBlobNew(lowerer, expr) {
+    const cls = blobClassOf(lowerer, expr.expression);
+    if (cls === null)
+        return null;
+    const args = expr.arguments ?? [];
+    if (args.some(ts.isSpreadElement))
+        return null;
+    const loc = locOf(expr);
+    const values = args.map((arg) => ts.isObjectLiteralExpression(arg)
+        ? lowerDynObjectLiteral(lowerer, arg)
+        : lowerer.lowerExprExpecting(arg, DYN));
+    return {
+        kind: "libCall",
+        fn: cls === "Blob" ? "blob.new" : "blob.fileNew",
+        args: [{ kind: "dynArrLit", elems: values, type: DYN, loc }],
+        type: DYN,
+        loc,
+    };
+}
+/** slice(), text(), bytes() and arrayBuffer() on a Blob or File. */
+export function lowerStaticBlobCall(lowerer, call) {
+    if (call.questionDotToken || !ts.isPropertyAccessExpression(call.expression))
+        return null;
+    const access = call.expression;
+    const member = access.name.text;
+    if (access.questionDotToken || !BLOB_CALLS.has(member))
+        return null;
+    if (blobReceiverClass(lowerer, access.expression) === null)
+        return null;
+    if (call.arguments.some(ts.isSpreadElement))
+        return null;
+    const loc = locOf(call);
+    const receiver = lowerer.lowerExprExpecting(access.expression, DYN);
+    const args = call.arguments.map((arg) => lowerer.lowerExprExpecting(arg, DYN));
+    if (member === "slice") {
+        return {
+            kind: "libCall",
+            fn: "blob.slice",
+            args: [receiver, { kind: "dynArrLit", elems: args, type: DYN, loc }],
+            type: DYN,
+            loc,
+        };
+    }
+    const read = (recv) => ({
+        kind: "libCall",
+        fn: member === "text" ? "blob.text" : member === "bytes" ? "blob.bytes" : "blob.arrayBuffer",
+        args: [recv],
+        type: {
+            kind: "promise",
+            inner: member === "text" ? STRING : member === "bytes" ? BYTES_U8 : DYN,
+        },
+        loc,
+    });
+    if (args.length === 0)
+        return read(receiver);
+    // The readers take no arguments; extra ones still evaluate after the
+    // receiver and before the read.
+    const local = lowerer.declareHiddenLocal("%blobReceiver", DYN);
+    const stmts = [
+        { kind: "varDecl", localId: local.id, init: receiver, loc },
+        ...args.map((arg) => ({ kind: "exprStmt", expr: arg, loc: arg.loc })),
+    ];
+    const result = read({ kind: "varRef", localId: local.id, type: DYN, loc });
+    return { kind: "seqExpr", stmts, result, type: result.type, loc };
+}
+/** `v instanceof Blob` / `v instanceof File`. */
+export function lowerBlobInstanceof(lowerer, expr) {
+    const cls = blobClassOf(lowerer, expr.right);
+    if (cls === null)
+        return null;
+    const loc = locOf(expr);
+    const value = lowerer.coerceInto(expr.left, lowerer.lowerExpr(expr.left), DYN);
+    return {
+        kind: "libCall",
+        fn: "blob.is",
+        args: [value, { kind: "numLit", value: cls === "Blob" ? 0 : 1, type: F64, loc }],
+        type: BOOL,
+        loc,
+    };
+}
+/** Members outside the native surface: Node keeps Blob's state in internal
+ * slots behind prototype getters and methods, so only the modeled reads
+ * and calls lower; stream() and the rest are refused here. */
+export function fenceStaticBlobMember(lowerer, access, use) {
+    const cls = blobReceiverClass(lowerer, access.expression);
+    if (cls === null)
+        return null;
+    const member = memberNameOf(access);
+    if (member !== null) {
+        if (use === "call" && (BLOB_CALLS.has(member) || member === "toString"))
+            return null;
+        if (use === "read" && (cls === "File" ? FILE_READS : BLOB_READS).has(member))
+            return null;
+        // Names the class does not declare keep the generic dynamic path
+        // (undefined reads, Node's "is not a function" TypeError, and the
+        // handle's toString()).
+        const type = lowerer.checker.getBaseTypeOfLiteralType(lowerer.typeOf(access.expression));
+        if (!OBJECT_PROTOTYPE_MEMBERS.has(member) &&
+            !STREAM_MEMBERS.has(member) &&
+            !lowerer.checker.getPropertyOfType(type, member)) {
+            return null;
+        }
+    }
+    if (member !== null && STREAM_MEMBERS.has(member)) {
+        lowerer.noLowering(`${cls}.${member}()`, access, "Blob streams are not supported yet; read the contents with bytes(), arrayBuffer() or text()");
+    }
+    lowerer.noLowering(member === null ? `computed ${cls} members` : `${cls}.${member}`, access, `the native ${cls} surface is ${cls === "File" ? "name, lastModified, " : ""}size and type plus slice(), text(), bytes() and arrayBuffer()`);
+}
+//# sourceMappingURL=blob.js.map

package/dist/frontend/lowering/builtins/blob.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"blob.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/blob.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAgB,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAA4B,MAAM,mBAAmB,CAAC;AAC/F,OAAO,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAC1E,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AACpD,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAUvD,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;AAC7C,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,cAAc,CAAC,CAAC,CAAC;AACrE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC,CAAC;AACtE,2EAA2E;AAC3E,2CAA2C;AAC3C,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;AACzD,yEAAyE;AACzE,uEAAuE;AACvE,MAAM,wBAAwB,GAAG,IAAI,GAAG,CAAC;IACvC,aAAa;IACb,SAAS;IACT,gBAAgB;IAChB,eAAe;IACf,sBAAsB;IACtB,gBAAgB;IAChB,WAAW;CACZ,CAAC,CAAC;AAEH;uEACuE;AACvE,MAAM,UAAU,WAAW,CAAC,OAAgB,EAAE,IAAmB;IAC/D,MAAM,MAAM,GAAG,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACjD,IAAI,MAAM,KAAK,MAAM,IAAI,MAAM,KAAK,MAAM;QAAE,OAAO,MAAM,CAAC;IAC1D,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QACnC,CAAC,CAAC,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC;QAChC,CAAC,CAAC,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,gBAAgB;YAC7D,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC,IAAI,CAAC;YAC/B,CAAC,CAAC,IAAI,CAAC;IACX,IAAI,OAAO,EAAE,MAAM,KAAK,QAAQ,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,MAAM,IAAI,OAAO,CAAC,MAAM,KAAK,MAAM,CAAC,EAAE,CAAC;QAC7F,OAAO,OAAO,CAAC,MAAM,CAAC;IACxB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,+DAA+D;AAC/D,SAAS,iBAAiB,CAAC,OAAgB,EAAE,IAAmB;IAC9D,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,wBAAwB,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5E,MAAM,GAAG,GAAG,IAAI,CAAC,cAAc,EAAE,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;IACtD,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC;QACzF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,GAAG,CAAC,IAAI,CAAC;AAClB,CAAC;AAED,SAAS,YAAY,CAAC,MAAgE;IACpF,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IACnE,MAAM,GAAG,GAAG,MAAM,CAAC,kBAAkB,CAAC;IACtC,OAAO,EAAE,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACvD,CAAC;AAED;;YAEY;AACZ,MAAM,UAAU,YAAY,CAAC,OAAgB,EAAE,IAAsB;IACnE,MAAM,GAAG,GAAG,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;IAClD,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC;IAClC,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/C,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAC9B,EAAE,CAAC,yBAAyB,CAAC,GAAG,CAAC;QAC/B,CAAC,CAAC,qBAAqB,CAAC,OAAO,EAAE,GAAG,CAAC;QACrC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,GAAG,EAAE,GAAG,CAAC,CACzC,CAAC;IACF,OAAO;QACL,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,cAAc;QAChD,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAC5D,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;AACJ,CAAC;AAED,oEAAoE;AACpE,MAAM,UAAU,mBAAmB,CAAC,OAAgB,EAAE,IAAuB;IAC3E,IAAI,IAAI,CAAC,gBAAgB,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1F,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;IAC/B,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IAChC,IAAI,MAAM,CAAC,gBAAgB,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACpE,IAAI,iBAAiB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACxE,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC;QAAE,OAAO,IAAI,CAAC;IACzD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;IACpE,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,kBAAkB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAC/E,IAAI,MAAM,KAAK,OAAO,EAAE,CAAC;QACvB,OAAO;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,YAAY;YAChB,IAAI,EAAE,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;YACpE,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,CAAC;QACtC,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,kBAAkB;QAC5F,IAAI,EAAE,CAAC,IAAI,CAAC;QACZ,IAAI,EAAE;YACJ,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG;SACxE;QACD,GAAG;KACJ,CAAC,CAAC;IACH,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC7C,qEAAqE;IACrE,gCAAgC;IAChC,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,eAAe,EAAE,GAAG,CAAC,CAAC;IAC/D,MAAM,KAAK,GAAa;QACtB,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE;QAC3D,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC;KAC9E,CAAC;IACF,MAAM,MAAM,GAAG,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;IAC3E,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC;AACpE,CAAC;AAED,iDAAiD;AACjD,MAAM,UAAU,mBAAmB,CAAC,OAAgB,EAAE,IAAyB;IAC7E,MAAM,GAAG,GAAG,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7C,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC9B,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,KAAK,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC;IAC/E,OAAO;QACL,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,SAAS;QACb,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAChF,IAAI,EAAE,IAAI;QACV,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;8DAE8D;AAC9D,MAAM,UAAU,qBAAqB,CACnC,OAAgB,EAChB,MAAgE,EAChE,GAAoB;IAEpB,MAAM,GAAG,GAAG,iBAAiB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;IAC1D,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC9B,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IACpC,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QACpB,IAAI,GAAG,KAAK,MAAM,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,MAAM,KAAK,UAAU,CAAC;YAAE,OAAO,IAAI,CAAC;QACrF,IAAI,GAAG,KAAK,MAAM,IAAI,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,OAAO,IAAI,CAAC;QAC1F,iEAAiE;QACjE,kEAAkE;QAClE,wBAAwB;QACxB,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,wBAAwB,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;QACzF,IACE,CAAC,wBAAwB,CAAC,GAAG,CAAC,MAAM,CAAC;YACrC,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC;YAC3B,CAAC,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,EAAE,MAAM,CAAC,EAChD,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,IAAI,MAAM,KAAK,IAAI,IAAI,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QAClD,OAAO,CAAC,UAAU,CAChB,GAAG,GAAG,IAAI,MAAM,IAAI,EACpB,MAAM,EACN,6FAA6F,CAC9F,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,UAAU,CAChB,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,YAAY,GAAG,UAAU,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,MAAM,EAAE,EAChE,MAAM,EACN,cAAc,GAAG,eAAe,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,EAAE,+DAA+D,CAC5I,CAAC;AACJ,CAAC"}

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

@@ -3,8 +3,8 @@ 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 (throw-becomes-rejection
- * for free) that runs the exec core synchronously and returns
+ * %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

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

@@ -8,8 +8,8 @@ import { BOOL, F64, SPAWNRES_T, STRING, arrayOf, } from "../../../ir/ir.js";
 import { optionMember } from "./arguments.js";
 /** A call THROUGH a promisified-execFile binding:
  * `execFileAsync(file, args?, options?)` → one call of the interned
- * %execFileAsync helper — an ASYNC IR function (throw-becomes-rejection
- * for free) that runs the exec core synchronously and returns
+ * %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

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

@@ -127,7 +127,7 @@ export function lowerChildMethodCall(lowerer, call, access) {
         if (cb.type.ret.kind !== "void") {
             // `() => 5` IS assignable to a void-returning listener slot; the
             // registry's call ABI is void, so a value-returning closure is
-            // fenced instead of silently called wrong.
+            // fenced instead of being called through the wrong ABI.
             lowerer.unsupported("SC1090", call.arguments[1], "listeners returning a value (make the callback body a block, or return nothing)");
         }
         const param = cb.type.params[0];