@scriptc/compiler 0.1.7 → 0.2.1

package/dist/frontend/lowering/class-construction.js

@@ -0,0 +1,156 @@
+import { BOOL, DYN, STRING, typeEquals, typeKey } from "../../ir/ir.js";
+import { varRef } from "../../ir/build.js";
+import { everyStmtList, transformExpr, transformStmtList } from "../../ir/traverse.js";
+import { dynUndefinedExpr } from "./lowerer.js";
+import { classPrototypeData } from "./class-prototypes.js";
+import { classInstanceOf } from "./class-dynamic-dispatch.js";
+const PREFIX = "%class.construct:";
+const INSTANCEOF = "%class.instanceof:dynamic";
+export function checkedClassInstanceOf(lowerer, value, callee, loc) {
+    if (!lowerer.liftedFns.some((fn) => fn.name === INSTANCEOF)) {
+        const params = [{ localId: "value", name: "value", type: DYN }, { localId: "callee", name: "callee", type: DYN }];
+        lowerer.liftedFns.push({ name: INSTANCEOF, params, locals: params.map((p) => ({ id: p.localId, name: p.name, type: p.type, mutable: false })),
+            returnType: BOOL, body: [{ kind: "return", value: { kind: "libCall", fn: "bytes.instanceOf", args: [varRef("value", DYN, loc), varRef("callee", DYN, loc)], type: BOOL, loc }, loc }], loc });
+    }
+    return { kind: "call", callee: INSTANCEOF, args: [value, callee], type: BOOL, loc };
+}
+/** Checked construction dispatches to emitted native constructor thunks. */
+export function checkedClassConstruction(lowerer, callee, args, loc) {
+    const name = `${PREFIX}${args.length}`;
+    if (!lowerer.liftedFns.some((fn) => fn.name === name)) {
+        const params = [callee, ...args].map((_, index) => ({ localId: `p.${index}`, name: `p${index}`, type: DYN }));
+        lowerer.liftedFns.push({ name, params, locals: params.map((p) => ({ id: p.localId, name: p.name, type: p.type, mutable: false })),
+            returnType: DYN, body: [{ kind: "return", value: { kind: "libCall", fn: "dyn.construct", args: [
+                            varRef("p.0", DYN, loc), { kind: "dynArrLit", elems: params.slice(1).map((param) => varRef(param.localId, DYN, loc)), type: DYN, loc },
+                            { kind: "strLit", value: "constructor", type: STRING, loc },
+                        ], type: DYN, loc }, loc }], loc });
+    }
+    return { kind: "call", callee: name, args: [callee, ...args], type: DYN, loc };
+}
+function constructorArguments(lowerer, params, incoming, loc) {
+    const args = [];
+    let index = 0;
+    for (const param of params) {
+        if ((param.mode === "dynRest" || param.mode === "arguments") && param.type.kind === "dyn") {
+            args.push({ kind: "dynArrLit", elems: param.mode === "arguments" ? incoming : incoming.slice(index), type: DYN, loc });
+            index = incoming.length;
+        }
+        else if (param.mode === "rest" && param.type.kind === "array") {
+            const elems = incoming.slice(index).map((value) => lowerer.coerceToExpected(value, param.type.kind === "array" ? param.type.elem : DYN));
+            if (elems.some((value) => !typeEquals(value.type, param.type.kind === "array" ? param.type.elem : DYN)))
+                return null;
+            args.push({ kind: "arrayLit", elems, type: param.type, loc });
+            index = incoming.length;
+        }
+        else {
+            if (param.mode !== "required" && param.mode !== "omittable")
+                return null;
+            const value = incoming[index++] ?? param.callDefault ?? dynUndefinedExpr(loc);
+            const converted = lowerer.coerceToExpected(value, param.type);
+            if (!typeEquals(converted.type, param.type))
+                return null;
+            args.push(converted);
+        }
+    }
+    return args;
+}
+export class ClassConstructionDispatch {
+    constructors = new Set();
+    completed = new Map();
+    prototypeHelper = null;
+    prototypes = new Set();
+    process(lowerer, functions) {
+        const discover = (type) => {
+            if (type.kind === "classval")
+                this.constructors.add(type.className);
+            else if (type.kind === "union")
+                lowerer.unions.get(type.unionId)?.arms.forEach(discover);
+        };
+        const prototypeReads = new Set();
+        for (const fn of functions)
+            everyStmtList(fn.body, { stmt: () => true, expr: (expr) => {
+                    if (expr.kind === "dynFrom")
+                        discover(expr.value.type);
+                    if (expr.kind === "libCall" && expr.fn === "dyn.classBasePrototype")
+                        prototypeReads.add(fn);
+                    return true;
+                } });
+        let changed = false;
+        for (const fn of functions) {
+            if (fn === this.prototypeHelper || !prototypeReads.has(fn))
+                continue;
+            fn.body = transformStmtList(fn.body, { stmt: (stmt) => stmt, expr: (expr) => {
+                    if (expr.kind !== "libCall" || expr.fn !== "dyn.classBasePrototype")
+                        return expr;
+                    if (!this.prototypeHelper) {
+                        const loc = expr.loc;
+                        this.prototypeHelper = { name: "%class.basePrototype", params: [{ localId: "value", name: "value", type: DYN }],
+                            locals: [{ id: "value", name: "value", type: DYN, mutable: false }], returnType: DYN, loc,
+                            body: [{ kind: "return", value: { ...expr, args: [varRef("value", DYN, loc)] }, loc }] };
+                        lowerer.liftedFns.push(this.prototypeHelper);
+                        changed = true;
+                    }
+                    return { kind: "call", callee: this.prototypeHelper.name, args: expr.args, type: DYN, loc: expr.loc };
+                } });
+        }
+        if (this.prototypeHelper)
+            for (const name of this.constructors) {
+                if (this.prototypes.has(name))
+                    continue;
+                this.prototypes.add(name);
+                const info = lowerer.classes.get(name);
+                if (!info)
+                    continue;
+                const loc = this.prototypeHelper.loc;
+                const type = { kind: "classval", className: name };
+                const value = varRef("value", DYN, loc);
+                const prototype = classPrototypeData(lowerer, info, loc, { kind: "dynCheck", value, type, loc });
+                if (!prototype)
+                    continue;
+                const resolved = transformExpr(prototype, { stmt: (stmt) => stmt, expr: (expr) => expr.kind === "libCall" && expr.fn === "dyn.classBasePrototype"
+                        ? { kind: "call", callee: this.prototypeHelper.name, args: expr.args, type: DYN, loc: expr.loc } : expr });
+                this.prototypeHelper.body.unshift({ kind: "if", cond: { kind: "libCall", fn: "dyn.classIs", args: [value,
+                            { kind: "strLit", value: typeKey(type), type: STRING, loc }], type: BOOL, loc },
+                    then: [{ kind: "return", value: resolved, loc }], else_: null, loc });
+                changed = true;
+            }
+        for (const fn of functions) {
+            if (!fn.name.startsWith(PREFIX) && fn.name !== INSTANCEOF)
+                continue;
+            let completed = this.completed.get(fn.name);
+            if (!completed)
+                this.completed.set(fn.name, completed = new Set());
+            const loc = fn.loc;
+            for (const name of this.constructors) {
+                if (completed.has(name))
+                    continue;
+                completed.add(name);
+                const info = lowerer.classes.get(name);
+                if (!info || info.generic || info.def.runtime)
+                    continue;
+                if (fn.name === INSTANCEOF) {
+                    const type = { kind: "classval", className: name };
+                    const callee = varRef("callee", DYN, loc);
+                    const result = classInstanceOf(lowerer, varRef("value", DYN, loc), info, loc, { kind: "dynCheck", value: callee, type, loc });
+                    fn.body.unshift({ kind: "if", cond: { kind: "libCall", fn: "dyn.classIs", args: [callee,
+                                { kind: "strLit", value: typeKey(type), type: STRING, loc }], type: BOOL, loc }, then: [{ kind: "return", value: result, loc }], else_: null, loc });
+                    changed = true;
+                    continue;
+                }
+                const args = constructorArguments(lowerer, info.ctorParams, fn.params.slice(1).map((param) => varRef(param.localId, DYN, loc)), loc);
+                if (!args)
+                    continue;
+                const type = { kind: "classval", className: name };
+                const callee = varRef("p.0", DYN, loc);
+                const value = { kind: "newValue", callee: { kind: "dynCheck", value: callee, type, loc }, args, type: { kind: "object", className: name }, loc };
+                const body = [{ kind: "return", value: lowerer.coerceToExpected(value, DYN), loc }];
+                fn.body.unshift({ kind: "if", cond: { kind: "libCall", fn: "dyn.classIs", args: [callee,
+                            { kind: "strLit", value: typeKey(type), type: STRING, loc }], type: BOOL, loc }, then: body, else_: null, loc });
+                lowerer.noteEdge(`%${name}.constructor`);
+                changed = true;
+            }
+        }
+        return changed;
+    }
+}
+//# sourceMappingURL=class-construction.js.map

