@scriptc/compiler 0.1.7 → 0.2.0

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

@@ -0,0 +1,134 @@
+import * as ts from "../ts7/adapter.js";
+import { BOOL, DYN, STRING, SYMBOL_T } from "../../ir/ir.js";
+import { varRef } from "../../ir/build.js";
+import { locOf } from "../program.js";
+import { exactClassOfReceiver, findGenericMethodOn, findMethodOn } from "./lower-classes.js";
+import { dynUndefinedExpr } from "./lowerer.js";
+/** Data added to a top-level class prototype has shared identity and remains
+ * separate from instance fields. Allocate lazily so inheritance and module
+ * initialization order do not require hoisting source assignments. */
+export function classPrototypeData(lowerer, info, loc, receiver) {
+    if (info.localClass) {
+        if (!receiver)
+            return null;
+        info.localPrototypeData = true;
+        const value = receiver.type.kind === "classval" ? receiver : {
+            kind: "fieldGet", obj: receiver, className: info.def.name, field: `%classEnvironment:${info.def.name}`,
+            type: { kind: "classval", className: info.def.name }, loc,
+        };
+        const base = info.callableBase ? varRef(info.callableBase.prototypeId, DYN, loc)
+            : info.base && !info.base.builtinError ? classPrototypeData(lowerer, info.base, loc) : null;
+        return { kind: "libCall", fn: "dyn.classPrototype", args: [
+                { kind: "dynFrom", value, type: DYN, loc }, base ?? dynUndefinedExpr(loc),
+            ], type: DYN, loc };
+    }
+    if (info.mixinInstance || info.generic || info.genericInstance || info.def.runtime || info.builtinEmitter || info.builtinStream || info.builtinError)
+        return null;
+    if (info.def.prototypeDataHelper === undefined) {
+        const base = info.callableBase ? varRef(info.callableBase.prototypeId, DYN, loc)
+            : info.base && !info.base.builtinError ? classPrototypeData(lowerer, info.base, loc) : null;
+        if (info.base && !info.base.builtinError && base === null)
+            return null;
+        const name = `%prototype.data.${info.def.name}`;
+        const globalId = `%g.${name}`;
+        const readyId = `${globalId}.ready`;
+        info.def.prototypeDataHelper = name;
+        const className = info.def.jsName ?? info.def.name;
+        lowerer.globalsList.push({ id: globalId, name: `${className}.prototype`, type: DYN, mutable: true });
+        lowerer.globalsList.push({ id: readyId, name: `${className}.prototype.ready`, type: BOOL, mutable: true });
+        const value = varRef(globalId, DYN, loc);
+        const helper = {
+            name, params: [], returnType: DYN, locals: [], loc,
+            body: [
+                { kind: "if", cond: { kind: "unary", op: "!", operand: varRef(readyId, BOOL, loc), type: BOOL, loc }, then: [
+                        { kind: "assign", localId: globalId, value: base
+                                ? { kind: "libCall", fn: "dyn.objCreate", args: [base], type: DYN, loc }
+                                : { kind: "dynObjLit", fields: [], type: DYN, loc }, loc },
+                        { kind: "assign", localId: readyId, value: { kind: "boolLit", value: true, type: BOOL, loc }, loc },
+                    ], else_: null, loc },
+                { kind: "return", value, loc },
+            ],
+        };
+        lowerer.liftedFns.push(helper);
+    }
+    return { kind: "call", callee: info.def.prototypeDataHelper, args: [], type: DYN, loc };
+}
+export function hasClassPrototypeData(info) {
+    return info.callableBase !== undefined || info.localPrototypeData === true || info.def.prototypeDataHelper !== undefined || (info.base !== null && hasClassPrototypeData(info.base));
+}
+export function isCompiledPrototypeMember(lowerer, info, name) {
+    return name === "constructor" || name === "__proto__" ||
+        !!findMethodOn(lowerer, info, name) || !!findGenericMethodOn(lowerer, info, name) ||
+        !!findMethodOn(lowerer, info, `get:${name}`) || !!findMethodOn(lowerer, info, `set:${name}`);
+}
+/** Compiled methods still live in vtables. Keep prototype reflection and
+ * method replacement fenced until those descriptors have a native view. */
+export function lowerClassPrototypeData(lowerer, expr) {
+    if (expr.questionDotToken || expr.name.text !== "prototype")
+        return null;
+    const info = exactClassOfReceiver(lowerer, expr.expression);
+    if (!info)
+        return null;
+    const parent = expr.parent;
+    const name = ts.isPropertyAccessExpression(parent) && parent.expression === expr ? parent.name.text
+        : ts.isElementAccessExpression(parent) && parent.expression === expr && parent.argumentExpression && ts.isStringLiteral(parent.argumentExpression)
+            ? parent.argumentExpression.text : null;
+    if (name === null || isCompiledPrototypeMember(lowerer, info, name)) {
+        lowerer.unsupported("SC1090", expr, "class prototype reflection and compiled method replacement (named prototype data properties compile)");
+    }
+    const value = classPrototypeData(lowerer, info, locOf(expr), info.localClass ? lowerer.lowerExpr(expr.expression) : undefined);
+    if (value === null)
+        lowerer.unsupported("SC1090", expr, "prototype data on local, generic, mixin, or runtime-provided classes");
+    return value;
+}
+/** Object.assign may add data without exposing an incomplete prototype view.
+ * The runtime refuses replacement of compiled members at the individual Set. */
+export function lowerClassPrototypeAssign(lowerer, call) {
+    const target = call.arguments[0];
+    if (!target || !ts.isPropertyAccessExpression(target) || target.name.text !== "prototype")
+        return null;
+    const info = exactClassOfReceiver(lowerer, target.expression);
+    if (!info)
+        return null;
+    if (!ts.isExpressionStatement(call.parent) || call.arguments.some(ts.isSpreadElement)) {
+        lowerer.unsupported("SC1090", call, "class prototype assignment results and spread arguments");
+    }
+    const loc = locOf(call);
+    const value = classPrototypeData(lowerer, info, loc, info.localClass ? lowerer.lowerExpr(target.expression) : undefined);
+    if (!value)
+        lowerer.unsupported("SC1090", target, "prototype data on generic, mixin, or runtime-provided classes");
+    const keys = ["constructor", "__proto__"].map((name) => ({ kind: "strLit", value: name, type: STRING, loc }));
+    for (let owner = info; owner; owner = owner.base) {
+        const methodNames = new Set([...owner.methods.keys()]);
+        if (owner.genericMethods)
+            for (const name of [...owner.genericMethods.keys()])
+                methodNames.add(name);
+        for (const name of methodNames) {
+            if (name.startsWith("#"))
+                continue;
+            // Error.toString uses checked native dispatch, including prototype
+            // additions. A user-declared method remains protected below.
+            if (owner.builtinError && name === "toString")
+                continue;
+            if (name.startsWith("sym:")) {
+                keys.push({ kind: "libCall", fn: "sym.wellKnown", args: [{ kind: "strLit", value: name.slice(4), type: STRING, loc }], type: SYMBOL_T, loc });
+            }
+            else if (name.startsWith("%symbol:")) {
+                const entries = owner.symbolMethods ? [...owner.symbolMethods] : [];
+                const entry = entries.find(([, field]) => field === name);
+                const declaration = entry ? lowerer.checker.valueDeclarationOf(entry[0]) : undefined;
+                if (!declaration || !ts.isVariableDeclaration(declaration) || !ts.isIdentifier(declaration.name))
+                    lowerer.unsupported("SC1090", target, "prototype mutation with unresolved symbol methods");
+                keys.push(lowerer.lowerExpr(declaration.name));
+            }
+            else
+                keys.push({ kind: "strLit", value: name.replace(/^(get|set):/, ""), type: STRING, loc });
+        }
+    }
+    const sources = call.arguments.slice(1).map((node) => lowerer.lowerExprExpecting(node, DYN));
+    return { kind: "libCall", fn: "dyn.assignPrototype", args: [value,
+            { kind: "dynArrLit", elems: sources, type: DYN, loc },
+            { kind: "dynArrLit", elems: keys.map((key) => key.type.kind === "dyn" ? key : { kind: "dynFrom", value: key, type: DYN, loc }), type: DYN, loc },
+        ], type: DYN, loc };
+}
+//# sourceMappingURL=class-prototypes.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"class-prototypes.js","sourceRoot":"","sources":["../../../src/frontend/lowering/class-prototypes.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,QAAQ,EAA6C,MAAM,gBAAgB,CAAC;AACxG,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC3C,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtC,OAAO,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,YAAY,EAAkB,MAAM,oBAAoB,CAAC;AAE7G,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAEhD;;sEAEsE;AACtE,MAAM,UAAU,kBAAkB,CAAC,OAAgB,EAAE,IAAe,EAAE,GAAW,EAAE,QAAiB;IAClG,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACpB,IAAI,CAAC,QAAQ;YAAE,OAAO,IAAI,CAAC;QAC3B,IAAI,CAAC,kBAAkB,GAAG,IAAI,CAAC;QAC/B,MAAM,KAAK,GAAW,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;YACnE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,qBAAqB,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE;YACtG,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,GAAG;SAC1D,CAAC;QACF,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,WAAW,EAAE,GAAG,EAAE,GAAG,CAAC;YAC9E,CAAC,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC9F,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,oBAAoB,EAAE,IAAI,EAAE;gBACxD,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,IAAI,IAAI,gBAAgB,CAAC,GAAG,CAAC;aAC1E,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACtB,CAAC;IACD,IAAI,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,eAAe,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,IAAI,IAAI,CAAC,cAAc,IAAI,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,YAAY;QAAE,OAAO,IAAI,CAAC;IAClK,IAAI,IAAI,CAAC,GAAG,CAAC,mBAAmB,KAAK,SAAS,EAAE,CAAC;QAC/C,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,WAAW,EAAE,GAAG,EAAE,GAAG,CAAC;YAC9E,CAAC,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC9F,IAAI,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QACvE,MAAM,IAAI,GAAG,mBAAmB,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;QAChD,MAAM,QAAQ,GAAG,MAAM,IAAI,EAAE,CAAC;QAC9B,MAAM,OAAO,GAAG,GAAG,QAAQ,QAAQ,CAAC;QACpC,IAAI,CAAC,GAAG,CAAC,mBAAmB,GAAG,IAAI,CAAC;QACpC,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;QACnD,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,SAAS,YAAY,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;QACrG,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,SAAS,kBAAkB,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;QAC3G,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACzC,MAAM,MAAM,GAAe;YACzB,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG;YAClD,IAAI,EAAE;gBACJ,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE;wBAC1G,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI;gCAC9C,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;gCACxE,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE;wBAC5D,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE;qBACpG,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;gBACrB,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE;aAC/B;SACF,CAAC;QACF,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACjC,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,mBAAmB,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AAC1F,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,IAAe;IACnD,OAAO,IAAI,CAAC,YAAY,KAAK,SAAS,IAAI,IAAI,CAAC,kBAAkB,KAAK,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC,mBAAmB,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;AACvL,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,OAAgB,EAAE,IAAe,EAAE,IAAY;IACvF,OAAO,IAAI,KAAK,aAAa,IAAI,IAAI,KAAK,WAAW;QACnD,CAAC,CAAC,YAAY,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,mBAAmB,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC;QACjF,CAAC,CAAC,YAAY,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,IAAI,EAAE,CAAC,CAAC;AACjG,CAAC;AAED;2EAC2E;AAC3E,MAAM,UAAU,uBAAuB,CAAC,OAAgB,EAAE,IAAiC;IACzF,IAAI,IAAI,CAAC,gBAAgB,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IACzE,MAAM,IAAI,GAAG,oBAAoB,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;IAC5D,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3B,MAAM,IAAI,GAAG,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI;QACjG,CAAC,CAAC,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,KAAK,IAAI,IAAI,MAAM,CAAC,kBAAkB,IAAI,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,kBAAkB,CAAC;YAChJ,CAAC,CAAC,MAAM,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IAC5C,IAAI,IAAI,KAAK,IAAI,IAAI,yBAAyB,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;QACpE,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,sGAAsG,CAAC,CAAC;IAC9I,CAAC;IACD,MAAM,KAAK,GAAG,kBAAkB,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IAC/H,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,sEAAsE,CAAC,CAAC;IAChI,OAAO,KAAK,CAAC;AACf,CAAC;AAED;gFACgF;AAChF,MAAM,UAAU,yBAAyB,CAAC,OAAgB,EAAE,IAAuB;IACjF,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACjC,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IACvG,MAAM,IAAI,GAAG,oBAAoB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;IAC9D,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC;QACtF,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,yDAAyD,CAAC,CAAC;IACjG,CAAC;IACD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,KAAK,GAAG,kBAAkB,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IACzH,IAAI,CAAC,KAAK;QAAE,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,MAAM,EAAE,+DAA+D,CAAC,CAAC;IACnH,MAAM,IAAI,GAAa,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IACxH,KAAK,IAAI,KAAK,GAAqB,IAAI,EAAE,KAAK,EAAE,KAAK,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;QACnE,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACvD,IAAI,KAAK,CAAC,cAAc;YAAE,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,KAAK,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC;gBAAE,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrG,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;YAC/B,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;gBAAE,SAAS;YACnC,mEAAmE;YACnE,6DAA6D;YAC7D,IAAI,KAAK,CAAC,YAAY,IAAI,IAAI,KAAK,UAAU;gBAAE,SAAS;YACxD,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC5B,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;YAChJ,CAAC;iBAAM,IAAI,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;gBACvC,MAAM,OAAO,GAA0B,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC3F,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC;gBAC1D,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;gBACrF,IAAI,CAAC,WAAW,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC;oBAAE,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,MAAM,EAAE,mDAAmD,CAAC,CAAC;gBAC7L,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;YACjD,CAAC;;gBAAM,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;QAClG,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IAC7F,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,qBAAqB,EAAE,IAAI,EAAE,CAAC,KAAK;YAC/D,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YACrD,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;SACjJ,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AACtB,CAAC"}

