@scriptc/compiler 0.2.4 → 0.2.5

package/dist/frontend/lowering/containers/collection-grouping.js

@@ -0,0 +1,297 @@
+import { countedFor, varRef } from "../../../ir/build.js";
+import * as ts from "../../ts7/adapter.js";
+import { BOOL, F64, STRING, UNDEFINED_T, VOID, typeEquals, } from "../../../ir/ir.js";
+import { locOf } from "../../program.js";
+import { typeKey } from "../../type-mapper.js";
+/** Object.groupBy / Map.groupBy (ES2024): group an ARRAY's elements by a
+ * per-element key. Both lower to one interned helper loop per callback
+ * type — the callback runs synchronously per element (index included in
+ * the two-parameter form), the first occurrence of a key creates its
+ * group in encounter order, and later hits push onto the same array
+ * (JS's exact accumulation — the stored arrays are the live groups).
+ * Map.groupBy keeps typed keys under SameValueZero; Object.groupBy
+ * requires a STRING-KEYED result (Partial<Record<string, T[]>> — a
+ * literal-union key type makes a fixed-field record, which has no
+ * grouping representation) and stringifies number keys like JS property
+ * keys. Node's result carries a null prototype — records here have no
+ * prototype at all, so the difference is unobservable except through
+ * util.inspect's "[Object: null prototype]" prefix (ledgered). Other
+ * iterables fence (spread into an array first); Null when the callee
+ * isn't the stdlib Object/Map groupBy. */
+export function lowerGroupByStaticCall(lowerer, call, access) {
+    if (call.questionDotToken || access.questionDotToken)
+        return null;
+    if (access.name.text !== "groupBy")
+        return null;
+    const isMap = lowerer.isStdlibGlobal(access.expression, "Map");
+    const isObject = !isMap && lowerer.isStdlibGlobal(access.expression, "Object");
+    if (!isMap && !isObject)
+        return null;
+    if (!lowerer.isStdlibMember(access))
+        return null;
+    const what = isMap ? "Map.groupBy" : "Object.groupBy";
+    const loc = locOf(call);
+    if (call.arguments.length !== 2 || call.arguments.some((a) => ts.isSpreadElement(a))) {
+        lowerer.noLowering(`${what} with ${call.arguments.length} arguments`, call);
+    }
+    const items = lowerer.lowerExpr(call.arguments[0]);
+    if (items.type.kind !== "array") {
+        lowerer.noLowering(`${what} over an iterable of type '${lowerer.checker.typeToString(lowerer.typeOf(call.arguments[0]))}'`, call.arguments[0], "arrays are the supported items form — spread other iterables first: [...items]");
+    }
+    const elem = items.type.elem;
+    const f = lowerer.lowerExpr(call.arguments[1]);
+    if (f.type.kind !== "func" ||
+        f.type.params.length > 2 ||
+        (f.type.params.length >= 1 && !typeEquals(f.type.params[0], elem)) ||
+        (f.type.params.length === 2 && f.type.params[1].kind !== "f64")) {
+        lowerer.badType(call.arguments[1], lowerer.typeOf(call.arguments[1]));
+    }
+    const keyT = f.type.ret;
+    // The call's own type keeps the callback's literal-union key type
+    // (Partial<Record<"even" | "odd", T[]>> — a FIXED-FIELD record, which
+    // has no grouping representation); a CONTEXT naming the string-keyed
+    // form (the annotated-const idiom) is the groupable reading, so it
+    // wins when it maps that way.
+    const ctxT = lowerer.checker.getContextualType(call);
+    const ctxMapped = ctxT !== undefined ? lowerer.mapTypeOf(ctxT) : null;
+    const ownMapped = lowerer.mapTypeOf(lowerer.typeOf(call));
+    if (isMap) {
+        const resultT = ctxMapped?.kind === "map" ? ctxMapped : ownMapped;
+        if (resultT?.kind !== "map" ||
+            !typeEquals(resultT.key, keyT) ||
+            !typeEquals(resultT.value, items.type)) {
+            lowerer.noLowering(`${what} at this result type`, call, "the result must be Map<K, T[]> over the callback's K and the items' T — annotate: Map.groupBy<K, T>(items, f)");
+        }
+        const key = `map.groupBy:${typeKey(f.type)}`;
+        let helper = lowerer.mapHofHelpers.get(key);
+        if (!helper) {
+            helper = `%map.groupBy.${lowerer.mapHofHelpers.size}`;
+            lowerer.mapHofHelpers.set(key, helper);
+            lowerer.liftedFns.push(buildGroupByFn(lowerer, helper, items.type, f.type, resultT, loc));
+        }
+        return { kind: "call", callee: helper, args: [items, f], type: resultT, loc };
+    }
+    // A groupable reading is an INDEX-SIGNATURE record (no declared
+    // fields). Either candidate qualifying proves the checker committed
+    // the result to the string-keyed form; the VALUE's shape is then
+    // minted exactly (fields none, index value T[] | undefined — the
+    // structural intern, so a matching annotation shares the id) rather
+    // than adopted, because mapped-type instantiations can arrive with a
+    // widened index value.
+    const indexShaped = (t) => {
+        if (t?.kind !== "record")
+            return false;
+        const s = lowerer.shapes.get(t.shapeId);
+        return s !== undefined && s.fields.length === 0 && s.indexValue !== undefined;
+    };
+    if ((!indexShaped(ctxMapped) && !indexShaped(ownMapped)) ||
+        (keyT.kind !== "string" && keyT.kind !== "f64")) {
+        lowerer.noLowering(`${what} at this result type`, call, "a string-keyed result (Partial<Record<string, T[]>>) is the supported form — a literal-union " +
+            "key type makes a fixed-field record: widen the callback's key type to string " +
+            "(numbers stringify like JS property keys)");
+    }
+    const resultT = {
+        kind: "record",
+        shapeId: lowerer.shapes.intern([], false, lowerer.withUndefinedArm(items.type), []),
+    };
+    const key = `object.groupBy:${typeKey(f.type)}`;
+    let helper = lowerer.mapHofHelpers.get(key);
+    if (!helper) {
+        helper = `%object.groupBy.${lowerer.mapHofHelpers.size}`;
+        lowerer.mapHofHelpers.set(key, helper);
+        lowerer.liftedFns.push(buildGroupByFn(lowerer, helper, items.type, f.type, resultT, loc));
+    }
+    return { kind: "call", callee: helper, args: [items, f], type: resultT, loc };
+}
+/** The groupBy helper body — one loop, two grouping stores:
+ *
+ *   g = new Map() | {}
+ *   for (i = 0; i < items.length; i++) {
+ *     v = items[i]; k = f(v[, i]);
+ *     cur = g.get(k)                    // the V|undefined union read
+ *     if (cur is undefined) g.set(k, [v]); else cur.push(v);
+ *   }
+ *   return g
+ *
+ * The map read/write are mapIntrinsic get/set; the record pair are the
+ * overflow keyed get/set with an f64 key stringified first (JS property
+ * keys). Both reads answer the value-or-undefined union, so the arm
+ * test IS the has() check with one lookup. */
+function buildGroupByFn(lowerer, name, itemsT, fnT, resultT, loc) {
+    const elem = itemsT.elem;
+    const keyT = fnT.ret;
+    const arity = fnT.params.length;
+    const isMap = resultT.kind === "map";
+    // The union the group read answers: the map value's undefined-armed
+    // union, or the record shape's index value (validated by the caller).
+    const iv = isMap
+        ? lowerer.withUndefinedArm(itemsT)
+        : lowerer.shapes.get(resultT.shapeId).indexValue;
+    const arrTag = lowerer.armTag(iv.unionId, itemsT);
+    const undefTag = lowerer.armTag(iv.unionId, UNDEFINED_T);
+    const gRef = () => varRef("g.0", resultT, loc);
+    const kRef = () => varRef("k.0", keyT, loc);
+    // Record keys are property keys: an f64 key stringifies (JS's exact
+    // number ToString); map keys stay typed.
+    const storeKey = () => isMap || keyT.kind === "string"
+        ? kRef()
+        : { kind: "toString", operand: kRef(), type: STRING, loc };
+    const groupRead = () => isMap
+        ? { kind: "mapIntrinsic", method: "get", receiver: gRef(), args: [storeKey()], type: iv, loc }
+        : {
+            kind: "recordKeyGet",
+            obj: gRef(),
+            shapeId: resultT.shapeId,
+            key: storeKey(),
+            overflowOnly: true,
+            type: iv,
+            loc,
+        };
+    const freshGroup = () => ({
+        kind: "arrayLit",
+        elems: [varRef("v.0", elem, loc)],
+        type: itemsT,
+        loc,
+    });
+    const groupWrite = () => isMap
+        ? {
+            kind: "exprStmt",
+            expr: {
+                kind: "mapIntrinsic",
+                method: "set",
+                receiver: gRef(),
+                args: [storeKey(), freshGroup()],
+                type: VOID,
+                loc,
+            },
+            loc,
+        }
+        : {
+            kind: "recordKeySet",
+            obj: gRef(),
+            shapeId: resultT.shapeId,
+            key: storeKey(),
+            value: {
+                kind: "unionWrap",
+                unionId: iv.unionId,
+                tag: arrTag,
+                value: freshGroup(),
+                type: iv,
+                loc,
+            },
+            loc,
+        };
+    const callArgs = [];
+    if (arity >= 1)
+        callArgs.push(varRef("v.0", elem, loc));
+    if (arity === 2)
+        callArgs.push(varRef("i.0", F64, loc));
+    const locals = [
+        { id: "items.0", name: "items", type: itemsT, mutable: true },
+        { id: "f.0", name: "f", type: fnT, mutable: true },
+        { id: "g.0", name: "g", type: resultT, mutable: false },
+        { id: "n.0", name: "n", type: F64, mutable: false },
+        { id: "i.0", name: "i", type: F64, mutable: true },
+        { id: "v.0", name: "v", type: elem, mutable: false },
+        { id: "k.0", name: "k", type: keyT, mutable: false },
+        { id: "cur.0", name: "cur", type: iv, mutable: false },
+    ];
+    const body = [
+        {
+            kind: "varDecl",
+            localId: "g.0",
+            init: isMap
+                ? { kind: "mapNew", type: resultT, loc }
+                : { kind: "recordLit", fields: [], type: resultT, loc },
+            loc,
+        },
+        {
+            kind: "varDecl",
+            localId: "n.0",
+            init: {
+                kind: "arrIntrinsic",
+                method: "length",
+                receiver: varRef("items.0", itemsT, loc),
+                args: [],
+                type: F64,
+                loc,
+            },
+            loc,
+        },
+        countedFor(loc, varRef("n.0", F64, loc), () => [
+            {
+                kind: "varDecl",
+                localId: "v.0",
+                init: {
+                    kind: "arrayGet",
+                    arr: varRef("items.0", itemsT, loc),
+                    index: varRef("i.0", F64, loc),
+                    type: elem,
+                    loc,
+                },
+                loc,
+            },
+            {
+                kind: "varDecl",
+                localId: "k.0",
+                init: {
+                    kind: "callValue",
+                    callee: varRef("f.0", fnT, loc),
+                    args: callArgs,
+                    type: keyT,
+                    loc,
+                },
+                loc,
+            },
+            { kind: "varDecl", localId: "cur.0", init: groupRead(), loc },
+            {
+                kind: "if",
+                cond: {
+                    kind: "unionIsTag",
+                    unionId: iv.unionId,
+                    tag: undefTag,
+                    negated: false,
+                    value: varRef("cur.0", iv, loc),
+                    type: BOOL,
+                    loc,
+                },
+                then: [groupWrite()],
+                else_: [
+                    {
+                        kind: "exprStmt",
+                        expr: {
+                            kind: "arrIntrinsic",
+                            method: "push",
+                            receiver: {
+                                kind: "unionNarrow",
+                                unionId: iv.unionId,
+                                tag: arrTag,
+                                value: varRef("cur.0", iv, loc),
+                                type: itemsT,
+                                loc,
+                            },
+                            args: [varRef("v.0", elem, loc)],
+                            type: F64,
+                            loc,
+                        },
+                        loc,
+                    },
+                ],
+                loc,
+            },
+        ]),
+        { kind: "return", value: gRef(), loc },
+    ];
+    return {
+        name,
+        params: [
+            { localId: "items.0", name: "items", type: itemsT },
+            { localId: "f.0", name: "f", type: fnT },
+        ],
+        returnType: resultT,
+        locals,
+        body,
+        loc,
+    };
+}
+//# sourceMappingURL=collection-grouping.js.map