package/dist/frontend/lowering/class-construction.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"class-construction.js","sourceRoot":"","sources":["../../../src/frontend/lowering/class-construction.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAuE,MAAM,gBAAgB,CAAC;AAC7I,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC3C,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACvF,OAAO,EAAE,gBAAgB,EAAgB,MAAM,cAAc,CAAC;AAE9D,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAE9D,MAAM,MAAM,GAAG,mBAAmB,CAAC;AACnC,MAAM,UAAU,GAAG,2BAA2B,CAAC;AAE/C,MAAM,UAAU,sBAAsB,CAAC,OAAgB,EAAE,KAAa,EAAE,MAAc,EAAE,GAAW;IACjG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,UAAU,CAAC,EAAE,CAAC;QAC5D,MAAM,MAAM,GAAG,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;QAClH,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;YAC3I,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,MAAM,CAAC,QAAQ,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IAClM,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACtF,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,wBAAwB,CAAC,OAAgB,EAAE,MAAc,EAAE,IAAc,EAAE,GAAW;IACpG,MAAM,IAAI,GAAG,GAAG,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;IACvC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QACtD,MAAM,MAAM,GAAG,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QAC9G,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;YAC/H,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE;4BAC7F,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;4BACtI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;yBAC5D,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AACjF,CAAC;AAED,SAAS,oBAAoB,CAAC,OAAgB,EAAE,MAAoB,EAAE,QAAkB,EAAE,GAAW;IACnG,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC1F,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;YACvH,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC;QAC1B,CAAC;aAAM,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAChE,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACzI,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;gBAAE,OAAO,IAAI,CAAC;YACrH,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;YAC9D,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC;QAC1B,CAAC;aAAM,CAAC;YACN,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW;gBAAE,OAAO,IAAI,CAAC;YACzE,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,EAAE,CAAC,IAAI,KAAK,CAAC,WAAW,IAAI,gBAAgB,CAAC,GAAG,CAAC,CAAC;YAC9E,MAAM,SAAS,GAAG,OAAO,CAAC,gBAAgB,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YAC9D,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;YACzD,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACvB,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,OAAO,yBAAyB;IACnB,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,SAAS,GAAG,IAAI,GAAG,EAAuB,CAAC;IACpD,eAAe,GAAsB,IAAI,CAAC;IACjC,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IAEhD,OAAO,CAAC,OAAgB,EAAE,SAAgC;QACxD,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAQ,EAAE;YACtC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;gBAAE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;iBAC/D,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;gBAAE,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC3F,CAAC,CAAC;QACF,MAAM,cAAc,GAAG,IAAI,GAAG,EAAc,CAAC;QAC7C,KAAK,MAAM,EAAE,IAAI,SAAS;YAAE,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;oBACpF,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;wBAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;oBACvD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,EAAE,KAAK,wBAAwB;wBAAE,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;oBAC5F,OAAO,IAAI,CAAC;gBACd,CAAC,EAAE,CAAC,CAAC;QACL,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;YAC3B,IAAI,EAAE,KAAK,IAAI,CAAC,eAAe,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,SAAS;YACrE,EAAE,CAAC,IAAI,GAAG,iBAAiB,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;oBAC1E,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,EAAE,KAAK,wBAAwB;wBAAE,OAAO,IAAI,CAAC;oBACjF,IAAI,CAAC,IAAI,CAAC,eAAe,EAAE,CAAC;wBAC1B,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;wBACrB,IAAI,CAAC,eAAe,GAAG,EAAE,IAAI,EAAE,sBAAsB,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;4BAC7G,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG;4BACzF,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;wBAC3F,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;wBAC7C,OAAO,GAAG,IAAI,CAAC;oBACjB,CAAC;oBACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;gBACxG,CAAC,EAAE,CAAC,CAAC;QACP,CAAC;QACD,IAAI,IAAI,CAAC,eAAe;YAAE,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;gBAC/D,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC;oBAAE,SAAS;gBACxC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAC1B,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACvC,IAAI,CAAC,IAAI;oBAAE,SAAS;gBACpB,MAAM,GAAG,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC;gBACrC,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;gBAC3D,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;gBACxC,MAAM,SAAS,GAAG,kBAAkB,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;gBACjG,IAAI,CAAC,SAAS;oBAAE,SAAS;gBACzB,MAAM,QAAQ,GAAG,aAAa,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAC/E,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,EAAE,KAAK,wBAAwB;wBAC7D,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,eAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;gBAChH,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,KAAK;4BACtG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;oBAC/E,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;gBACxE,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;QACD,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;YAC3B,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,UAAU;gBAAE,SAAS;YACpE,IAAI,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YAC5C,IAAI,CAAC,SAAS;gBAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,SAAS,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC;YACnE,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC;YACnB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;gBACrC,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC;oBAAE,SAAS;gBAClC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACpB,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACvC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO;oBAAE,SAAS;gBACxD,IAAI,EAAE,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;oBAC3B,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;oBAC3D,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;oBAC1C,MAAM,MAAM,GAAG,eAAe,CAAC,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;oBAC9H,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,MAAM;gCACrF,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;oBACvJ,OAAO,GAAG,IAAI,CAAC;oBACf,SAAS;gBACX,CAAC;gBACD,MAAM,IAAI,GAAG,oBAAoB,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;gBACrI,IAAI,CAAC,IAAI;oBAAE,SAAS;gBACpB,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;gBAC3D,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;gBACvC,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC;gBACzJ,MAAM,IAAI,GAAa,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,gBAAgB,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;gBAC9F,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,MAAM;4BACrF,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;gBACnH,OAAO,CAAC,QAAQ,CAAC,IAAI,IAAI,cAAc,CAAC,CAAC;gBACzC,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;QACH,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;CACF"}

