@scriptc/compiler 0.4.6 → 0.4.7

package/dist/frontend/lowering/primitive-wrappers.js

@@ -0,0 +1,220 @@
+/* Primitive wrapper objects (`new String(s)`, `new Number(n)`, `new
+ * Boolean(b)`, `Object(primitive)`) in JavaScript sources. A wrapper is an
+ * ordinary dynamic object (scr_js_wrapper.c): its prototype is the
+ * wrapper unit's String/Number/Boolean prototype object, whose valueOf,
+ * toString and methods read the [[PrimitiveValue]] slot, and a String
+ * wrapper owns its index properties and `length`. Every generic dynamic
+ * operation (ToPrimitive, property reads, method calls, key listing,
+ * identity, typeof) already handles that shape; this module builds the
+ * values and routes the few consumers that must see the slot itself. */
+import * as ts from "../ts7/adapter.js";
+import { BOOL, DYN, F64, STRING, } from "../../ir/ir.js";
+import { transformStmtList } from "../../ir/traverse.js";
+import { isJsSourceFile, locOf } from "../program.js";
+import { primitiveCtorClosure } from "./lower-exprs.js";
+/** The runtime's kind numbers (scr_js_wrapper.c SCR_JS_WRAPPER_*). */
+export const WRAPPER_KIND_NUMBER = {
+    String: 0,
+    Number: 1,
+    Boolean: 2,
+};
+/** Whether any compiled source creates a primitive wrapper: a `new` of the
+ * stdlib String, Number or Boolean constructor (with or without an
+ * argument: `new String()` is a wrapper over "", `new Number()` over 0 and
+ * `new Boolean()` over false), or a call of the stdlib Object with an
+ * argument. `new Object()` without one is a fresh plain object, so it is
+ * not a wrapper. Until a program has one, no value is a wrapper, so the
+ * boxed interface types keep their primitive mapping and every fold that
+ * relies on it stays. */
+export function programCreatesWrappers(lowerer) {
+    for (const sf of lowerer.program.getSourceFiles()) {
+        if (sf.isDeclarationFile || !isJsSourceFile(sf))
+            continue;
+        const text = sf.text;
+        if (!text.includes("String") &&
+            !text.includes("Number") &&
+            !text.includes("Boolean") &&
+            !text.includes("Object"))
+            continue;
+        let found = false;
+        const visit = (node) => {
+            if (found)
+                return;
+            if ((ts.isNewExpression(node) || ts.isCallExpression(node)) &&
+                ts.isIdentifier(node.expression)) {
+                const name = node.expression.text;
+                // A `new` of a boxed constructor is a wrapper even without an
+                // argument; Object is a wrapper site only when it converts a value.
+                const wrapperNew = ts.isNewExpression(node) &&
+                    (name === "String" || name === "Number" || name === "Boolean");
+                const toObject = name === "Object" && (node.arguments?.nodes.length ?? 0) > 0;
+                if ((wrapperNew || toObject) && lowerer.isStdlibGlobal(node.expression, name)) {
+                    found = true;
+                    return;
+                }
+            }
+            ts.forEachChild(node, visit);
+        };
+        visit(sf);
+        if (found)
+            return true;
+    }
+    return false;
+}
+/** `new String(x)` / `new Number(x)` / `new Boolean(x)` in a JavaScript
+ * source: the wrapper over ToString/ToNumber/ToBoolean of the argument
+ * (the runtime converts, with the object hooks), or over "", 0, false
+ * without one. Null outside JavaScript sources and for other callees. */
+export function lowerWrapperNew(lowerer, expr) {
+    if (!isJsSourceFile(ts.getSourceFileOfNode(expr)))
+        return null;
+    if (!ts.isIdentifier(expr.expression))
+        return null;
+    const kind = expr.expression.text;
+    if (kind !== "String" && kind !== "Number" && kind !== "Boolean")
+        return null;
+    if (!lowerer.isStdlibGlobal(expr.expression, kind))
+        return null;
+    const args = expr.arguments?.nodes ?? [];
+    if (args.some(ts.isSpreadElement))
+        return null;
+    const loc = locOf(expr);
+    // Arguments past the first are evaluated and ignored.
+    const value = args.length > 0
+        ? lowerer.lowerExprExpecting(args[0], DYN)
+        : lowerer.coerceToExpected(kind === "String"
+            ? { kind: "strLit", value: "", type: STRING, loc }
+            : kind === "Number"
+                ? { kind: "numLit", value: 0, type: F64, loc }
+                : { kind: "boolLit", value: false, type: BOOL, loc }, DYN);
+    const rest = args.slice(1).map((arg) => ({
+        kind: "exprStmt",
+        expr: lowerer.lowerExpr(arg),
+        loc: locOf(arg),
+    }));
+    const created = {
+        kind: "libCall",
+        fn: "wrapper.new",
+        args: [
+            { kind: "numLit", value: WRAPPER_KIND_NUMBER[kind], type: F64, loc },
+            value,
+            ...wrapperConstructors(lowerer, loc),
+        ],
+        type: DYN,
+        loc,
+    };
+    if (rest.length === 0)
+        return created;
+    const local = lowerer.declareHiddenLocal("%wrapperArg", DYN);
+    return {
+        kind: "seqExpr",
+        stmts: [{ kind: "varDecl", localId: local.id, init: value, loc }, ...rest],
+        result: {
+            ...created,
+            args: [
+                created.args[0],
+                { kind: "varRef", localId: local.id, type: DYN, loc },
+                ...created.args.slice(2),
+            ],
+        },
+        type: DYN,
+        loc,
+    };
+}
+/** The String, Number and Boolean constructor values, for the prototypes'
+ * `constructor` property (the interned closures `x === String` compares). */
+export function wrapperConstructors(lowerer, loc) {
+    return ["String", "Number", "Boolean"].map((name) => lowerer.coerceToExpected(primitiveCtorClosure(lowerer, name, loc, true), DYN));
+}
+/** Consumers that walk a dynamic value's whole graph and must see the
+ * [[PrimitiveValue]] slot (JSON's unwrapping, util.inspect's `[String:
+ * 'x']`, structuredClone's wrapper clone, deep equality's primitive
+ * compare). Until they know the slot, a wrapper reaching one refuses: each
+ * dynamic argument passes through wrapper.guard, which throws the
+ * not-supported Error when the value's own data graph holds a wrapper. */
+const GUARDED_CONSUMERS = new Set([
+    "json.stringifyValue",
+    "json.stringifyReplacer",
+    "util.isDeepStrictEqual",
+    "dyn.structuredClone",
+    "assert.looseDeepDyn",
+    "assert.partialDeepDyn",
+    "console.dirDyn",
+    "insp.format",
+    "insp.formatPrimitives",
+    "insp.formatList",
+    "insp.formatWithOptions",
+    "insp.inspect",
+    "insp.dynS",
+    "insp.dynFormatS",
+]);
+/** util.types brands that read the [[PrimitiveValue]] slot. */
+const WRAPPER_TYPE_PROBES = new Set([
+    "isStringObject",
+    "isNumberObject",
+    "isBooleanObject",
+    "isBoxedPrimitive",
+]);
+/** The consumer as the refusal names it. */
+function consumerName(fn) {
+    if (fn.startsWith("json."))
+        return "JSON.stringify";
+    if (fn === "dyn.structuredClone")
+        return "structuredClone";
+    if (fn === "util.isDeepStrictEqual")
+        return "util.isDeepStrictEqual";
+    if (fn.startsWith("assert."))
+        return "assert's deep equality";
+    return "console.log/util.inspect";
+}
+function guarded(arg, fn) {
+    const consumer = consumerName(fn);
+    if (arg.type.kind !== "dyn" && !(arg.type.kind === "array" && arg.type.elem.kind === "dyn"))
+        return arg;
+    return {
+        kind: "libCall",
+        fn: arg.type.kind === "dyn" ? "wrapper.guard" : "wrapper.guardList",
+        args: [arg, { kind: "strLit", value: consumer, type: STRING, loc: arg.loc }],
+        type: arg.type,
+        loc: arg.loc,
+    };
+}
+/** In a program that creates wrappers, route the consumers that read
+ * internal slots: Object.prototype.toString's tag and the util.types
+ * brands answer from the slot (wrapper.objectTag, wrapper.typeIs), and the
+ * graph-walking consumers above guard their dynamic arguments. Programs
+ * without a wrapper site keep every node unchanged. */
+export function routeWrapperConsumers(lowerer, functions) {
+    if (!(lowerer.createsWrappers ??= programCreatesWrappers(lowerer)))
+        return;
+    const transform = {
+        expr: (expr) => {
+            if (expr.kind === "libCall") {
+                if (expr.fn === "dyn.objectTag")
+                    return { ...expr, fn: "wrapper.objectTag" };
+                if (expr.fn === "util.typeIs" &&
+                    expr.args[1]?.kind === "strLit" &&
+                    WRAPPER_TYPE_PROBES.has(expr.args[1].value))
+                    return { ...expr, fn: "wrapper.typeIs" };
+                if (GUARDED_CONSUMERS.has(expr.fn))
+                    return { ...expr, args: expr.args.map((arg) => guarded(arg, expr.fn)) };
+            }
+            if (expr.kind === "intrinsic" &&
+                (expr.name === "console.log" || expr.name === "console.error"))
+                return { ...expr, args: expr.args.map((arg) => guarded(arg, expr.name)) };
+            return expr;
+        },
+        stmt: (stmt) => stmt,
+    };
+    for (const fn of functions)
+        fn.body = transformStmtList(fn.body, transform);
+}
+/** `Object(x)` / `new Object(x)` over a checked-dynamic `x` in a program
+ * that creates wrappers: ToObject (wrapper.toObject), a wrapper for a
+ * primitive, the value itself for an object, a fresh object for null and
+ * undefined. */
+export function lowerWrapperToObject(lowerer, value, loc) {
+    const ctors = wrapperConstructors(lowerer, loc);
+    return { kind: "libCall", fn: "wrapper.toObject", args: [value, ...ctors], type: DYN, loc };
+}
+//# sourceMappingURL=primitive-wrappers.js.map