package/dist/frontend/lowering/containers/collection-grouping.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"collection-grouping.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/containers/collection-grouping.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAE3C,OAAO,EACL,IAAI,EACJ,GAAG,EAMH,MAAM,EAEN,WAAW,EACX,IAAI,EACJ,UAAU,GACX,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAE/C;;;;;;;;;;;;;;0CAc0C;AAC1C,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,IAAuB,EACvB,MAAmC;IAEnC,IAAI,IAAI,CAAC,gBAAgB,IAAI,MAAM,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IAClE,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAChD,MAAM,KAAK,GAAG,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IAC/D,MAAM,QAAQ,GAAG,CAAC,KAAK,IAAI,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IAC/E,IAAI,CAAC,KAAK,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IACrC,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACjD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,gBAAgB,CAAC;IACtD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACrF,OAAO,CAAC,UAAU,CAAC,GAAG,IAAI,SAAS,IAAI,CAAC,SAAS,CAAC,MAAM,YAAY,EAAE,IAAI,CAAC,CAAC;IAC9E,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC;IACpD,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAChC,OAAO,CAAC,UAAU,CAChB,GAAG,IAAI,8BAA8B,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC,GAAG,EACxG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAClB,gFAAgF,CACjF,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;IAC7B,MAAM,CAAC,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC;IAChD,IACE,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;QACtB,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;QACxB,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE,IAAI,CAAC,CAAC;QACnE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,KAAK,KAAK,CAAC,EAChE,CAAC;QACD,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC;IAC1E,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;IACxB,kEAAkE;IAClE,sEAAsE;IACtE,qEAAqE;IACrE,mEAAmE;IACnE,8BAA8B;IAC9B,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACrD,MAAM,SAAS,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACtE,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1D,IAAI,KAAK,EAAE,CAAC;QACV,MAAM,OAAO,GAAG,SAAS,EAAE,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;QAClE,IACE,OAAO,EAAE,IAAI,KAAK,KAAK;YACvB,CAAC,UAAU,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC;YAC9B,CAAC,UAAU,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,EACtC,CAAC;YACD,OAAO,CAAC,UAAU,CAChB,GAAG,IAAI,sBAAsB,EAC7B,IAAI,EACJ,+GAA+G,CAChH,CAAC;QACJ,CAAC;QACD,MAAM,GAAG,GAAG,eAAe,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7C,IAAI,MAAM,GAAG,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC5C,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM,GAAG,gBAAgB,OAAO,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC;YACtD,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;YACvC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC;QAC5F,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;IAChF,CAAC;IACD,gEAAgE;IAChE,oEAAoE;IACpE,iEAAiE;IACjE,iEAAiE;IACjE,oEAAoE;IACpE,qEAAqE;IACrE,uBAAuB;IACvB,MAAM,WAAW,GAAG,CAAC,CAAgB,EAAW,EAAE;QAChD,IAAI,CAAC,EAAE,IAAI,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QACvC,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACxC,OAAO,CAAC,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,UAAU,KAAK,SAAS,CAAC;IAChF,CAAC,CAAC;IACF,IACE,CAAC,CAAC,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;QACpD,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,EAC/C,CAAC;QACD,OAAO,CAAC,UAAU,CAChB,GAAG,IAAI,sBAAsB,EAC7B,IAAI,EACJ,+FAA+F;YAC7F,+EAA+E;YAC/E,2CAA2C,CAC9C,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAgC;QAC3C,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;KACpF,CAAC;IACF,MAAM,GAAG,GAAG,kBAAkB,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;IAChD,IAAI,MAAM,GAAG,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC5C,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,GAAG,mBAAmB,OAAO,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC;QACzD,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACvC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC;IAC5F,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;AAChF,CAAC;AAED;;;;;;;;;;;;;8CAa8C;AAC9C,SAAS,cAAc,CACrB,OAAgB,EAChB,IAAY,EACZ,MAAkC,EAClC,GAA8B,EAC9B,OAAmE,EACnE,GAAW;IAEX,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;IACzB,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC;IACrB,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC;IAChC,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,KAAK,KAAK,CAAC;IACrC,oEAAoE;IACpE,sEAAsE;IACtE,MAAM,EAAE,GAA+B,KAAK;QAC1C,CAAC,CAAE,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAgC;QAClE,CAAC,CAAE,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAE,CAAC,UAAyC,CAAC;IACpF,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAClD,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IAEzD,MAAM,IAAI,GAAG,GAAW,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;IACvD,MAAM,IAAI,GAAG,GAAW,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IACpD,oEAAoE;IACpE,yCAAyC;IACzC,MAAM,QAAQ,GAAG,GAAW,EAAE,CAC5B,KAAK,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAC7B,CAAC,CAAC,IAAI,EAAE;QACR,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAC/D,MAAM,SAAS,GAAG,GAAW,EAAE,CAC7B,KAAK;QACH,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE;QAC9F,CAAC,CAAC;YACE,IAAI,EAAE,cAAc;YACpB,GAAG,EAAE,IAAI,EAAE;YACX,OAAO,EAAG,OAAuC,CAAC,OAAO;YACzD,GAAG,EAAE,QAAQ,EAAE;YACf,YAAY,EAAE,IAAI;YAClB,IAAI,EAAE,EAAE;YACR,GAAG;SACJ,CAAC;IACR,MAAM,UAAU,GAAG,GAAW,EAAE,CAAC,CAAC;QAChC,IAAI,EAAE,UAAU;QAChB,KAAK,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QACjC,IAAI,EAAE,MAAM;QACZ,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,UAAU,GAAG,GAAW,EAAE,CAC9B,KAAK;QACH,CAAC,CAAC;YACE,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE;gBACJ,IAAI,EAAE,cAAc;gBACpB,MAAM,EAAE,KAAK;gBACb,QAAQ,EAAE,IAAI,EAAE;gBAChB,IAAI,EAAE,CAAC,QAAQ,EAAE,EAAE,UAAU,EAAE,CAAC;gBAChC,IAAI,EAAE,IAAI;gBACV,GAAG;aACJ;YACD,GAAG;SACJ;QACH,CAAC,CAAC;YACE,IAAI,EAAE,cAAc;YACpB,GAAG,EAAE,IAAI,EAAE;YACX,OAAO,EAAG,OAAuC,CAAC,OAAO;YACzD,GAAG,EAAE,QAAQ,EAAE;YACf,KAAK,EAAE;gBACL,IAAI,EAAE,WAAW;gBACjB,OAAO,EAAE,EAAE,CAAC,OAAO;gBACnB,GAAG,EAAE,MAAM;gBACX,KAAK,EAAE,UAAU,EAAE;gBACnB,IAAI,EAAE,EAAE;gBACR,GAAG;aACJ;YACD,GAAG;SACJ,CAAC;IACR,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,KAAK,IAAI,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IACxD,IAAI,KAAK,KAAK,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACxD,MAAM,MAAM,GAAc;QACxB,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE;QAC7D,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE;QAClD,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE;QACvD,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE;QACnD,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE;QAClD,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE;QACpD,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE;QACpD,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE;KACvD,CAAC;IACF,MAAM,IAAI,GAAa;QACrB;YACE,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,KAAK;YACd,IAAI,EAAE,KAAK;gBACT,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE;gBACxC,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE;YACzD,GAAG;SACJ;QACD;YACE,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,KAAK;YACd,IAAI,EAAE;gBACJ,IAAI,EAAE,cAAc;gBACpB,MAAM,EAAE,QAAQ;gBAChB,QAAQ,EAAE,MAAM,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,CAAC;gBACxC,IAAI,EAAE,EAAE;gBACR,IAAI,EAAE,GAAG;gBACT,GAAG;aACJ;YACD,GAAG;SACJ;QACD,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC;YAC7C;gBACE,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,KAAK;gBACd,IAAI,EAAE;oBACJ,IAAI,EAAE,UAAU;oBAChB,GAAG,EAAE,MAAM,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,CAAC;oBACnC,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC;oBAC9B,IAAI,EAAE,IAAI;oBACV,GAAG;iBACJ;gBACD,GAAG;aACJ;YACD;gBACE,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,KAAK;gBACd,IAAI,EAAE;oBACJ,IAAI,EAAE,WAAW;oBACjB,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC;oBAC/B,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,IAAI;oBACV,GAAG;iBACJ;gBACD,GAAG;aACJ;YACD,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,GAAG,EAAE;YAC7D;gBACE,IAAI,EAAE,IAAI;gBACV,IAAI,EAAE;oBACJ,IAAI,EAAE,YAAY;oBAClB,OAAO,EAAE,EAAE,CAAC,OAAO;oBACnB,GAAG,EAAE,QAAQ;oBACb,OAAO,EAAE,KAAK;oBACd,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE,EAAE,EAAE,GAAG,CAAC;oBAC/B,IAAI,EAAE,IAAI;oBACV,GAAG;iBACJ;gBACD,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;gBACpB,KAAK,EAAE;oBACL;wBACE,IAAI,EAAE,UAAU;wBAChB,IAAI,EAAE;4BACJ,IAAI,EAAE,cAAc;4BACpB,MAAM,EAAE,MAAM;4BACd,QAAQ,EAAE;gCACR,IAAI,EAAE,aAAa;gCACnB,OAAO,EAAE,EAAE,CAAC,OAAO;gCACnB,GAAG,EAAE,MAAM;gCACX,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE,EAAE,EAAE,GAAG,CAAC;gCAC/B,IAAI,EAAE,MAAM;gCACZ,GAAG;6BACJ;4BACD,IAAI,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;4BAChC,IAAI,EAAE,GAAG;4BACT,GAAG;yBACJ;wBACD,GAAG;qBACJ;iBACF;gBACD,GAAG;aACJ;SACF,CAAC;QACF,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE;KACvC,CAAC;IACF,OAAO;QACL,IAAI;QACJ,MAAM,EAAE;YACN,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE;YACnD,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE;SACzC;QACD,UAAU,EAAE,OAAO;QACnB,MAAM;QACN,IAAI;QACJ,GAAG;KACJ,CAAC;AACJ,CAAC"}

