@scriptc/compiler 0.3.1 → 0.3.3

package/dist/frontend/lowering/lower-event-target.js

@@ -0,0 +1,362 @@
+/* Compiled subclasses of EventTarget and Event (`class Bus extends
+ * EventTarget`, `class Ping extends Event`).
+ *
+ * Plain `new EventTarget()` / `new Event()` values are checked-dynamic
+ * handles over the runtime engine (scr_event_target.c). A program class
+ * extending either one roots at a runtime base class (%EventTarget /
+ * %Event) whose instance prefix points at the same engine state: super()
+ * creates it, and the backend embeds the prefix like the emitter's. The
+ * inherited members lower here for typed receivers. Checked-dynamic
+ * capsules of the instances are recognized by the runtime, so the
+ * engine's own values are the instances themselves: a target's capsule is
+ * its listeners' `this` and its events' target, and an Event subclass
+ * instance is what its listeners receive. Property reads, writes and
+ * method calls on those capsules reach the inherited members through the
+ * class property dispatch (class-dynamic-dispatch.ts) and the runtime's
+ * capsule hooks.
+ *
+ * Subclass members spelling an inherited member are fenced: the engine
+ * reads its own state (the event's type, the target's listener lists)
+ * and never calls an override.
+ */
+import * as ts from "../ts7/adapter.js";
+import { locOf } from "../program.js";
+import { strLit } from "../../ir/build.js";
+import { BOOL, DYN, RUNTIME_EVENT_CLASS, RUNTIME_EVENT_TARGET_CLASS, VOID, } from "../../ir/ir.js";
+const HANDLE_EVENT_READER = "%event.handleEventOf";
+/** A program that can register EventTarget listeners and declares a class
+ * with a handleEvent method lifts `%event.handleEventOf(listener) =
+ * listener.handleEvent`, a checked-dynamic read the class property
+ * dispatch resolves through each class's compiled members (overrides and
+ * own properties included). %main installs it for the engine, which reads
+ * a capsule listener's handleEvent through it at every dispatch, as Node
+ * does; class views alone carry fields, not methods. Called by the
+ * EventTarget lowerings. */
+export function noteEventListeners(lowerer, loc) {
+    if (lowerer.handleEventReader)
+        return;
+    const declares = [...lowerer.classes.values()].some((info) => !info.def.runtime && lowerer.findMethodOn(info, "handleEvent") !== null);
+    if (!declares)
+        return;
+    lowerer.handleEventReader = true;
+    lowerer.liftedFns.push({
+        name: HANDLE_EVENT_READER,
+        params: [{ localId: "listener", name: "listener", type: DYN }],
+        returnType: DYN,
+        locals: [{ id: "listener", name: "listener", type: DYN, mutable: false }],
+        body: [
+            {
+                kind: "return",
+                value: {
+                    kind: "dynKeyGet",
+                    value: { kind: "varRef", localId: "listener", type: DYN, loc },
+                    key: strLit("handleEvent", loc),
+                    type: DYN,
+                    loc,
+                },
+                loc,
+            },
+        ],
+        loc,
+    });
+}
+/** %main's installation of the handleEvent reader, when one was lifted. */
+export function handleEventReaderPrelude(lowerer, loc) {
+    if (!lowerer.handleEventReader)
+        return [];
+    const reader = {
+        kind: "dynFrom",
+        value: {
+            kind: "closure",
+            fnName: HANDLE_EVENT_READER,
+            captures: [],
+            type: { kind: "func", params: [DYN], ret: DYN },
+            loc,
+        },
+        type: DYN,
+        loc,
+    };
+    return [
+        {
+            kind: "exprStmt",
+            expr: { kind: "libCall", fn: "event.handleEventReader", args: [reader], type: VOID, loc },
+            loc,
+        },
+    ];
+}
+/** The EventTarget methods compiled subclasses inherit. */
+export const EVENT_TARGET_API_MEMBERS = new Set([
+    "addEventListener",
+    "removeEventListener",
+    "dispatchEvent",
+]);
+/** The Event methods compiled subclasses inherit. */
+const EVENT_API_METHODS = new Set([
+    "preventDefault",
+    "stopPropagation",
+    "stopImmediatePropagation",
+    "composedPath",
+    "initEvent",
+]);
+/** The Event accessors compiled subclasses inherit (Event.prototype's). */
+const EVENT_API_PROPERTIES = new Set([
+    "type",
+    "target",
+    "srcElement",
+    "currentTarget",
+    "eventPhase",
+    "bubbles",
+    "cancelable",
+    "composed",
+    "defaultPrevented",
+    "returnValue",
+    "cancelBubble",
+    "timeStamp",
+    "isTrusted",
+]);
+/** Whether `name` is an inherited member (accessor or method) of
+ * `info`'s instances. */
+export function eventTargetInheritedMember(info, name) {
+    return eventTargetApiMembers(info)?.has(name) ?? false;
+}
+/** Every inherited Event member name (the subclass-member fence). */
+export const EVENT_API_MEMBERS = new Set([
+    ...EVENT_API_METHODS,
+    ...EVENT_API_PROPERTIES,
+]);
+/** Registers the runtime bases as ClassInfos (the emitter story): no
+ * decl and no lowerable bodies; super() reaches them through event.*
+ * libCalls. `new EventTarget()` takes no arguments; `new Event(type,
+ * options)` takes the argument vector as one dyn array, which the runtime
+ * validates like Node's constructor. */
+export function registerBuiltinEventTargetClasses(lowerer) {
+    const loc = { file: "<builtin>", start: 0, end: 0 };
+    const classes = [
+        [RUNTIME_EVENT_TARGET_CLASS, "target"],
+        [RUNTIME_EVENT_CLASS, "event"],
+    ];
+    for (const [name, kind] of classes) {
+        lowerer.classes.set(name, {
+            def: { name, runtime: true, fields: [], loc },
+            fields: new Map(),
+            fieldOrder: [],
+            methods: new Map(),
+            decl: null,
+            builtinEventTarget: kind,
+            ctor: null,
+            ctorParams: kind === "event" ? [{ type: DYN, mode: "dynRest" }] : [],
+            base: null,
+            subclasses: [],
+            throwingSetters: [],
+            staticFields: [],
+        });
+    }
+}
+/** The runtime base an `extends` expression names (the global EventTarget
+ * or Event), or null. */
+export function builtinEventTargetBaseOf(lowerer, expr) {
+    if (lowerer.isStdlibGlobal(expr, "EventTarget"))
+        return lowerer.classes.get(RUNTIME_EVENT_TARGET_CLASS) ?? null;
+    if (lowerer.isStdlibGlobal(expr, "Event"))
+        return lowerer.classes.get(RUNTIME_EVENT_CLASS) ?? null;
+    return null;
+}
+/** Which runtime base a class roots at, or null. */
+export function eventTargetRootOf(info) {
+    for (let c = info ?? null; c; c = c.base)
+        if (c.builtinEventTarget)
+            return c.builtinEventTarget;
+    return null;
+}
+/** The inherited member names of a class rooted at a runtime base. */
+export function eventTargetApiMembers(info) {
+    const root = eventTargetRootOf(info);
+    return root === "target" ? EVENT_TARGET_API_MEMBERS : root === "event" ? EVENT_API_MEMBERS : null;
+}
+/** Whether `name` is an inherited method of a class rooted at a runtime
+ * base. */
+export function eventTargetApiMethod(info, name) {
+    const root = eventTargetRootOf(info);
+    return root === "target"
+        ? EVENT_TARGET_API_MEMBERS.has(name)
+        : root === "event" && EVENT_API_METHODS.has(name);
+}
+/** super() / super(type, options) into a runtime base. `args` is the
+ * completed argument list: nothing for EventTarget, the dyn argument
+ * vector for Event. */
+export function eventTargetSuperCall(lowerer, base, thisRef, args, loc) {
+    noteEventListeners(lowerer, loc);
+    const receiver = lowerer.upcastTo(thisRef, base.def.name);
+    const vector = args[0] ?? { kind: "dynArrLit", elems: [], type: DYN, loc };
+    // super(type) with a string needs no argument vector.
+    const only = vector.kind === "dynArrLit" && vector.elems.length === 1 ? vector.elems[0] : null;
+    const expr = base.builtinEventTarget === "target"
+        ? { kind: "libCall", fn: "event.targetInit", args: [receiver], type: VOID, loc }
+        : only?.kind === "dynFrom" && only.value.type.kind === "string"
+            ? { kind: "libCall", fn: "event.initType", args: [receiver, only.value], type: VOID, loc }
+            : { kind: "libCall", fn: "event.init", args: [receiver, vector], type: VOID, loc };
+    return { kind: "exprStmt", expr, loc };
+}
+/** The receiver lowered once: a local or `this` is used as is; anything
+ * else evaluates into a hidden local first. */
+function singleReceiver(lowerer, receiver, loc) {
+    if (receiver.kind === "varRef")
+        return { stmts: [], ref: receiver };
+    const local = lowerer.declareHiddenLocal("%eventReceiver", receiver.type);
+    return {
+        stmts: [{ kind: "varDecl", localId: local.id, init: receiver, loc }],
+        ref: { kind: "varRef", localId: local.id, type: receiver.type, loc },
+    };
+}
+function withReceiver(stmts, result, loc) {
+    if (stmts.length === 0)
+        return result;
+    return { kind: "seqExpr", stmts, result, type: result.type, loc };
+}
+/** The dyn result of an inherited member, converted to the type the
+ * checker gives the expression (void and checked-dynamic stay as is). */
+function typedResult(lowerer, node, value) {
+    const expected = lowerer.mapTypeOf(lowerer.typeOf(node));
+    if (!expected || expected.kind === "void" || expected.kind === "dyn")
+        return value;
+    return lowerer.coerceToExpected(value, expected);
+}
+/** A call of an inherited EventTarget or Event method on a typed receiver
+ * of a class rooted at a runtime base. Listener arguments cross as live
+ * values (typed `handleEvent` records keep their identity), the rest as
+ * checked-dynamic values. */
+export function lowerEventTargetMethodCall(lowerer, call, access, info, receiverExpr) {
+    const member = access.name.text;
+    const loc = locOf(call);
+    if (call.arguments.some(ts.isSpreadElement)) {
+        lowerer.noLowering(`${member} with spread arguments`, call);
+    }
+    const target = eventTargetRootOf(info) === "target";
+    if (target)
+        noteEventListeners(lowerer, loc);
+    const { stmts, ref } = singleReceiver(lowerer, receiverExpr, loc);
+    const args = call.arguments.map((arg, index) => target && index === 1 && member !== "dispatchEvent"
+        ? lowerer.lowerLiveWebValue(arg)
+        : lowerer.lowerExprExpecting(arg, DYN));
+    const self = () => lowerer.coerceToExpected(ref, DYN);
+    if (target && member === "dispatchEvent" && args.length === 1) {
+        const dispatched = {
+            kind: "libCall",
+            fn: "event.targetDispatch",
+            args: [ref, self(), args[0]],
+            type: BOOL,
+            loc,
+        };
+        return withReceiver(stmts, dispatched, loc);
+    }
+    const vector = { kind: "dynArrLit", elems: args, type: DYN, loc };
+    const value = target
+        ? {
+            kind: "libCall",
+            fn: "event.targetCall",
+            args: [ref, self(), strLit(member, loc), vector],
+            type: DYN,
+            loc,
+        }
+        : {
+            kind: "libCall",
+            fn: "event.call",
+            args: [ref, strLit(member, loc), vector],
+            type: DYN,
+            loc,
+        };
+    return typedResult(lowerer, call, withReceiver(stmts, value, loc));
+}
+/** A read of an inherited member on a typed receiver (an Event accessor,
+ * or a method read as a value), or null when the access is not one. */
+export function lowerEventObjectProperty(lowerer, expr) {
+    if (expr.questionDotToken && !lowerer.chainHandled.has(expr))
+        return null;
+    const name = expr.name.text;
+    const recvT = lowerer.mapTypeOf(lowerer.typeOf(expr.expression));
+    if (recvT?.kind !== "object")
+        return null;
+    const info = lowerer.classes.get(recvT.className);
+    if (!eventTargetApiMembers(info)?.has(name))
+        return null;
+    const loc = locOf(expr);
+    const receiver = lowerer.lowerExpr(expr.expression);
+    if (receiver.type.kind !== "object")
+        return null;
+    // Accessors read the event directly; method values come from the
+    // capsule view (the prototype's function, run on its `this`).
+    const value = EVENT_API_PROPERTIES.has(name)
+        ? { kind: "libCall", fn: "event.get", args: [receiver, strLit(name, loc)], type: DYN, loc }
+        : {
+            kind: "dynKeyGet",
+            value: lowerer.coerceToExpected(receiver, DYN),
+            key: strLit(name, loc),
+            type: DYN,
+            loc,
+        };
+    return typedResult(lowerer, expr, value);
+}
+/** Whether `target` is `returnValue` or `cancelBubble` (the two writable
+ * accessors) on a typed receiver of an Event subclass. */
+export function isEventWritableAccessor(lowerer, target) {
+    const name = target.name.text;
+    if (name !== "returnValue" && name !== "cancelBubble")
+        return false;
+    if (target.questionDotToken)
+        return false;
+    const recvT = lowerer.mapTypeOf(lowerer.typeOf(target.expression));
+    if (recvT?.kind !== "object")
+        return false;
+    return eventTargetRootOf(lowerer.classes.get(recvT.className)) === "event";
+}
+/** The event.set write of an Event subclass's writable accessor. */
+export function eventAccessorWrite(receiver, name, value, lowerer, loc) {
+    return {
+        kind: "exprStmt",
+        expr: {
+            kind: "libCall",
+            fn: "event.set",
+            args: [receiver, strLit(name, loc), lowerer.coerceToExpected(value, DYN)],
+            type: VOID,
+            loc,
+        },
+        loc,
+    };
+}
+/** The event.get read of an Event subclass's writable accessor, typed as
+ * the accessor's boolean. */
+export function eventAccessorRead(receiver, name, lowerer, loc) {
+    return lowerer.coerceToExpected({ kind: "libCall", fn: "event.get", args: [receiver, strLit(name, loc)], type: DYN, loc }, BOOL);
+}
+/** `event.returnValue = v` / `event.cancelBubble = v` on a typed receiver
+ * of an Event subclass, in statement or value position, or null when the
+ * target is not one. The receiver evaluates before the value, and the
+ * expression's value is the assigned one, whatever the setter does. */
+export function lowerEventObjectPropertyWrite(lowerer, target, value) {
+    if (!isEventWritableAccessor(lowerer, target))
+        return null;
+    const loc = locOf(target);
+    const receiver = lowerer.lowerExpr(target.expression);
+    const receiverLocal = lowerer.declareHiddenLocal("%eventReceiver", receiver.type);
+    const receiverRef = {
+        kind: "varRef",
+        localId: receiverLocal.id,
+        type: receiver.type,
+        loc,
+    };
+    const assigned = lowerer.lowerExpr(value);
+    const local = lowerer.declareHiddenLocal("%eventAssigned", assigned.type);
+    const ref = { kind: "varRef", localId: local.id, type: assigned.type, loc };
+    return {
+        kind: "seqExpr",
+        stmts: [
+            { kind: "varDecl", localId: receiverLocal.id, init: receiver, loc },
+            { kind: "varDecl", localId: local.id, init: assigned, loc },
+            eventAccessorWrite(receiverRef, target.name.text, ref, lowerer, loc),
+        ],
+        result: ref,
+        type: assigned.type,
+        loc,
+    };
+}
+//# sourceMappingURL=lower-event-target.js.map