package/dist/frontend/lowering/class-static-data.d.ts

@@ -0,0 +1,6 @@
+import { type IrExpr, type SrcLoc } from "../../ir/ir.js";
+import { type ClassInfo } from "./lower-classes.js";
+import type { Lowerer } from "./lowerer.js";
+/** Expando data on an exact JS constructor. Declared statics and Function
+ * members retain their existing lowering; this bag cannot replace them. */
+export declare function classStaticDataFor(lowerer: Lowerer, info: ClassInfo, name: string, loc: SrcLoc): IrExpr | null;

package/dist/frontend/lowering/class-static-data.js

@@ -0,0 +1,56 @@
+import * as ts from "../ts7/adapter.js";
+import { BOOL, DYN } from "../../ir/ir.js";
+import { varRef } from "../../ir/build.js";
+import { isJsSourceFile } from "../program.js";
+import { findStaticOn, findGenericStaticOn } from "./lower-classes.js";
+const constructorMembers = new Set([
+    "name", "length", "prototype", "__proto__", "constructor", "call", "apply", "bind",
+    "arguments", "caller", "toString", "toLocaleString", "valueOf", "hasOwnProperty",
+    "isPrototypeOf", "propertyIsEnumerable", "__defineGetter__", "__defineSetter__",
+    "__lookupGetter__", "__lookupSetter__",
+]);
+/** Expando data on an exact JS constructor. Declared statics and Function
+ * members retain their existing lowering; this bag cannot replace them. */
+export function classStaticDataFor(lowerer, info, name, loc) {
+    if (!info.decl || !isJsSourceFile(info.decl.getSourceFile()) || name.startsWith("#") || constructorMembers.has(name))
+        return null;
+    if (findStaticOn(lowerer, info, name) || findGenericStaticOn(lowerer, info, name))
+        return null;
+    for (let c = info; c; c = c.base) {
+        if (c.decl?.members.some((m) => m.name &&
+            ts.canHaveModifiers(m) && ts.getModifiers(m)?.some((mod) => mod.kind === ts.SyntaxKind.StaticKeyword) &&
+            (ts.isComputedPropertyName(m.name) || ((ts.isIdentifier(m.name) || ts.isStringLiteral(m.name)) && m.name.text === name))))
+            return null;
+    }
+    return classStaticData(lowerer, info, loc);
+}
+function classStaticData(lowerer, info, loc) {
+    if (info.localClass || info.mixinInstance || info.generic || info.genericInstance || info.classDecorators || info.def.runtime || info.builtinEmitter || info.builtinStream || info.builtinError)
+        return null;
+    if (info.staticDataHelper === undefined) {
+        const base = info.base ? classStaticData(lowerer, info.base, loc) : null;
+        if (info.base && base === null)
+            return null;
+        const name = `%static.data.${info.def.name}`;
+        const globalId = `%g.${name}`;
+        const readyId = `${globalId}.ready`;
+        info.staticDataHelper = name;
+        lowerer.globalsList.push({ id: globalId, name: `${info.def.name}.staticData`, type: DYN, mutable: true });
+        lowerer.globalsList.push({ id: readyId, name: `${info.def.name}.staticDataReady`, type: BOOL, mutable: true });
+        const helper = {
+            name, params: [], returnType: DYN, locals: [], loc,
+            body: [
+                { kind: "if", cond: { kind: "unary", op: "!", operand: varRef(readyId, BOOL, loc), type: BOOL, loc }, then: [
+                        { kind: "assign", localId: globalId, value: base
+                                ? { kind: "libCall", fn: "dyn.objCreate", args: [base], type: DYN, loc }
+                                : { kind: "dynObjLit", fields: [], type: DYN, loc }, loc },
+                        { kind: "assign", localId: readyId, value: { kind: "boolLit", value: true, type: BOOL, loc }, loc },
+                    ], else_: null, loc },
+                { kind: "return", value: varRef(globalId, DYN, loc), loc },
+            ],
+        };
+        lowerer.liftedFns.push(helper);
+    }
+    return { kind: "call", callee: info.staticDataHelper, args: [], type: DYN, loc };
+}
+//# sourceMappingURL=class-static-data.js.map