package/dist/frontend/lowering/primitive-wrappers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"primitive-wrappers.js","sourceRoot":"","sources":["../../../src/frontend/lowering/primitive-wrappers.ts"],"names":[],"mappings":"AAAA;;;;;;;;wEAQwE;AACxE,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EACL,IAAI,EACJ,GAAG,EACH,GAAG,EACH,MAAM,GAKP,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAEtD,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAIxD,sEAAsE;AACtE,MAAM,CAAC,MAAM,mBAAmB,GAAgC;IAC9D,MAAM,EAAE,CAAC;IACT,MAAM,EAAE,CAAC;IACT,OAAO,EAAE,CAAC;CACX,CAAC;AAEF;;;;;;;yBAOyB;AACzB,MAAM,UAAU,sBAAsB,CAAC,OAAgB;IACrD,KAAK,MAAM,EAAE,IAAI,OAAO,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC;QAClD,IAAI,EAAE,CAAC,iBAAiB,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;YAAE,SAAS;QAC1D,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC;QACrB,IACE,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;YACxB,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;YACxB,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC;YACzB,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;YAExB,SAAS;QACX,IAAI,KAAK,GAAG,KAAK,CAAC;QAClB,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;YACpC,IAAI,KAAK;gBAAE,OAAO;YAClB,IACE,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;gBACvD,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,EAChC,CAAC;gBACD,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;gBAClC,8DAA8D;gBAC9D,oEAAoE;gBACpE,MAAM,UAAU,GACd,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;oBACxB,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,SAAS,CAAC,CAAC;gBACjE,MAAM,QAAQ,GAAG,IAAI,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;gBAC9E,IAAI,CAAC,UAAU,IAAI,QAAQ,CAAC,IAAI,OAAO,CAAC,cAAc,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,EAAE,CAAC;oBAC9E,KAAK,GAAG,IAAI,CAAC;oBACb,OAAO;gBACT,CAAC;YACH,CAAC;YACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC/B,CAAC,CAAC;QACF,KAAK,CAAC,EAAE,CAAC,CAAC;QACV,IAAI,KAAK;YAAE,OAAO,IAAI,CAAC;IACzB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;yEAGyE;AACzE,MAAM,UAAU,eAAe,CAAC,OAAgB,EAAE,IAAsB;IACtE,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/D,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IACnD,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;IAClC,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAC9E,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAChE,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,EAAE,KAAK,IAAI,EAAE,CAAC;IACzC,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/C,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,sDAAsD;IACtD,MAAM,KAAK,GACT,IAAI,CAAC,MAAM,GAAG,CAAC;QACb,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC;QAC3C,CAAC,CAAC,OAAO,CAAC,gBAAgB,CACtB,IAAI,KAAK,QAAQ;YACf,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;YAClD,CAAC,CAAC,IAAI,KAAK,QAAQ;gBACjB,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;gBAC9C,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EACxD,GAAG,CACJ,CAAC;IACR,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACvC,IAAI,EAAE,UAAmB;QACzB,IAAI,EAAE,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC;QAC5B,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC;KAChB,CAAC,CAAC,CAAC;IACJ,MAAM,OAAO,GAAW;QACtB,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,aAAa;QACjB,IAAI,EAAE;YACJ,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,mBAAmB,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YACpE,KAAK;YACL,GAAG,mBAAmB,CAAC,OAAO,EAAE,GAAG,CAAC;SACrC;QACD,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;IACF,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC;IACtC,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC;IAC7D,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,GAAG,IAAI,CAAC;QAC1E,MAAM,EAAE;YACN,GAAG,OAAO;YACV,IAAI,EAAE;gBACJ,OAAO,CAAC,IAAI,CAAC,CAAC,CAAE;gBAChB,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;gBACrD,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;aACzB;SACF;QACD,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;6EAC6E;AAC7E,MAAM,UAAU,mBAAmB,CAAC,OAAgB,EAAE,GAAW;IAC/D,OAAQ,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,CAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAC7D,OAAO,CAAC,gBAAgB,CAAC,oBAAoB,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,CAC9E,CAAC;AACJ,CAAC;AAED;;;;;0EAK0E;AAC1E,MAAM,iBAAiB,GAAwB,IAAI,GAAG,CAAC;IACrD,qBAAqB;IACrB,wBAAwB;IACxB,wBAAwB;IACxB,qBAAqB;IACrB,qBAAqB;IACrB,uBAAuB;IACvB,gBAAgB;IAChB,aAAa;IACb,uBAAuB;IACvB,iBAAiB;IACjB,wBAAwB;IACxB,cAAc;IACd,WAAW;IACX,iBAAiB;CAClB,CAAC,CAAC;AAEH,+DAA+D;AAC/D,MAAM,mBAAmB,GAAwB,IAAI,GAAG,CAAC;IACvD,gBAAgB;IAChB,gBAAgB;IAChB,iBAAiB;IACjB,kBAAkB;CACnB,CAAC,CAAC;AAEH,4CAA4C;AAC5C,SAAS,YAAY,CAAC,EAAU;IAC9B,IAAI,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC;QAAE,OAAO,gBAAgB,CAAC;IACpD,IAAI,EAAE,KAAK,qBAAqB;QAAE,OAAO,iBAAiB,CAAC;IAC3D,IAAI,EAAE,KAAK,wBAAwB;QAAE,OAAO,wBAAwB,CAAC;IACrE,IAAI,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC;QAAE,OAAO,wBAAwB,CAAC;IAC9D,OAAO,0BAA0B,CAAC;AACpC,CAAC;AAED,SAAS,OAAO,CAAC,GAAW,EAAE,EAAU;IACtC,MAAM,QAAQ,GAAG,YAAY,CAAC,EAAE,CAAC,CAAC;IAClC,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC;QACzF,OAAO,GAAG,CAAC;IACb,OAAO;QACL,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,mBAAmB;QACnE,IAAI,EAAE,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC;QAC5E,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,GAAG,EAAE,GAAG,CAAC,GAAG;KACb,CAAC;AACJ,CAAC;AAED;;;;uDAIuD;AACvD,MAAM,UAAU,qBAAqB,CAAC,OAAgB,EAAE,SAAuB;IAC7E,IAAI,CAAC,CAAC,OAAO,CAAC,eAAe,KAAK,sBAAsB,CAAC,OAAO,CAAC,CAAC;QAAE,OAAO;IAC3E,MAAM,SAAS,GAAG;QAChB,IAAI,EAAE,CAAC,IAAY,EAAU,EAAE;YAC7B,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC5B,IAAI,IAAI,CAAC,EAAE,KAAK,eAAe;oBAAE,OAAO,EAAE,GAAG,IAAI,EAAE,EAAE,EAAE,mBAAmB,EAAE,CAAC;gBAC7E,IACE,IAAI,CAAC,EAAE,KAAK,aAAa;oBACzB,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,QAAQ;oBAC/B,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;oBAE3C,OAAO,EAAE,GAAG,IAAI,EAAE,EAAE,EAAE,gBAAgB,EAAE,CAAC;gBAC3C,IAAI,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBAChC,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YAC5E,CAAC;YACD,IACE,IAAI,CAAC,IAAI,KAAK,WAAW;gBACzB,CAAC,IAAI,CAAC,IAAI,KAAK,aAAa,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,CAAC;gBAE9D,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YAC5E,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,EAAE,CAAC,IAAY,EAAU,EAAE,CAAC,IAAI;KACrC,CAAC;IACF,KAAK,MAAM,EAAE,IAAI,SAAS;QAAE,EAAE,CAAC,IAAI,GAAG,iBAAiB,CAAC,EAAE,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;AAC9E,CAAC;AAED;;;gBAGgB;AAChB,MAAM,UAAU,oBAAoB,CAAC,OAAgB,EAAE,KAAa,EAAE,GAAW;IAC/E,MAAM,KAAK,GAAG,mBAAmB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IAChD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,GAAG,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AAC9F,CAAC"}