package/dist/frontend/lowering/class-descriptors.d.ts

@@ -0,0 +1,10 @@
+import * as ts from "../ts7/adapter.js";
+import { type IrExpr } from "../../ir/ir.js";
+import type { Lowerer } from "./lowerer.js";
+/** A named bag property needs no snapshot of unrelated native fields,
+ * which may contain recursive or otherwise opaque values. */
+export declare function lowerClassDescriptorRead(lowerer: Lowerer, call: ts.CallExpression, target: IrExpr): IrExpr | null;
+/** Native layout fields cannot change descriptors. New named data properties
+ * live in the instance's shared bag, preserving attributes and identity. */
+export declare function lowerClassDataDescriptor(lowerer: Lowerer, call: ts.CallExpression, member: string, target: IrExpr): IrExpr | null;
+export declare function refreshDescriptorGuards(lowerer: Lowerer): void;

package/dist/frontend/lowering/class-descriptors.js

@@ -0,0 +1,114 @@
+import * as ts from "../ts7/adapter.js";
+import { BOOL, DYN, STRING, VOID, isDynTypedRefType } from "../../ir/ir.js";
+import { varRef } from "../../ir/build.js";
+import { locOf } from "../program.js";
+import { classPropertiesHelper } from "./class-dynamic-dispatch.js";
+function literalName(name) {
+    return ts.isIdentifier(name) || ts.isStringLiteral(name) ? name.text : null;
+}
+function bagOnlyProperty(lowerer, owner, name) {
+    return !owner.fields.has(name) &&
+        owner.subclasses.every((child) => bagOnlyProperty(lowerer, child, name));
+}
+/** A named bag property needs no snapshot of unrelated native fields,
+ * which may contain recursive or otherwise opaque values. */
+export function lowerClassDescriptorRead(lowerer, call, target) {
+    if (!isDynTypedRefType(target.type))
+        return null;
+    const info = lowerer.classes.get(target.type.className);
+    const key = call.arguments[1];
+    if (!info || info.def.runtime || info.builtinError || info.builtinEmitter || info.builtinStream ||
+        !ts.isStringLiteral(key) || !bagOnlyProperty(lowerer, info, key.text))
+        return null;
+    const loc = locOf(call);
+    const bag = { kind: "call", callee: classPropertiesHelper(lowerer, loc).name,
+        args: [lowerer.coerceToExpected(target, DYN)], type: DYN, loc };
+    return { kind: "libCall", fn: "dyn.getOwnPropertyDescriptor", args: [bag, lowerer.lowerExprExpecting(key, DYN)], type: DYN, loc };
+}
+/** Native layout fields cannot change descriptors. New named data properties
+ * live in the instance's shared bag, preserving attributes and identity. */
+export function lowerClassDataDescriptor(lowerer, call, member, target) {
+    if (!isDynTypedRefType(target.type))
+        return null;
+    const info = lowerer.classes.get(target.type.className);
+    if (!info || info.def.runtime || info.builtinError || info.builtinEmitter || info.builtinStream)
+        return null;
+    const safeName = (owner, name) => bagOnlyProperty(lowerer, owner, name);
+    const descriptor = (node) => ts.isObjectLiteralExpression(node) &&
+        node.properties.every((p) => (ts.isPropertyAssignment(p) || ts.isShorthandPropertyAssignment(p)) &&
+            ["value", "writable", "enumerable", "configurable"].includes(literalName(p.name) ?? ""));
+    const descriptors = call.arguments[member === "defineProperty" ? 2 : 1];
+    if (member === "defineProperty") {
+        const key = call.arguments[1];
+        if (ts.isStringLiteral(key) && !safeName(info, key.text) || !descriptor(descriptors))
+            return null;
+    }
+    else {
+        if (!ts.isObjectLiteralExpression(descriptors) || !descriptors.properties.every((p) => {
+            if (!ts.isPropertyAssignment(p))
+                return false;
+            const name = literalName(p.name);
+            return name !== null && name !== "__proto__" && safeName(info, name) && descriptor(p.initializer);
+        }))
+            return null;
+    }
+    const loc = locOf(call);
+    const receiver = lowerer.declareHiddenLocal("%descriptorReceiver", target.type);
+    const desc = lowerer.declareHiddenLocal("%descriptors", DYN);
+    const key = member === "defineProperty" ? lowerer.declareHiddenLocal("%descriptorKey", DYN) : null;
+    if (key)
+        key.mutable = true;
+    const value = varRef(receiver.id, target.type, loc);
+    const boxed = lowerer.coerceToExpected(value, DYN);
+    const helper = classPropertiesHelper(lowerer, loc);
+    const bag = { kind: "call", callee: helper.name, args: [boxed], type: DYN, loc };
+    const args = member === "defineProperty"
+        ? [bag, varRef(key.id, DYN, loc), varRef(desc.id, DYN, loc)]
+        : [bag, varRef(desc.id, DYN, loc)];
+    const stmts = [
+        { kind: "varDecl", localId: receiver.id, init: target, loc },
+        ...(key ? [{ kind: "varDecl", localId: key.id, init: lowerer.lowerExprExpecting(call.arguments[1], DYN), loc }] : []),
+        { kind: "varDecl", localId: desc.id, init: lowerer.lowerExprExpecting(descriptors, DYN), loc },
+        ...(key && !ts.isStringLiteral(call.arguments[1]) ? [{ kind: "assign", localId: key.id,
+                value: { kind: "libCall", fn: "dyn.propertyKey", args: [varRef(key.id, DYN, loc)], type: DYN, loc }, loc }, { kind: "exprStmt",
+                expr: { kind: "call", callee: descriptorGuard(lowerer, info, loc), args: [varRef(key.id, DYN, loc)], type: VOID, loc }, loc }] : []),
+        { kind: "exprStmt", expr: { kind: "libCall", fn: member === "defineProperty" ? "dyn.defineProperty" : "dyn.defineProps", args, type: DYN, loc }, loc },
+    ];
+    return { kind: "seqExpr", stmts, result: value, type: value.type, loc };
+}
+function descriptorGuard(lowerer, info, loc) {
+    const name = `%descriptorGuard:${info.def.name}`;
+    const existing = lowerer.liftedFns.find((fn) => fn.name === name);
+    const key = varRef("key", DYN, loc);
+    const fields = new Set();
+    const collect = (owner) => {
+        for (const field of owner.fields.keys())
+            fields.add(field);
+        for (const child of owner.subclasses)
+            collect(child);
+    };
+    collect(info);
+    const body = [...fields].filter((field) => !field.startsWith("%") && !field.startsWith("#")).map((field) => ({
+        kind: "if", cond: { kind: "dynScalarEq", left: key, right: lowerer.coerceToExpected({ kind: "strLit", value: field, type: STRING, loc }, DYN), type: BOOL, loc },
+        then: [{ kind: "runtimeFence", code: "SC2020", message: `changing the descriptor of native field '${field}' is not supported yet`, loc }], else_: null, loc,
+    }));
+    if (existing) {
+        existing.body = body;
+        return name;
+    }
+    lowerer.liftedFns.push({ name, params: [{ localId: "key", name: "key", type: DYN }],
+        locals: [{ id: "key", name: "key", type: DYN, mutable: false }], returnType: VOID, loc,
+        body,
+    });
+    return name;
+}
+export function refreshDescriptorGuards(lowerer) {
+    for (const fn of lowerer.liftedFns) {
+        if (!fn.name.startsWith("%descriptorGuard:"))
+            continue;
+        const info = lowerer.classes.get(fn.name.slice("%descriptorGuard:".length));
+        if (info)
+            descriptorGuard(lowerer, info, fn.loc);
+    }
+}
+//# sourceMappingURL=class-descriptors.js.map

