@scriptc/compiler 0.2.3 → 0.2.5

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

@@ -1,18 +1,20 @@
 import * as ts from "../ts7/adapter.js";
-import { BOOL, DYN, STRING, VOID, isDynTypedRefType } from "../../ir/ir.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));
+function bagOnlyProperty(owner, name) {
+    return !owner.fields.has(name) && owner.subclasses.every((child) => bagOnlyProperty(child, name));
 }
 function runtimeRooted(info) {
     for (let current = info; current; current = current.base) {
-        if (current.def.runtime || current.builtinError || current.builtinEmitter || current.builtinStream)
+        if (current.def.runtime ||
+            current.builtinError ||
+            current.builtinEmitter ||
+            current.builtinStream)
             return true;
     }
     return false;
@@ -24,13 +26,23 @@ export function lowerClassDescriptorRead(lowerer, call, target) {
         return null;
     const info = lowerer.classes.get(target.type.className);
     const key = call.arguments[1];
-    if (!info || runtimeRooted(info) ||
-        !ts.isStringLiteral(key) || !bagOnlyProperty(lowerer, info, key.text))
+    if (!info || runtimeRooted(info) || !ts.isStringLiteral(key) || !bagOnlyProperty(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 };
+    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 properties
  * live in the instance's shared bag, preserving attributes and identity. */
@@ -40,23 +52,26 @@ export function lowerClassDataDescriptor(lowerer, call, member, target) {
     const info = lowerer.classes.get(target.type.className);
     if (!info || runtimeRooted(info))
         return null;
-    const safeName = (owner, name) => bagOnlyProperty(lowerer, owner, name);
+    const safeName = (owner, name) => bagOnlyProperty(owner, name);
     const descriptor = (node) => ts.isObjectLiteralExpression(node) &&
-        node.properties.every((p) => (ts.isPropertyAssignment(p) || ts.isShorthandPropertyAssignment(p) || ts.isMethodDeclaration(p)) &&
+        node.properties.every((p) => (ts.isPropertyAssignment(p) ||
+            ts.isShorthandPropertyAssignment(p) ||
+            ts.isMethodDeclaration(p)) &&
             ["value", "writable", "enumerable", "configurable", "get", "set"].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))
+        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);
-        }))
+        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);
@@ -74,12 +89,55 @@ export function lowerClassDataDescriptor(lowerer, call, member, target) {
         : [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 }] : []),
+        ...(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 },
+        ...(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 };
 }