package/dist/frontend/lowering/private-statics.d.ts

@@ -0,0 +1,46 @@
+import * as ts from "../ts7/adapter.js";
+import { type IrExpr, type IrStmt, type IrType, type SrcLoc } from "../../ir/ir.js";
+import type { Lowerer } from "./lowerer.js";
+import { type ClassInfo } from "./lower-classes.js";
+/** How a static private name is used: a field read or write, or a method
+ * (or accessor) read or call. V8 words each failure differently. */
+export type StaticPrivateUse = "read" | "write" | "method";
+/** The declaration-level class whose body declares `priv` as a STATIC
+ * member (the nearest enclosing class declaring the name, as JavaScript
+ * scoping resolves it). Null for an instance private, a function-local or
+ * generic class, or a class that was not collected. */
+export declare function staticPrivateOwner(lowerer: Lowerer, priv: ts.PrivateIdentifier): ClassInfo | null;
+/** The brand check of a static private: JavaScript installs static private
+ * elements on the declaring class object alone, so the receiver must BE
+ * that object (a subclass, an object inheriting from it, or a primitive
+ * throws). An expression statement calling the lifted helper
+ * `%private.static.<use>:<class>:<#name>(value: dyn): void`, which throws
+ * V8's TypeError; `value` is the checked-dynamic receiver. */
+export declare function staticPrivateBrandCheck(lowerer: Lowerer, info: ClassInfo, use: StaticPrivateUse, name: string, value: IrExpr, loc: SrcLoc): IrStmt;
+/** `R.#x` / `R.#m` read, where `#x` is a static private of a
+ * declaration-level class and `R` is a checked-dynamic value (`this` in a
+ * static accessor or method that the constructor object carries): the
+ * brand check, then the member's native storage. Null for other reads,
+ * which keep their paths (the class's own name reads storage directly). */
+export declare function lowerStaticPrivateRead(lowerer: Lowerer, expr: ts.PropertyAccessExpression, loc: SrcLoc): IrExpr | null;
+/** `R.#m(args)` for a static private method on a checked-dynamic receiver:
+ * the brand check, then the call with `this` known to be the declaring
+ * class. A receiver other than `this` reaches only methods that do not
+ * read `this`; the others keep a loud refusal. */
+export declare function lowerStaticPrivateCall(lowerer: Lowerer, call: ts.CallExpression, access: ts.PropertyAccessExpression): IrExpr | null;
+/** `R.#x = v` for a static private field on a checked-dynamic receiver:
+ * the receiver, then the value, then the brand check (PrivateSet checks
+ * after the right side runs), then the native global. */
+export declare function lowerStaticPrivateAssignment(lowerer: Lowerer, expr: ts.BinaryExpression): IrExpr | null;
+/** The update target of `R.#x++`, `--R.#x` or `R.#x op= v` for a static
+ * private field on a checked-dynamic receiver: the brand check, which runs
+ * where PrivateGet reads the old value (before the right side), and the
+ * field's native global. The write after it needs no second check: the
+ * receiver already passed. Null for other targets. */
+export declare function staticPrivateUpdateTarget(lowerer: Lowerer, access: ts.PropertyAccessExpression): {
+    brand: IrStmt;
+    target: {
+        id: string;
+        type: IrType;
+    };
+} | null;