package/dist/frontend/lowering/class-descriptors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"class-descriptors.js","sourceRoot":"","sources":["../../../src/frontend/lowering/class-descriptors.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAyC,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACnH,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC3C,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAGtC,OAAO,EAAE,qBAAqB,EAAE,MAAM,6BAA6B,CAAC;AAEpE,SAAS,WAAW,CAAC,IAAqB;IACxC,OAAO,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AAC9E,CAAC;AAED,SAAS,eAAe,CAAC,OAAgB,EAAE,KAAgB,EAAE,IAAY;IACvE,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;QAC5B,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,eAAe,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;AAC7E,CAAC;AAED;6DAC6D;AAC7D,MAAM,UAAU,wBAAwB,CAAC,OAAgB,EAAE,IAAuB,EAAE,MAAc;IAChG,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACjD,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxD,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;IAC/B,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,IAAI,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,cAAc,IAAI,IAAI,CAAC,aAAa;QAC3F,CAAC,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACvF,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,GAAG,GAAW,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,qBAAqB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,IAAI;QAClF,IAAI,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IAClE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,8BAA8B,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,OAAO,CAAC,kBAAkB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AACpI,CAAC;AAED;4EAC4E;AAC5E,MAAM,UAAU,wBAAwB,CAAC,OAAgB,EAAE,IAAuB,EAAE,MAAc,EAAE,MAAc;IAChH,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACjD,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxD,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,IAAI,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,cAAc,IAAI,IAAI,CAAC,aAAa;QAAE,OAAO,IAAI,CAAC;IAC7G,MAAM,QAAQ,GAAG,CAAC,KAAgB,EAAE,IAAY,EAAW,EAAE,CAAC,eAAe,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;IACpG,MAAM,UAAU,GAAG,CAAC,IAAmB,EAAW,EAAE,CAAC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;QACrF,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,6BAA6B,CAAC,CAAC,CAAC,CAAC;YAC9F,CAAC,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,cAAc,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAC7F,MAAM,WAAW,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC;IACzE,IAAI,MAAM,KAAK,gBAAgB,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;QAC/B,IAAI,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC;YAAE,OAAO,IAAI,CAAC;IACpG,CAAC;SAAM,CAAC;QACN,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE;YACpF,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC;gBAAE,OAAO,KAAK,CAAC;YAC9C,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACjC,OAAO,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,WAAW,IAAI,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;QACpG,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;IAClB,CAAC;IACD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,CAAC,qBAAqB,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;IAChF,MAAM,IAAI,GAAG,OAAO,CAAC,kBAAkB,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC;IAC7D,MAAM,GAAG,GAAG,MAAM,KAAK,gBAAgB,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACnG,IAAI,GAAG;QAAE,GAAG,CAAC,OAAO,GAAG,IAAI,CAAC;IAC5B,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACpD,MAAM,KAAK,GAAG,OAAO,CAAC,gBAAgB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACnD,MAAM,MAAM,GAAG,qBAAqB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IACnD,MAAM,GAAG,GAAW,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACzF,MAAM,IAAI,GAAG,MAAM,KAAK,gBAAgB;QACtC,CAAC,CAAC,CAAC,GAAG,EAAE,MAAM,CAAC,GAAI,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAC7D,CAAC,CAAC,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACrC,MAAM,KAAK,GAAa;QACtB,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;QAC5D,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAkB,EAAE,OAAO,EAAE,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/H,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,kBAAkB,CAAC,WAAW,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE;QAC9F,GAAG,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAiB,EAAE,OAAO,EAAE,GAAG,CAAC,EAAE;gBAC9F,KAAK,EAAE,EAAE,IAAI,EAAE,SAAkB,EAAE,EAAE,EAAE,iBAA0B,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,UAAmB;gBACzJ,IAAI,EAAE,EAAE,IAAI,EAAE,MAAe,EAAE,MAAM,EAAE,eAAe,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/I,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,KAAK,gBAAgB,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,iBAAiB,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE;KACvJ,CAAC;IACF,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC;AAC1E,CAAC;AAED,SAAS,eAAe,CAAC,OAAgB,EAAE,IAAe,EAAE,GAAW;IACrE,MAAM,IAAI,GAAG,oBAAoB,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;IACjD,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IAClE,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACpC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,MAAM,OAAO,GAAG,CAAC,KAAgB,EAAQ,EAAE;QACzC,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE;YAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC3D,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,UAAU;YAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IACvD,CAAC,CAAC;IACF,OAAO,CAAC,IAAI,CAAC,CAAC;IACd,MAAM,IAAI,GAAa,CAAC,GAAG,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAU,EAAE,CAAC,CAAC;QAC3H,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,OAAO,CAAC,gBAAgB,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;QAChK,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,4CAA4C,KAAK,wBAAwB,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG;KAC5J,CAAC,CAAC,CAAC;IACN,IAAI,QAAQ,EAAE,CAAC;QAAC,QAAQ,CAAC,IAAI,GAAG,IAAI,CAAC;QAAC,OAAO,IAAI,CAAC;IAAC,CAAC;IACpD,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QACjF,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG;QACtF,IAAI;KACL,CAAC,CAAC;IACH,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,OAAgB;IACtD,KAAK,MAAM,EAAE,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;QACnC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,mBAAmB,CAAC;YAAE,SAAS;QACvD,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC;QAC5E,IAAI,IAAI;YAAE,eAAe,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC;IACnD,CAAC;AACH,CAAC"}