@@ -95,16 +153,38 @@ function descriptorGuard(lowerer, info, loc) {
             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,
+    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,
+    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;

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

@@ -1 +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,SAAS,aAAa,CAAC,IAAe;IACpC,KAAK,IAAI,OAAO,GAAqB,IAAI,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;QAC3E,IAAI,OAAO,CAAC,GAAG,CAAC,OAAO,IAAI,OAAO,CAAC,YAAY,IAAI,OAAO,CAAC,cAAc,IAAI,OAAO,CAAC,aAAa;YAAE,OAAO,IAAI,CAAC;IAClH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,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,aAAa,CAAC,IAAI,CAAC;QAC5B,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,aAAa,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9C,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,IAAI,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;YAC3H,CAAC,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,cAAc,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAC3G,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"}
+{"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,EACL,IAAI,EACJ,GAAG,EACH,MAAM,EACN,IAAI,EAIJ,iBAAiB,GAClB,MAAM,gBAAgB,CAAC;AACxB,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,KAAgB,EAAE,IAAY;IACrD,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;AACpG,CAAC;AAED,SAAS,aAAa,CAAC,IAAe;IACpC,KAAK,IAAI,OAAO,GAAqB,IAAI,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;QAC3E,IACE,OAAO,CAAC,GAAG,CAAC,OAAO;YACnB,OAAO,CAAC,YAAY;YACpB,OAAO,CAAC,cAAc;YACtB,OAAO,CAAC,aAAa;YAErB,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;6DAC6D;AAC7D,MAAM,UAAU,wBAAwB,CACtC,OAAgB,EAChB,IAAuB,EACvB,MAAc;IAEd,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,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC;QAC9F,OAAO,IAAI,CAAC;IACd,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,GAAG,GAAW;QAClB,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,qBAAqB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,IAAI;QAChD,IAAI,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QAC7C,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;IACF,OAAO;QACL,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,8BAA8B;QAClC,IAAI,EAAE,CAAC,GAAG,EAAE,OAAO,CAAC,kBAAkB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACjD,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;4EAC4E;AAC5E,MAAM,UAAU,wBAAwB,CACtC,OAAgB,EAChB,IAAuB,EACvB,MAAc,EACd,MAAc;IAEd,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,aAAa,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9C,MAAM,QAAQ,GAAG,CAAC,KAAgB,EAAE,IAAY,EAAW,EAAE,CAAC,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC3F,MAAM,UAAU,GAAG,CAAC,IAAmB,EAAW,EAAE,CAClD,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;QAClC,IAAI,CAAC,UAAU,CAAC,KAAK,CACnB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC;YACzB,EAAE,CAAC,6BAA6B,CAAC,CAAC,CAAC;YACnC,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;YAC5B,CAAC,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,cAAc,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,QAAQ,CACxE,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAC1B,CACJ,CAAC;IACJ,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,CAAC,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC;YACpF,OAAO,IAAI,CAAC;IAChB,CAAC;SAAM,CAAC;QACN,IACE,CAAC,EAAE,CAAC,yBAAyB,CAAC,WAAW,CAAC;YAC1C,CAAC,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE;gBAClC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC;oBAAE,OAAO,KAAK,CAAC;gBAC9C,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBACjC,OAAO,CACL,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,WAAW,IAAI,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,CAC3F,CAAC;YACJ,CAAC,CAAC;YAEF,OAAO,IAAI,CAAC;IAChB,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,GACP,MAAM,KAAK,gBAAgB,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACzF,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,GACR,MAAM,KAAK,gBAAgB;QACzB,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;IACvC,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;YACL,CAAC,CAAC;gBACE;oBACE,IAAI,EAAE,SAAkB;oBACxB,OAAO,EAAE,GAAG,CAAC,EAAE;oBACf,IAAI,EAAE,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC;oBACzD,GAAG;iBACJ;aACF;YACH,CAAC,CAAC,EAAE,CAAC;QACP,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;YAChD,CAAC,CAAC;gBACE;oBACE,IAAI,EAAE,QAAiB;oBACvB,OAAO,EAAE,GAAG,CAAC,EAAE;oBACf,KAAK,EAAE;wBACL,IAAI,EAAE,SAAkB;wBACxB,EAAE,EAAE,iBAA0B;wBAC9B,IAAI,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;wBAChC,IAAI,EAAE,GAAG;wBACT,GAAG;qBACJ;oBACD,GAAG;iBACJ;gBACD;oBACE,IAAI,EAAE,UAAmB;oBACzB,IAAI,EAAE;wBACJ,IAAI,EAAE,MAAe;wBACrB,MAAM,EAAE,eAAe,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC;wBAC3C,IAAI,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;wBAChC,IAAI,EAAE,IAAI;wBACV,GAAG;qBACJ;oBACD,GAAG;iBACJ;aACF;YACH,CAAC,CAAC,EAAE,CAAC;QACP;YACE,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE;gBACJ,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,MAAM,KAAK,gBAAgB,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,iBAAiB;gBAC1E,IAAI;gBACJ,IAAI,EAAE,GAAG;gBACT,GAAG;aACJ;YACD,GAAG;SACJ;KACF,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;SAC/B,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;SACnE,GAAG,CAAC,CAAC,KAAK,EAAU,EAAE,CAAC,CAAC;QACvB,IAAI,EAAE,IAAI;QACV,IAAI,EAAE;YACJ,IAAI,EAAE,aAAa;YACnB,IAAI,EAAE,GAAG;YACT,KAAK,EAAE,OAAO,CAAC,gBAAgB,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,GAAG,CAAC;YACzF,IAAI,EAAE,IAAI;YACV,GAAG;SACJ;QACD,IAAI,EAAE;YACJ;gBACE,IAAI,EAAE,cAAc;gBACpB,IAAI,EAAE,QAAQ;gBACd,OAAO,EAAE,4CAA4C,KAAK,wBAAwB;gBAClF,GAAG;aACJ;SACF;QACD,KAAK,EAAE,IAAI;QACX,GAAG;KACJ,CAAC,CAAC,CAAC;IACN,IAAI,QAAQ,EAAE,CAAC;QACb,QAAQ,CAAC,IAAI,GAAG,IAAI,CAAC;QACrB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;QACrB,IAAI;QACJ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QACpD,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QAC/D,UAAU,EAAE,IAAI;QAChB,GAAG;QACH,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

@@ -2,7 +2,7 @@ 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;
+export declare function classPropertiesHelper(lowerer: Lowerer, loc: SrcLoc, readOnly?: boolean): IrFunction;
 /** A for-in presence recheck needs only the live property table, avoiding
  * value conversion or a dispatch branch for every possible member name. */
 export declare function classForInHasKey(lowerer: Lowerer, value: IrExpr, key: IrExpr, loc: SrcLoc): IrExpr;
@@ -34,6 +34,7 @@ export declare class ClassDynamicDispatch {
     private readonly bagClasses;
     private readonly bagInitializers;
     private readonly typedPropertyBags;
+    private readonly readPropertyBags;
     private readonly generated;
     private constructDispatch;
     private readonly constructors;
@@ -55,6 +56,10 @@ export declare class ClassDynamicDispatch {
      * receiver as an owned parameter so calls and temporary instances retain
      * their ordinary evaluation and lifetime rules without a boxed capsule. */
     private typedPropertyBag;
+    /** Prototype state may appear in a later reachable body. Only after the
+     * dispatch worklist closes can an empty bag initializer be omitted; a
+     * prototype-backed bag must still be initialized before inherited reads. */
+    finalize(): void;
     private normalizedDispatches;
     private constructorPropertyBag;
     /** A base capsule and a derived capsule refer to the same native object.