package/dist/frontend/lowering/private-statics.js

@@ -0,0 +1,322 @@
+import * as ts from "../ts7/adapter.js";
+import { BOOL, DYN, VOID, } from "../../ir/ir.js";
+import { helperLoc, strLit, varRef } from "../../ir/build.js";
+import { locOf } from "../program.js";
+import { hasStaticThis } from "./static-this.js";
+import { lowerClassStaticRead, lowerStaticMethodCall } from "./lower-classes.js";
+import { tryLowerExpression } from "./expressions/try-lower-expression.js";
+import { lowerCallThroughValue } from "./lower-calls.js";
+/** The declaration-level class whose body declares `priv` as a STATIC
+ * member (the nearest enclosing class declaring the name, as JavaScript
+ * scoping resolves it). Null for an instance private, a function-local or
+ * generic class, or a class that was not collected. */
+export function staticPrivateOwner(lowerer, priv) {
+    for (let node = priv.parent; node; node = node.parent) {
+        if (!ts.isClassDeclaration(node) && !ts.isClassExpression(node))
+            continue;
+        const member = node.members.nodes.find((candidate) => {
+            const name = candidate.name;
+            return name !== undefined && ts.isPrivateIdentifier(name) && name.text === priv.text;
+        });
+        if (!member)
+            continue;
+        const isStatic = ts.canHaveModifiers(member) &&
+            ts.getModifiers(member)?.some((m) => m.kind === ts.SyntaxKind.StaticKeyword) === true;
+        if (!isStatic)
+            return null;
+        for (const info of lowerer.classes.values()) {
+            if (info.decl !== node)
+                continue;
+            if (info.localClass || info.generic || info.genericInstance)
+                return null;
+            return info;
+        }
+        return null;
+    }
+    return null;
+}
+/** V8's TypeError text for a static private `name` of `info` used on a
+ * receiver that is not the declaring class object. */
+function brandMessage(info, use, name) {
+    if (use === "read")
+        return `Cannot read private member ${name} from an object whose class did not declare it`;
+    if (use === "write")
+        return `Cannot write private member ${name} to an object whose class did not declare it`;
+    // V8 names the class by its own identifier; an anonymous class
+    // expression prints ".".
+    return `Receiver must be class ${info.decl?.name?.text ?? "."}`;
+}
+/** The brand check of a static private: JavaScript installs static private
+ * elements on the declaring class object alone, so the receiver must BE
+ * that object (a subclass, an object inheriting from it, or a primitive
+ * throws). An expression statement calling the lifted helper
+ * `%private.static.<use>:<class>:<#name>(value: dyn): void`, which throws
+ * V8's TypeError; `value` is the checked-dynamic receiver. */
+export function staticPrivateBrandCheck(lowerer, info, use, name, value, loc) {
+    const helper = `%private.static.${use}:${info.def.name}:${name}`;
+    if (!lowerer.valueHelpers.has(helper)) {
+        const at = helperLoc(loc);
+        const param = varRef("value.0", DYN, at);
+        const classValue = lowerer.coerceToExpected(lowerer.classValueRef(info, info.decl), DYN);
+        lowerer.liftedFns.push({
+            name: helper,
+            params: [{ localId: "value.0", name: "value", type: DYN }],
+            returnType: VOID,
+            locals: [{ id: "value.0", name: "value", type: DYN, mutable: false }],
+            body: [
+                {
+                    kind: "if",
+                    cond: {
+                        kind: "dynScalarEq",
+                        left: param,
+                        right: classValue,
+                        negated: true,
+                        type: BOOL,
+                        loc: at,
+                    },
+                    then: [
+                        {
+                            kind: "throw",
+                            value: {
+                                kind: "libCall",
+                                fn: "error.new",
+                                args: [strLit(brandMessage(info, use, name), at)],
+                                type: { kind: "object", className: "%TypeError" },
+                                loc: at,
+                            },
+                            loc: at,
+                        },
+                    ],
+                    else_: null,
+                    loc: at,
+                },
+            ],
+            loc: at,
+        });
+        lowerer.valueHelpers.set(helper, helper);
+    }
+    return {
+        kind: "exprStmt",
+        expr: { kind: "call", callee: helper, args: [value], type: VOID, loc },
+        loc,
+    };
+}
+/** A static private the native storage does not hold (an accessor, a
+ * field without an initializer): a loud refusal, never a string-keyed
+ * read of the class object. */
+function unsupportedStaticPrivate(lowerer, node, name) {
+    return lowerer.unsupported("SC1090", node, `the private static '${name}' in this form on a class whose constructor carries runtime statics`);
+}
+/** The checked-dynamic value `expr` lowers to, or null. */
+function checkedDynamicReceiver(lowerer, node) {
+    const probed = tryLowerExpression(lowerer, node);
+    if (!probed)
+        return null;
+    if (probed.type.kind !== "dyn" &&
+        !(probed.kind === "dynCheck" && probed.value.type.kind === "dyn"))
+        return null;
+    const value = lowerer.lowerExpr(node);
+    if (value.type.kind === "dyn")
+        return value;
+    return value.kind === "dynCheck" ? value.value : null;
+}
+/** `R.#x` / `R.#m` read, where `#x` is a static private of a
+ * declaration-level class and `R` is a checked-dynamic value (`this` in a
+ * static accessor or method that the constructor object carries): the
+ * brand check, then the member's native storage. Null for other reads,
+ * which keep their paths (the class's own name reads storage directly). */
+export function lowerStaticPrivateRead(lowerer, expr, loc) {
+    if (!ts.isPrivateIdentifier(expr.name) || expr.questionDotToken)
+        return null;
+    const info = staticPrivateOwner(lowerer, expr.name);
+    if (!info || !info.runtimeStatics)
+        return null;
+    if (lowerer.exactClassOfReceiver(expr.expression) === info)
+        return null;
+    const value = checkedDynamicReceiver(lowerer, expr.expression);
+    if (!value)
+        return null;
+    const name = expr.name.text;
+    const found = lowerer.findStaticOn(info, name);
+    if (!found)
+        unsupportedStaticPrivate(lowerer, expr, name);
+    const read = lowerClassStaticRead(lowerer, info, name, expr.expression, expr);
+    if (!read)
+        return null;
+    return {
+        kind: "seqExpr",
+        stmts: [
+            staticPrivateBrandCheck(lowerer, info, found.field ? "read" : "method", name, value, loc),
+        ],
+        result: read,
+        type: read.type,
+        loc,
+    };
+}
+/** `R.#m(args)` for a static private method on a checked-dynamic receiver:
+ * the brand check, then the call with `this` known to be the declaring
+ * class. A receiver other than `this` reaches only methods that do not
+ * read `this`; the others keep a loud refusal. */
+export function lowerStaticPrivateCall(lowerer, call, access) {
+    if (!ts.isPrivateIdentifier(access.name) || access.questionDotToken)
+        return null;
+    const info = staticPrivateOwner(lowerer, access.name);
+    if (!info || !info.runtimeStatics)
+        return null;
+    if (lowerer.exactClassOfReceiver(access.expression) === info)
+        return null;
+    const name = access.name.text;
+    const found = lowerer.findStaticOn(info, name);
+    if (!found)
+        unsupportedStaticPrivate(lowerer, call, name);
+    const value = checkedDynamicReceiver(lowerer, access.expression);
+    if (!value)
+        return null;
+    const loc = locOf(call);
+    if (found.field !== undefined)
+        return lowerStaticPrivateFieldCall(lowerer, call, info, name, found.field, value);
+    const brand = staticPrivateBrandCheck(lowerer, info, "method", name, value, loc);
+    let result;
+    if (access.expression.kind === ts.SyntaxKind.ThisKeyword) {
+        // After the check `this` IS the class: lower the call against a
+        // class-valued `this`, the exact-receiver static path.
+        const classType = { kind: "classval", className: info.def.name };
+        const local = lowerer.declareHiddenLocal("%staticPrivateThis", classType);
+        const previous = lowerer.ctx.thisLocal;
+        lowerer.ctx.thisLocal = local;
+        try {
+            result = lowerStaticMethodCall(lowerer, call, access);
+        }
+        finally {
+            lowerer.ctx.thisLocal = previous;
+        }
+        if (!result)
+            return null;
+        return {
+            kind: "seqExpr",
+            stmts: [
+                brand,
+                {
+                    kind: "varDecl",
+                    localId: local.id,
+                    init: lowerer.coerceToExpected(lowerer.classValueRef(info, info.decl), classType),
+                    loc,
+                },
+            ],
+            result,
+            type: result.type,
+            loc,
+        };
+    }
+    if (found.method.member.body && hasStaticThis(found.method.member)) {
+        lowerer.unsupported("SC1090", call, `calling the private static '${name}' through a value other than 'this' when the method reads 'this'`);
+    }
+    const fnName = `%${found.declarer.def.name}.static:${name}`;
+    lowerer.noteEdge(fnName);
+    const args = lowerer.completeArgs(call.arguments.nodes, found.method.params, loc, call);
+    return {
+        kind: "seqExpr",
+        stmts: [brand],
+        result: { kind: "call", callee: fnName, args, type: found.method.ret, loc },
+        type: found.method.ret,
+        loc,
+    };
+}
+/** `R.#f(args)` for a function-valued static private field on a
+ * checked-dynamic receiver: the receiver, the brand check (PrivateGet's),
+ * then a call through the field's value with `this` bound to the receiver,
+ * as JavaScript calls a private field's function. The call takes the
+ * ordinary call-through-value lanes, so rest parameters, typed rests and
+ * checked-dynamic values receive every argument. */
+function lowerStaticPrivateFieldCall(lowerer, call, info, name, field, value) {
+    const loc = locOf(call);
+    const receiver = lowerer.declareHiddenLocal("%staticPrivateReceiver", DYN);
+    const lowered = lowerCallThroughValue(lowerer, call, varRef(field.globalId, field.type, loc), loc);
+    if (lowered.kind !== "callValue" && lowered.kind !== "dynCall") {
+        return lowerer.unsupported("SC1090", call, `this call of the private static field '${name}' (spread arguments)`);
+    }
+    const result = { ...lowered, receiver: varRef(receiver.id, DYN, loc) };
+    return {
+        kind: "seqExpr",
+        stmts: [
+            { kind: "varDecl", localId: receiver.id, init: value, loc },
+            staticPrivateBrandCheck(lowerer, info, "read", name, varRef(receiver.id, DYN, loc), loc),
+        ],
+        result,
+        type: result.type,
+        loc,
+    };
+}
+/** `R.#x = v` for a static private field on a checked-dynamic receiver:
+ * the receiver, then the value, then the brand check (PrivateSet checks
+ * after the right side runs), then the native global. */
+export function lowerStaticPrivateAssignment(lowerer, expr) {
+    const target = expr.left;
+    if (expr.operatorToken.kind !== ts.SyntaxKind.EqualsToken ||
+        !ts.isPropertyAccessExpression(target) ||
+        !ts.isPrivateIdentifier(target.name))
+        return null;
+    const info = staticPrivateOwner(lowerer, target.name);
+    if (!info || !info.runtimeStatics)
+        return null;
+    if (lowerer.exactClassOfReceiver(target.expression) === info)
+        return null;
+    const name = target.name.text;
+    const found = lowerer.findStaticOn(info, name);
+    if (!found?.field)
+        unsupportedStaticPrivate(lowerer, expr, name);
+    const value = checkedDynamicReceiver(lowerer, target.expression);
+    if (!value)
+        return null;
+    const loc = locOf(expr);
+    const receiver = lowerer.declareHiddenLocal("%staticPrivateReceiver", DYN);
+    const assigned = lowerer.declareHiddenLocal("%staticPrivateValue", found.field.type);
+    return {
+        kind: "seqExpr",
+        stmts: [
+            { kind: "varDecl", localId: receiver.id, init: value, loc },
+            {
+                kind: "varDecl",
+                localId: assigned.id,
+                init: lowerer.lowerExprExpecting(expr.right, found.field.type),
+                loc,
+            },
+            staticPrivateBrandCheck(lowerer, info, "write", name, varRef(receiver.id, DYN, loc), loc),
+            {
+                kind: "assign",
+                localId: found.field.globalId,
+                value: varRef(assigned.id, found.field.type, loc),
+                loc,
+            },
+        ],
+        result: varRef(assigned.id, found.field.type, loc),
+        type: found.field.type,
+        loc,
+    };
+}
+/** The update target of `R.#x++`, `--R.#x` or `R.#x op= v` for a static
+ * private field on a checked-dynamic receiver: the brand check, which runs
+ * where PrivateGet reads the old value (before the right side), and the
+ * field's native global. The write after it needs no second check: the
+ * receiver already passed. Null for other targets. */
+export function staticPrivateUpdateTarget(lowerer, access) {
+    if (!ts.isPrivateIdentifier(access.name) || access.questionDotToken)
+        return null;
+    const info = staticPrivateOwner(lowerer, access.name);
+    if (!info || !info.runtimeStatics)
+        return null;
+    if (lowerer.exactClassOfReceiver(access.expression) === info)
+        return null;
+    const name = access.name.text;
+    const found = lowerer.findStaticOn(info, name);
+    if (!found?.field)
+        unsupportedStaticPrivate(lowerer, access, name);
+    const value = checkedDynamicReceiver(lowerer, access.expression);
+    if (!value)
+        return null;
+    return {
+        brand: staticPrivateBrandCheck(lowerer, info, "read", name, value, locOf(access)),
+        target: { id: found.field.globalId, type: found.field.type },
+    };
+}
+//# sourceMappingURL=private-statics.js.map