package/dist/frontend/lowering/class-dynamic-dispatch.d.ts

@@ -0,0 +1,51 @@
+import { type IrExpr, type IrFunction, type SrcLoc } from "../../ir/ir.js";
+import { type Lowerer } from "./lowerer.js";
+import { type ClassInfo } from "./lower-classes.js";
+export declare function classInstanceOf(lowerer: Lowerer, value: IrExpr, info: ClassInfo, loc: SrcLoc, classValue?: IrExpr): IrExpr;
+export declare function classPropertiesHelper(lowerer: Lowerer, loc: SrcLoc): IrFunction;
+/** Calls on native class capsules keep the instance's compiled methods. The
+ * reachable-body fixed point discovers both the boxed classes and method
+ * names before generating checked native dispatch; ordinary dyn receivers
+ * continue through their existing runtime implementation. */
+export declare class ClassDynamicDispatch {
+    private readonly asyncFree;
+    constructor(asyncFree?: boolean);
+    private readonly generatorDispatch;
+    private readonly constructionDispatch;
+    private readonly boxed;
+    private readonly boxedConstructors;
+    private readonly dispatches;
+    private readonly properties;
+    private readonly computed;
+    private propertyBag;
+    private readonly errorStrings;
+    private readonly bagClasses;
+    private readonly bagInitializers;
+    private readonly typedPropertyBags;
+    private readonly generated;
+    private constructDispatch;
+    private readonly constructors;
+    private readonly constructed;
+    private readonly instanceTests;
+    private readonly jsonPrototypes;
+    private descriptorHelper;
+    private prototypeHelper;
+    private readonly prototypeClasses;
+    private readonly instancePrototypes;
+    process(lowerer: Lowerer, functions: readonly IrFunction[]): boolean;
+    /** A known native class can access its shared bag directly. Keep the
+     * receiver as an owned parameter so calls and temporary instances retain
+     * their ordinary evaluation and lifetime rules without a boxed capsule. */
+    private typedPropertyBag;
+    /** The hidden bag is part of the native object layout, so every capsule
+     * shares it and normal class tracing/disposal owns its values. Insert it
+     * at the same prefix offset throughout a hierarchy, including classes
+     * collected before this untyped crossing was discovered. */
+    private ensurePropertyBag;
+    /** A capsule retains its static type, while its object may be a subclass.
+     * Preorder insertion lets later branches test the most derived layout first. */
+    private propertyReceivers;
+    private propertyReceiver;
+    private propertyBody;
+    private methodBody;
+}