package/dist/frontend/lowering/class-static-data.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"class-static-data.js","sourceRoot":"","sources":["../../../src/frontend/lowering/class-static-data.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EAAE,IAAI,EAAE,GAAG,EAA6C,MAAM,gBAAgB,CAAC;AACtF,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC3C,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,YAAY,EAAE,mBAAmB,EAAkB,MAAM,oBAAoB,CAAC;AAGvF,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC;IACjC,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM;IAClF,WAAW,EAAE,QAAQ,EAAE,UAAU,EAAE,gBAAgB,EAAE,SAAS,EAAE,gBAAgB;IAChF,eAAe,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,kBAAkB;IAC/E,kBAAkB,EAAE,kBAAkB;CACvC,CAAC,CAAC;AAEH;2EAC2E;AAC3E,MAAM,UAAU,kBAAkB,CAAC,OAAgB,EAAE,IAAe,EAAE,IAAY,EAAE,GAAW;IAC7F,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAClI,IAAI,YAAY,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,mBAAmB,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/F,KAAK,IAAI,CAAC,GAAqB,IAAI,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QACnD,IAAI,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI;YACpC,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC;YACrG,CAAC,EAAE,CAAC,sBAAsB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;IAC3I,CAAC;IACD,OAAO,eAAe,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;AAC7C,CAAC;AAED,SAAS,eAAe,CAAC,OAAgB,EAAE,IAAe,EAAE,GAAW;IACrE,IAAI,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,eAAe,IAAI,IAAI,CAAC,eAAe,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,IAAI,IAAI,CAAC,cAAc,IAAI,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,YAAY;QAAE,OAAO,IAAI,CAAC;IAC7M,IAAI,IAAI,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;QACxC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACzE,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC5C,MAAM,IAAI,GAAG,gBAAgB,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;QAC7C,MAAM,QAAQ,GAAG,MAAM,IAAI,EAAE,CAAC;QAC9B,MAAM,OAAO,GAAG,GAAG,QAAQ,QAAQ,CAAC;QACpC,IAAI,CAAC,gBAAgB,GAAG,IAAI,CAAC;QAC7B,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,aAAa,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;QAC1G,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,kBAAkB,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;QAC/G,MAAM,MAAM,GAAe;YACzB,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG;YAClD,IAAI,EAAE;gBACJ,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE;wBAC1G,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI;gCAC9C,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;gCACxE,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE;wBAC5D,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE;qBACpG,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;gBACrB,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,QAAQ,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE;aAC3D;SACF,CAAC;QACF,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACjC,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,gBAAgB,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AACnF,CAAC"}