package/dist/frontend/lowering/private-statics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"private-statics.js","sourceRoot":"","sources":["../../../src/frontend/lowering/private-statics.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EACL,IAAI,EACJ,GAAG,EACH,IAAI,GAKL,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC9D,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtC,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAEjD,OAAO,EAAE,oBAAoB,EAAE,qBAAqB,EAAkB,MAAM,oBAAoB,CAAC;AACjG,OAAO,EAAE,kBAAkB,EAAE,MAAM,uCAAuC,CAAC;AAC3E,OAAO,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AAMzD;;;uDAGuD;AACvD,MAAM,UAAU,kBAAkB,CAAC,OAAgB,EAAE,IAA0B;IAC7E,KAAK,IAAI,IAAI,GAAwB,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAC3E,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;YAAE,SAAS;QAC1E,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE;YACnD,MAAM,IAAI,GAAI,SAAwC,CAAC,IAAI,CAAC;YAC5D,OAAO,IAAI,KAAK,SAAS,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC;QACvF,CAAC,CAAC,CAAC;QACH,IAAI,CAAC,MAAM;YAAE,SAAS;QACtB,MAAM,QAAQ,GACZ,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC;YAC3B,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,KAAK,IAAI,CAAC;QACxF,IAAI,CAAC,QAAQ;YAAE,OAAO,IAAI,CAAC;QAC3B,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;YAC5C,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;gBAAE,SAAS;YACjC,IAAI,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,eAAe;gBAAE,OAAO,IAAI,CAAC;YACzE,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;sDACsD;AACtD,SAAS,YAAY,CAAC,IAAe,EAAE,GAAqB,EAAE,IAAY;IACxE,IAAI,GAAG,KAAK,MAAM;QAChB,OAAO,8BAA8B,IAAI,gDAAgD,CAAC;IAC5F,IAAI,GAAG,KAAK,OAAO;QACjB,OAAO,+BAA+B,IAAI,8CAA8C,CAAC;IAC3F,+DAA+D;IAC/D,yBAAyB;IACzB,OAAO,0BAA0B,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,IAAI,GAAG,EAAE,CAAC;AAClE,CAAC;AAED;;;;;8DAK8D;AAC9D,MAAM,UAAU,uBAAuB,CACrC,OAAgB,EAChB,IAAe,EACf,GAAqB,EACrB,IAAY,EACZ,KAAa,EACb,GAAW;IAEX,MAAM,MAAM,GAAG,mBAAmB,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,IAAI,IAAI,EAAE,CAAC;IACjE,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QACtC,MAAM,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;QAC1B,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;QACzC,MAAM,UAAU,GAAG,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,IAAK,CAAC,EAAE,GAAG,CAAC,CAAC;QAC1F,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,GAAG,EAAE,CAAC;YAC1D,UAAU,EAAE,IAAI;YAChB,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YACrE,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,IAAI;oBACV,IAAI,EAAE;wBACJ,IAAI,EAAE,aAAa;wBACnB,IAAI,EAAE,KAAK;wBACX,KAAK,EAAE,UAAU;wBACjB,OAAO,EAAE,IAAI;wBACb,IAAI,EAAE,IAAI;wBACV,GAAG,EAAE,EAAE;qBACR;oBACD,IAAI,EAAE;wBACJ;4BACE,IAAI,EAAE,OAAO;4BACb,KAAK,EAAE;gCACL,IAAI,EAAE,SAAS;gCACf,EAAE,EAAE,WAAW;gCACf,IAAI,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;gCACjD,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE;gCACjD,GAAG,EAAE,EAAE;6BACR;4BACD,GAAG,EAAE,EAAE;yBACR;qBACF;oBACD,KAAK,EAAE,IAAI;oBACX,GAAG,EAAE,EAAE;iBACR;aACF;YACD,GAAG,EAAE,EAAE;SACR,CAAC,CAAC;QACH,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC3C,CAAC;IACD,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;QACtE,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;+BAE+B;AAC/B,SAAS,wBAAwB,CAAC,OAAgB,EAAE,IAAa,EAAE,IAAY;IAC7E,OAAO,OAAO,CAAC,WAAW,CACxB,QAAQ,EACR,IAAI,EACJ,uBAAuB,IAAI,qEAAqE,CACjG,CAAC;AACJ,CAAC;AAED,2DAA2D;AAC3D,SAAS,sBAAsB,CAAC,OAAgB,EAAE,IAAmB;IACnE,MAAM,MAAM,GAAG,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACjD,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzB,IACE,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;QAC1B,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC;QAEjE,OAAO,IAAI,CAAC;IACd,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,KAAK,CAAC;IAC5C,OAAO,KAAK,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AACxD,CAAC;AAED;;;;2EAI2E;AAC3E,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,IAAiC,EACjC,GAAW;IAEX,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IAC7E,MAAM,IAAI,GAAG,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IACpD,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,cAAc;QAAE,OAAO,IAAI,CAAC;IAC/C,IAAI,OAAO,CAAC,oBAAoB,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACxE,MAAM,KAAK,GAAG,sBAAsB,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;IAC/D,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IAC5B,MAAM,KAAK,GAAG,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC/C,IAAI,CAAC,KAAK;QAAE,wBAAwB,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC1D,MAAM,IAAI,GAAG,oBAAoB,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IAC9E,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK,EAAE;YACL,uBAAuB,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC;SAC1F;QACD,MAAM,EAAE,IAAI;QACZ,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;;kDAGkD;AAClD,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,IAAuB,EACvB,MAAmC;IAEnC,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IACjF,MAAM,IAAI,GAAG,kBAAkB,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;IACtD,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,cAAc;QAAE,OAAO,IAAI,CAAC;IAC/C,IAAI,OAAO,CAAC,oBAAoB,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC1E,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IAC9B,MAAM,KAAK,GAAG,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC/C,IAAI,CAAC,KAAK;QAAE,wBAAwB,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC1D,MAAM,KAAK,GAAG,sBAAsB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;IACjE,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS;QAC3B,OAAO,2BAA2B,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACpF,MAAM,KAAK,GAAG,uBAAuB,CAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;IACjF,IAAI,MAAqB,CAAC;IAC1B,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;QACzD,gEAAgE;QAChE,uDAAuD;QACvD,MAAM,SAAS,GAAW,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;QACzE,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,oBAAoB,EAAE,SAAS,CAAC,CAAC;QAC1E,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC;QACvC,OAAO,CAAC,GAAG,CAAC,SAAS,GAAG,KAAK,CAAC;QAC9B,IAAI,CAAC;YACH,MAAM,GAAG,qBAAqB,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QACxD,CAAC;gBAAS,CAAC;YACT,OAAO,CAAC,GAAG,CAAC,SAAS,GAAG,QAAQ,CAAC;QACnC,CAAC;QACD,IAAI,CAAC,MAAM;YAAE,OAAO,IAAI,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,SAAS;YACf,KAAK,EAAE;gBACL,KAAK;gBACL;oBACE,IAAI,EAAE,SAAS;oBACf,OAAO,EAAE,KAAK,CAAC,EAAE;oBACjB,IAAI,EAAE,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,IAAK,CAAC,EAAE,SAAS,CAAC;oBAClF,GAAG;iBACJ;aACF;YACD,MAAM;YACN,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,IAAI,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QACnE,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,+BAA+B,IAAI,kEAAkE,CACtG,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,WAAW,IAAI,EAAE,CAAC;IAC5D,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IACzB,MAAM,IAAI,GAAG,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IACxF,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,CAAC,KAAK,CAAC;QACd,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE;QAC3E,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG;QACtB,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;;;;oDAKoD;AACpD,SAAS,2BAA2B,CAClC,OAAgB,EAChB,IAAuB,EACvB,IAAe,EACf,IAAY,EACZ,KAAwC,EACxC,KAAa;IAEb,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,CAAC,wBAAwB,EAAE,GAAG,CAAC,CAAC;IAC3E,MAAM,OAAO,GAAG,qBAAqB,CACnC,OAAO,EACP,IAAI,EACJ,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,EACvC,GAAG,CACJ,CAAC;IACF,IAAI,OAAO,CAAC,IAAI,KAAK,WAAW,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC/D,OAAO,OAAO,CAAC,WAAW,CACxB,QAAQ,EACR,IAAI,EACJ,0CAA0C,IAAI,sBAAsB,CACrE,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAW,EAAE,GAAG,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;IAC/E,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK,EAAE;YACL,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE;YAC3D,uBAAuB,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC;SACzF;QACD,MAAM;QACN,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;yDAEyD;AACzD,MAAM,UAAU,4BAA4B,CAC1C,OAAgB,EAChB,IAAyB;IAEzB,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC;IACzB,IACE,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QACrD,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;QACtC,CAAC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC;QAEpC,OAAO,IAAI,CAAC;IACd,MAAM,IAAI,GAAG,kBAAkB,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;IACtD,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,cAAc;QAAE,OAAO,IAAI,CAAC;IAC/C,IAAI,OAAO,CAAC,oBAAoB,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC1E,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IAC9B,MAAM,KAAK,GAAG,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC/C,IAAI,CAAC,KAAK,EAAE,KAAK;QAAE,wBAAwB,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACjE,MAAM,KAAK,GAAG,sBAAsB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;IACjE,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,CAAC,wBAAwB,EAAE,GAAG,CAAC,CAAC;IAC3E,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,CAAC,qBAAqB,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACrF,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK,EAAE;YACL,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE;YAC3D;gBACE,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,QAAQ,CAAC,EAAE;gBACpB,IAAI,EAAE,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC;gBAC9D,GAAG;aACJ;YACD,uBAAuB,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC;YACzF;gBACE,IAAI,EAAE,QAAQ;gBACd,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,QAAQ;gBAC7B,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC;gBACjD,GAAG;aACJ;SACF;QACD,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC;QAClD,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI;QACtB,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;;;sDAIsD;AACtD,MAAM,UAAU,yBAAyB,CACvC,OAAgB,EAChB,MAAmC;IAEnC,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IACjF,MAAM,IAAI,GAAG,kBAAkB,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;IACtD,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,cAAc;QAAE,OAAO,IAAI,CAAC;IAC/C,IAAI,OAAO,CAAC,oBAAoB,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC1E,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IAC9B,MAAM,KAAK,GAAG,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC/C,IAAI,CAAC,KAAK,EAAE,KAAK;QAAE,wBAAwB,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IACnE,MAAM,KAAK,GAAG,sBAAsB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;IACjE,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,OAAO;QACL,KAAK,EAAE,uBAAuB,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QACjF,MAAM,EAAE,EAAE,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE;KAC7D,CAAC;AACJ,CAAC"}