package/dist/frontend/lowering/lower-event-target.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lower-event-target.js","sourceRoot":"","sources":["../../../src/frontend/lowering/lower-event-target.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAGxC,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtC,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC3C,OAAO,EACL,IAAI,EACJ,GAAG,EACH,mBAAmB,EACnB,0BAA0B,EAK1B,IAAI,GACL,MAAM,gBAAgB,CAAC;AAExB,MAAM,mBAAmB,GAAG,sBAAsB,CAAC;AAEnD;;;;;;;4BAO4B;AAC5B,MAAM,UAAU,kBAAkB,CAAC,OAAgB,EAAE,GAAW;IAC9D,IAAI,OAAO,CAAC,iBAAiB;QAAE,OAAO;IACtC,MAAM,QAAQ,GAAG,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CACjD,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,IAAI,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,aAAa,CAAC,KAAK,IAAI,CAClF,CAAC;IACF,IAAI,CAAC,QAAQ;QAAE,OAAO;IACtB,OAAO,CAAC,iBAAiB,GAAG,IAAI,CAAC;IACjC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;QACrB,IAAI,EAAE,mBAAmB;QACzB,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QAC9D,UAAU,EAAE,GAAG;QACf,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QACzE,IAAI,EAAE;YACJ;gBACE,IAAI,EAAE,QAAQ;gBACd,KAAK,EAAE;oBACL,IAAI,EAAE,WAAW;oBACjB,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;oBAC9D,GAAG,EAAE,MAAM,CAAC,aAAa,EAAE,GAAG,CAAC;oBAC/B,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;gBACD,GAAG;aACJ;SACF;QACD,GAAG;KACJ,CAAC,CAAC;AACL,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,wBAAwB,CAAC,OAAgB,EAAE,GAAW;IACpE,IAAI,CAAC,OAAO,CAAC,iBAAiB;QAAE,OAAO,EAAE,CAAC;IAC1C,MAAM,MAAM,GAAW;QACrB,IAAI,EAAE,SAAS;QACf,KAAK,EAAE;YACL,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,mBAAmB;YAC3B,QAAQ,EAAE,EAAE;YACZ,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE;YAC/C,GAAG;SACJ;QACD,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;IACF,OAAO;QACL;YACE,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,yBAAyB,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YACzF,GAAG;SACJ;KACF,CAAC;AACJ,CAAC;AAED,2DAA2D;AAC3D,MAAM,CAAC,MAAM,wBAAwB,GAAwB,IAAI,GAAG,CAAC;IACnE,kBAAkB;IAClB,qBAAqB;IACrB,eAAe;CAChB,CAAC,CAAC;AAEH,qDAAqD;AACrD,MAAM,iBAAiB,GAAwB,IAAI,GAAG,CAAC;IACrD,gBAAgB;IAChB,iBAAiB;IACjB,0BAA0B;IAC1B,cAAc;IACd,WAAW;CACZ,CAAC,CAAC;AAEH,2EAA2E;AAC3E,MAAM,oBAAoB,GAAwB,IAAI,GAAG,CAAC;IACxD,MAAM;IACN,QAAQ;IACR,YAAY;IACZ,eAAe;IACf,YAAY;IACZ,SAAS;IACT,YAAY;IACZ,UAAU;IACV,kBAAkB;IAClB,aAAa;IACb,cAAc;IACd,WAAW;IACX,WAAW;CACZ,CAAC,CAAC;AAEH;yBACyB;AACzB,MAAM,UAAU,0BAA0B,CACxC,IAAkC,EAClC,IAAY;IAEZ,OAAO,qBAAqB,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC;AACzD,CAAC;AAED,qEAAqE;AACrE,MAAM,CAAC,MAAM,iBAAiB,GAAwB,IAAI,GAAG,CAAC;IAC5D,GAAG,iBAAiB;IACpB,GAAG,oBAAoB;CACxB,CAAC,CAAC;AAEH;;;;wCAIwC;AACxC,MAAM,UAAU,iCAAiC,CAAC,OAAgB;IAChE,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;IACpD,MAAM,OAAO,GAAmC;QAC9C,CAAC,0BAA0B,EAAE,QAAQ,CAAC;QACtC,CAAC,mBAAmB,EAAE,OAAO,CAAC;KAC/B,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,OAAO,EAAE,CAAC;QACnC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE;YACxB,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE;YAC7C,MAAM,EAAE,IAAI,GAAG,EAAE;YACjB,UAAU,EAAE,EAAE;YACd,OAAO,EAAE,IAAI,GAAG,EAAE;YAClB,IAAI,EAAE,IAAI;YACV,kBAAkB,EAAE,IAAI;YACxB,IAAI,EAAE,IAAI;YACV,UAAU,EAAE,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE;YACpE,IAAI,EAAE,IAAI;YACV,UAAU,EAAE,EAAE;YACd,eAAe,EAAE,EAAE;YACnB,YAAY,EAAE,EAAE;SACjB,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED;yBACyB;AACzB,MAAM,UAAU,wBAAwB,CAAC,OAAgB,EAAE,IAAmB;IAC5E,IAAI,OAAO,CAAC,cAAc,CAAC,IAAI,EAAE,aAAa,CAAC;QAC7C,OAAO,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,0BAA0B,CAAC,IAAI,IAAI,CAAC;IACjE,IAAI,OAAO,CAAC,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC;QACvC,OAAO,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC,IAAI,IAAI,CAAC;IAC1D,OAAO,IAAI,CAAC;AACd,CAAC;AAED,oDAAoD;AACpD,MAAM,UAAU,iBAAiB,CAAC,IAAkC;IAClE,KAAK,IAAI,CAAC,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI;QAAE,IAAI,CAAC,CAAC,kBAAkB;YAAE,OAAO,CAAC,CAAC,kBAAkB,CAAC;IAChG,OAAO,IAAI,CAAC;AACd,CAAC;AAED,sEAAsE;AACtE,MAAM,UAAU,qBAAqB,CACnC,IAAkC;IAElC,MAAM,IAAI,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACrC,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC;AACpG,CAAC;AAED;WACW;AACX,MAAM,UAAU,oBAAoB,CAAC,IAAkC,EAAE,IAAY;IACnF,MAAM,IAAI,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACrC,OAAO,IAAI,KAAK,QAAQ;QACtB,CAAC,CAAC,wBAAwB,CAAC,GAAG,CAAC,IAAI,CAAC;QACpC,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AACtD,CAAC;AAED;;uBAEuB;AACvB,MAAM,UAAU,oBAAoB,CAClC,OAAgB,EAChB,IAAe,EACf,OAAe,EACf,IAAc,EACd,GAAW;IAEX,kBAAkB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IACjC,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC1D,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IAC3E,sDAAsD;IACtD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,KAAK,WAAW,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IAChG,MAAM,IAAI,GACR,IAAI,CAAC,kBAAkB,KAAK,QAAQ;QAClC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;QAChF,CAAC,CAAC,IAAI,EAAE,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;YAC7D,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YAC1F,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACzF,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACzC,CAAC;AAED;+CAC+C;AAC/C,SAAS,cAAc,CACrB,OAAgB,EAChB,QAAgB,EAChB,GAAW;IAEX,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;IACpE,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,gBAAgB,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC1E,OAAO;QACL,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;QACpE,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE;KACrE,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,KAAe,EAAE,MAAc,EAAE,GAAW;IAChE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IACtC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC;AACpE,CAAC;AAED;yEACyE;AACzE,SAAS,WAAW,CAAC,OAAgB,EAAE,IAAmB,EAAE,KAAa;IACvE,MAAM,QAAQ,GAAkB,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACxE,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,IAAI,QAAQ,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,KAAK,CAAC;IACnF,OAAO,OAAO,CAAC,gBAAgB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;AACnD,CAAC;AAED;;;6BAG6B;AAC7B,MAAM,UAAU,0BAA0B,CACxC,OAAgB,EAChB,IAAuB,EACvB,MAAmC,EACnC,IAAe,EACf,YAAoB;IAEpB,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IAChC,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC;QAC5C,OAAO,CAAC,UAAU,CAAC,GAAG,MAAM,wBAAwB,EAAE,IAAI,CAAC,CAAC;IAC9D,CAAC;IACD,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,CAAC,KAAK,QAAQ,CAAC;IACpD,IAAI,MAAM;QAAE,kBAAkB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IAC7C,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,cAAc,CAAC,OAAO,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC;IAClE,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAC7C,MAAM,IAAI,KAAK,KAAK,CAAC,IAAI,MAAM,KAAK,eAAe;QACjD,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,GAAG,CAAC;QAChC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,GAAG,EAAE,GAAG,CAAC,CACzC,CAAC;IACF,MAAM,IAAI,GAAG,GAAW,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAC9D,IAAI,MAAM,IAAI,MAAM,KAAK,eAAe,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9D,MAAM,UAAU,GAAW;YACzB,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,sBAAsB;YAC1B,IAAI,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC;YAC7B,IAAI,EAAE,IAAI;YACV,GAAG;SACJ,CAAC;QACF,OAAO,YAAY,CAAC,KAAK,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;IAC9C,CAAC;IACD,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IAC1E,MAAM,KAAK,GAAW,MAAM;QAC1B,CAAC,CAAC;YACE,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,kBAAkB;YACtB,IAAI,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,MAAM,CAAC;YAChD,IAAI,EAAE,GAAG;YACT,GAAG;SACJ;QACH,CAAC,CAAC;YACE,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,YAAY;YAChB,IAAI,EAAE,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,MAAM,CAAC;YACxC,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;IACN,OAAO,WAAW,CAAC,OAAO,EAAE,IAAI,EAAE,YAAY,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;AACrE,CAAC;AAED;uEACuE;AACvE,MAAM,UAAU,wBAAwB,CACtC,OAAgB,EAChB,IAAiC;IAEjC,IAAI,IAAI,CAAC,gBAAgB,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1E,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IAC5B,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;IACjE,IAAI,KAAK,EAAE,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC1C,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IAClD,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACzD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACpD,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACjD,iEAAiE;IACjE,8DAA8D;IAC9D,MAAM,KAAK,GAAW,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC;QAClD,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QAC3F,CAAC,CAAC;YACE,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,OAAO,CAAC,gBAAgB,CAAC,QAAQ,EAAE,GAAG,CAAC;YAC9C,GAAG,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC;YACtB,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;IACN,OAAO,WAAW,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;AAC3C,CAAC;AAED;0DAC0D;AAC1D,MAAM,UAAU,uBAAuB,CACrC,OAAgB,EAChB,MAAmC;IAEnC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IAC9B,IAAI,IAAI,KAAK,aAAa,IAAI,IAAI,KAAK,cAAc;QAAE,OAAO,KAAK,CAAC;IACpE,IAAI,MAAM,CAAC,gBAAgB;QAAE,OAAO,KAAK,CAAC;IAC1C,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;IACnE,IAAI,KAAK,EAAE,IAAI,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC3C,OAAO,iBAAiB,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,KAAK,OAAO,CAAC;AAC7E,CAAC;AAED,oEAAoE;AACpE,MAAM,UAAU,kBAAkB,CAChC,QAAgB,EAChB,IAAY,EACZ,KAAa,EACb,OAAgB,EAChB,GAAW;IAEX,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE;YACJ,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,WAAW;YACf,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,OAAO,CAAC,gBAAgB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACzE,IAAI,EAAE,IAAI;YACV,GAAG;SACJ;QACD,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;6BAC6B;AAC7B,MAAM,UAAU,iBAAiB,CAC/B,QAAgB,EAChB,IAAY,EACZ,OAAgB,EAChB,GAAW;IAEX,OAAO,OAAO,CAAC,gBAAgB,CAC7B,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EACzF,IAAI,CACL,CAAC;AACJ,CAAC;AAED;;;uEAGuE;AACvE,MAAM,UAAU,6BAA6B,CAC3C,OAAgB,EAChB,MAAmC,EACnC,KAAoB;IAEpB,IAAI,CAAC,uBAAuB,CAAC,OAAO,EAAE,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3D,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IAC1B,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IACtD,MAAM,aAAa,GAAG,OAAO,CAAC,kBAAkB,CAAC,gBAAgB,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IAClF,MAAM,WAAW,GAAW;QAC1B,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,aAAa,CAAC,EAAE;QACzB,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,GAAG;KACJ,CAAC;IACF,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,gBAAgB,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC1E,MAAM,GAAG,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC;IACpF,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK,EAAE;YACL,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,aAAa,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE;YACnE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE;YAC3D,kBAAkB,CAAC,WAAW,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,CAAC;SACrE;QACD,MAAM,EAAE,GAAG;QACX,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,GAAG;KACJ,CAAC;AACJ,CAAC"}

package/dist/frontend/lowering/lower-expando.js

@@ -21,7 +21,7 @@
  *   a later write's value);
  * - writes to the READ-ONLY function members (`length`, `name`,
  *   `caller`, `arguments`) fence: strict-mode JS (every module) throws
- *   TypeError there, and a global slot would silently succeed. WRITABLE
+ *   TypeError there, and a global slot write would succeed. WRITABLE
  *   Function.prototype members (`apply`, `call`, `bind`, `toString`)
  *   shadow through an own property in JS and lower like any other member
  *   — reads route to the registry, so the shadowed value is what reads
@@ -39,7 +39,7 @@ function memberOf(members, key) {
 }
 /** Function members JS refuses to assign in strict mode (every module is
  * strict): non-writable own properties of functions plus the poisoned
- * caller/arguments pair. A global slot would silently succeed where Node
+ * caller/arguments pair. A global slot write would succeed where Node
  * throws TypeError, so writes fence by name. */
 const READONLY_FN_MEMBERS = new Set(["length", "name", "caller", "arguments", "prototype"]);
 /** The member key of an assignment target / read site: a spelled or