package/dist/frontend/lowering/containers/buffer-numeric-methods.d.ts

@@ -0,0 +1,4 @@
+/** The fixed-width Buffer numeric methods by source name → the readNum/
+ * writeNum kind token. Node declares BOTH capitalizations ("UInt" is the
+ * original, "Uint" the aliased spelling) — the tables carry both. */
+export declare const BUF_NUM_METHODS: Record<string, string | undefined>;

package/dist/frontend/lowering/containers/buffer-numeric-methods.js

@@ -0,0 +1,26 @@
+/** The fixed-width Buffer numeric methods by source name → the readNum/
+ * writeNum kind token. Node declares BOTH capitalizations ("UInt" is the
+ * original, "Uint" the aliased spelling) — the tables carry both. */
+export const BUF_NUM_METHODS = (() => {
+    const out = {};
+    for (const rw of ["read", "write"]) {
+        for (const u of ["UInt", "Uint"]) {
+            out[`${rw}${u}8`] = "u8";
+            out[`${rw}${u}16BE`] = "u16be";
+            out[`${rw}${u}16LE`] = "u16le";
+            out[`${rw}${u}32BE`] = "u32be";
+            out[`${rw}${u}32LE`] = "u32le";
+        }
+        out[`${rw}Int8`] = "i8";
+        out[`${rw}Int16BE`] = "i16be";
+        out[`${rw}Int16LE`] = "i16le";
+        out[`${rw}Int32BE`] = "i32be";
+        out[`${rw}Int32LE`] = "i32le";
+        out[`${rw}FloatBE`] = "f32be";
+        out[`${rw}FloatLE`] = "f32le";
+        out[`${rw}DoubleBE`] = "f64be";
+        out[`${rw}DoubleLE`] = "f64le";
+    }
+    return out;
+})();
+//# sourceMappingURL=buffer-numeric-methods.js.map