package/dist/frontend/lowering/record-sources.d.ts

@@ -1,4 +1,4 @@
-import type { IrExpr, IrType, SrcLoc } from "../../ir/ir.js";
+import type { IrExpr, IrFunction, IrType, SrcLoc } from "../../ir/ir.js";
 import type { Lowerer } from "./lowerer.js";
 /** Closed declared-field layouts with an ordinary data surface: the targets
  * the checked record builder notes sources for. */
@@ -8,6 +8,17 @@ export declare function recordMayKeepSource(lowerer: Lowerer, t: IrType & {
 /** `record.sourceHas(value)`: whether this record kept undeclared source
  * properties. */
 export declare function recordSourceTest(value: IrExpr, loc: SrcLoc): IrExpr;
+/** Shared work list of the whole-program scan: settled union and record
+ * answers, and the unions and records on the current path, by id. */
+export interface KeepsSourceScan {
+    memo: Map<string, boolean>;
+    visiting: Set<string>;
+}
+/** Whether `fn` holds a validated conversion that can note a record source:
+ * a `dynCheck` whose target accepts `recordMayKeepSource`. Only such a
+ * conversion creates the kept view `recordSourceTest` answers, so a program
+ * without one never needs a capture to consult the view. */
+export declare function functionKeepsRecordSources(lowerer: Lowerer, fn: IrFunction, scan: KeepsSourceScan): boolean;
 /** A reflective answer over a record value that branches on its kept
  * source: `staticAnswer` walks the declared fields, `viewAnswer` answers
  * from the live checked view (typed `type`, the static answer's type). The