package/dist/frontend/lowering/containers/collection-methods.d.ts

@@ -0,0 +1,57 @@
+import * as ts from "../../ts7/adapter.js";
+import type { Lowerer } from "../lowerer.js";
+import { type IrExpr, type IrType } from "../../../ir/ir.js";
+/** Ambient Map method calls. `get`/`set`/`has`/`delete`/`clear` lower to
+ * mapIntrinsic; `forEach` desugars to a direct call of a synthetic loop
+ * function over the iteration primitives (lowerMapForEachCall). Null when
+ * this isn't an ambient Map method call. tsc has already checked arity
+ * and argument types against ambient/scriptc.d.ts. */
+export declare function lowerMapMethodCall(lowerer: Lowerer, call: ts.CallExpression, access: ts.PropertyAccessExpression): IrExpr | null;
+/** An immediate Map spread observes the same entry order as entries().
+ * Each pair is new; its key and value retain their original identities. */
+export declare function mapEntriesArray(lowerer: Lowerer, receiver: IrExpr): IrExpr;
+/** Snapshot a collection for immediate iteration. Array reads and callback
+ * parameters may retain an undefined arm even when the checker spells a
+ * bare collection. Observe that arm before touching native storage. */
+export declare function lowerCollectionSpread(lowerer: Lowerer, source: IrExpr, node: ts.Expression): IrExpr | null;
+/** `m.forEach(fn)` desugars to a direct call of a synthetic module
+ * function — one per key/value type + callback arity, interned — whose
+ * body is an index loop over the map's ITERATION PRIMITIVES: read
+ * iterCount fresh every pass (entries appended by the callback are
+ * visited), skip tombstones with iterLive (deleted entries are skipped),
+ * and bracket the loop with iterEnter/iterExit inside try/finally so the
+ * runtime never compacts indices out from under it — even when the
+ * callback throws. That is JS's live-iteration contract, Node-verified
+ * (SEMANTICS.md). The callback receives (value, key) like JS; declaring
+ * fewer parameters — (value) or () — is ordinary TS and supported. */
+export declare function lowerMapForEachCall(lowerer: Lowerer, call: ts.CallExpression, receiver: IrExpr, mapT: IrType & {
+    kind: "map";
+}, bindUntyped?: boolean): IrExpr;
+/** Ambient Set method calls — Map's lowering with the value slot gone.
+ * `add`/`has`/`delete`/`clear` lower to setIntrinsic; `forEach` desugars
+ * like Map's over the shared iteration primitives. Null when this isn't
+ * an ambient Set method call. */
+export declare function lowerSetMethodCall(lowerer: Lowerer, call: ts.CallExpression, access: ts.PropertyAccessExpression): IrExpr | null;
+/** `s.forEach(fn)` — Map's desugar shape over the set primitives. JS
+ * passes (value, value, set): the second parameter IS the element again,
+ * so both one- and two-parameter callbacks receive elem-typed arguments
+ * (iterKey read once, passed twice). Same live-iteration bracketing. */
+export declare function lowerSetForEachCall(lowerer: Lowerer, call: ts.CallExpression, receiver: IrExpr, setT: IrType & {
+    kind: "set";
+}): IrExpr;
+/** Consume a Set seed immediately, including optional inherited sets used
+ * by compiler tables. Nullish seeds construct empty sets; a lazy fallback
+ * consumes its evaluated branch even when it reassigns the source binding. */
+export declare function lowerSetSeedNew(lowerer: Lowerer, node: ts.Expression, setT: IrType & {
+    kind: "set";
+}): IrExpr | null;
+/** Consume supported Map seeds: matching Maps and tuple arrays, plus
+ * nullish values that construct an empty Map. Conditional/nullish seeds
+ * select one lazy branch without representing a first-class iterable.
+ * Copy loops preserve entry order and stored reference identities. */
+export declare function lowerMapSeedNew(lowerer: Lowerer, argNode: ts.Expression, mapT: IrType & {
+    kind: "map";
+}): IrExpr | null;
+export declare function mapFromSeedValue(lowerer: Lowerer, seed: IrExpr, mapT: IrType & {
+    kind: "map";
+}): IrExpr | null;