package/dist/frontend/lowering/containers/buffer-numeric-methods.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"buffer-numeric-methods.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/containers/buffer-numeric-methods.ts"],"names":[],"mappings":"AAAA;;qEAEqE;AACrE,MAAM,CAAC,MAAM,eAAe,GAAuC,CAAC,GAAG,EAAE;IACvE,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,KAAK,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;QACnC,KAAK,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;YACjC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC;YACzB,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC;YAC/B,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC;YAC/B,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC;YAC/B,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC;QACjC,CAAC;QACD,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,IAAI,CAAC;QACxB,GAAG,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,OAAO,CAAC;QAC9B,GAAG,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,OAAO,CAAC;QAC9B,GAAG,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,OAAO,CAAC;QAC9B,GAAG,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,OAAO,CAAC;QAC9B,GAAG,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,OAAO,CAAC;QAC9B,GAAG,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,OAAO,CAAC;QAC9B,GAAG,CAAC,GAAG,EAAE,UAAU,CAAC,GAAG,OAAO,CAAC;QAC/B,GAAG,CAAC,GAAG,EAAE,UAAU,CAAC,GAAG,OAAO,CAAC;IACjC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC,CAAC,EAAE,CAAC"}

package/dist/frontend/lowering/containers/bytes.d.ts

@@ -1,20 +1,24 @@
 import * as ts from "../../ts7/adapter.js";
-import { IrExpr } from "../../../ir/ir.js";
+import { type IrExpr } from "../../../ir/ir.js";
 import type { Lowerer } from "../lowerer.js";
-/** `new Uint8Array(...)` / `new Uint32Array(...)` / `new Float32Array(...)` / `new Float64Array(...)`
+/** Numeric typed-array constructors
    * (stdlib provenance — a user's own class with the name resolves through
    * classBySymbol). Lowered argument shapes: none (empty), a length
    * (zero-filled; ToIndex at runtime — invalid lengths throw Node's
-   * RangeError), a same-kind typed array or Buffer (an independent COPY —
+   * RangeError), a numeric typed array or Buffer (an independent COPY —
    * the readFile chain's `new Uint8Array(await readFile(p))`), a number[]
    * literal (element-coerced; its contextual type is the lib's
    * ArrayLike/Iterable union, which cannot map — the Set-seed pattern), or
-   * a number[]-typed value. ArrayBuffer/view forms are fenced: scriptc
-   * typed arrays own their storage. Null when this isn't a stdlib
+   * a number[]-typed value, or checked native input with runtime length /
+   * array-like dispatch. ArrayBuffer inputs create shared views.
+   * Null when this isn't a stdlib
    * typed-array construction. */
 export declare function lowerBytesNew(lowerer: Lowerer, expr: ts.NewExpression, symbol: ts.Symbol | null | undefined): IrExpr | null;
-/** Method calls on typed-array/Buffer receivers: slice and subarray (BOTH
-   * copy — subarray's sharing is the documented divergence), set(src,
+/** TypedArray.from without a mapping callback. Preserve its iterable /
+ * array-like semantics separately from constructor length coercion. */
+export declare function lowerBytesStaticCall(lowerer: Lowerer, call: ts.CallExpression, access: ts.PropertyAccessExpression): IrExpr | null;
+/** Method calls on typed-array/Buffer receivers: slice (copy), subarray
+   * (shared view), copyWithin, set(src,
    * offset?), and the u8-only Buffer surface: toString(enc?) plus the
    * whole numeric read/write family (fixed widths BE/LE and the
    * variable-width read/writeUIntLE quartet — BUF_NUM_METHODS). Everything