@scriptc/compiler 0.4.3 → 0.4.5

package/dist/frontend/lowering/indexed-unions.js

@@ -0,0 +1,401 @@
+import { keyedHelperName } from "./stable-names.js";
+import { helperLoc, varRef } from "../../ir/build.js";
+import { BOOL, BYTES_ELEMENT_SIZE, F64, VOID, typeKey, } from "../../ir/ir.js";
+import { everyExprChild, everyStmtChild } from "../../ir/traverse.js";
+import { arrayNumberRead, lowerSafeBytesRead, lowerSafeIndexRead } from "./array-values.js";
+/** The arms of a union whose every arm is a typed array or a `number[]`,
+ * or null. Unions with any other arm (undefined included) are not
+ * indexed unions: their reads need a narrowing first. */
+export function indexedUnionArms(lowerer, type) {
+    if (type.kind !== "union")
+        return null;
+    const arms = lowerer.unions.get(type.unionId)?.arms;
+    if (!arms || arms.length < 2)
+        return null;
+    const result = [];
+    for (const [tag, arm] of arms.entries()) {
+        if (arm.kind === "bytes")
+            result.push({ tag, type: arm });
+        else if (arm.kind === "array" && arm.elem.kind === "f64")
+            result.push({ tag, type: arm });
+        else
+            return null;
+    }
+    return result;
+}
+/** Whether every arm is a typed array (so typed-array-only members such
+ * as `byteLength` apply). */
+export function allBytesArms(arms) {
+    return arms.every((arm) => arm.type.kind === "bytes");
+}
+/** The helper `name(u, ...args)`: for each arm but the last, a tag test
+ * that runs the arm's statements; the last arm's statements run without a
+ * test (the union holds one of its arms). */
+function dispatchHelper(lowerer, key, prefix, union, arms, params, returnType, body, loc) {
+    const existing = lowerer.arrHofHelpers.get(key);
+    if (existing)
+        return existing;
+    const name = keyedHelperName(lowerer, prefix, key);
+    lowerer.arrHofHelpers.set(key, name);
+    const at = helperLoc(loc);
+    if (union.kind !== "union")
+        throw new Error("indexed-union helper over a non-union");
+    const u = varRef("u.0", union, at);
+    const args = params.map((p) => varRef(`${p.name}.0`, p.type, at));
+    const stmts = [];
+    arms.forEach((arm, i) => {
+        const receiver = {
+            kind: "unionNarrow",
+            unionId: union.unionId,
+            tag: arm.tag,
+            value: u,
+            type: arm.type,
+            loc: at,
+        };
+        const armStmts = body(receiver, arm, args);
+        if (i === arms.length - 1) {
+            stmts.push(...armStmts);
+            return;
+        }
+        stmts.push({
+            kind: "if",
+            cond: {
+                kind: "unionIsTag",
+                unionId: union.unionId,
+                tag: arm.tag,
+                negated: false,
+                value: u,
+                type: BOOL,
+                loc: at,
+            },
+            then: armStmts,
+            else_: null,
+            loc: at,
+        });
+    });
+    const fn = {
+        name,
+        params: [
+            { localId: "u.0", name: "u", type: union },
+            ...params.map((p) => ({ localId: `${p.name}.0`, name: p.name, type: p.type })),
+        ],
+        returnType,
+        locals: [
+            { id: "u.0", name: "u", type: union, mutable: false },
+            ...params.map((p) => ({ id: `${p.name}.0`, name: p.name, type: p.type, mutable: false })),
+        ],
+        body: stmts,
+        loc: at,
+    };
+    lowerer.liftedFns.push(fn);
+    return name;
+}
+const returning = (value, loc) => [{ kind: "return", value, loc }];
+/** `u[i]` read as an element or undefined (an invalid index), as the
+ * typed-array and number-array reads answer. */
+export function lowerIndexedUnionRead(lowerer, receiver, arms, index, loc) {
+    const resultT = lowerer.withUndefinedArm(F64);
+    const key = `idxUnion:get:${unionKey(receiver.type)}`;
+    const name = dispatchHelper(lowerer, key, "%union.idxOr", receiver.type, arms, [{ name: "i", type: F64 }], resultT, (arm, info, [i]) => returning(info.type.kind === "bytes"
+        ? lowerSafeBytesRead(lowerer, arm, i, loc)
+        : lowerSafeIndexRead(lowerer, arm, i, loc), loc), loc);
+    const numeric = indexedUnionNumberHelper(lowerer, receiver.type, arms, loc);
+    lowerer.indexedUnionNumericTwins.set(name, numeric);
+    return { kind: "call", callee: name, args: [receiver, index], type: resultT, loc };
+}
+/** `u[i]` read as a number: an invalid index reads as NaN, which is
+ * ToNumber(undefined). */
+export function lowerIndexedUnionNumberRead(lowerer, receiver, arms, index, loc) {
+    if (inlineDispatch(receiver, [index]))
+        return inlineArms(receiver, arms, F64, (arm, info) => numberRead(arm, info, index, loc), loc);
+    const name = indexedUnionNumberHelper(lowerer, receiver.type, arms, loc);
+    return { kind: "call", callee: name, args: [receiver, index], type: F64, loc };
+}
+function numberRead(arm, info, index, loc) {
+    return info.type.kind === "bytes"
+        ? {
+            kind: "bytesIntrinsic",
+            method: "get",
+            receiver: arm,
+            args: [index],
+            type: F64,
+            loc,
+            invalidNaN: true,
+        }
+        : arrayNumberRead(arm, index, loc);
+}
+function indexedUnionNumberHelper(lowerer, union, arms, loc) {
+    return dispatchHelper(lowerer, `idxUnion:num:${unionKey(union)}`, "%union.getNumber", union, arms, [{ name: "i", type: F64 }], F64, (arm, info, [i]) => returning(numberRead(arm, info, i, loc), loc), loc);
+}
+/** The numeric twin of an indexed-union read helper call, or null. */
+export function indexedUnionNumericTwin(lowerer, call) {
+    if (call.kind !== "call")
+        return null;
+    const twin = lowerer.indexedUnionNumericTwins.get(call.callee);
+    return twin === undefined ? null : { ...call, callee: twin, type: F64 };
+}
+/** `u[i] = v` for a number `v`: each arm's element store (a typed array
+ * converts the number to its element kind and ignores an invalid index; a
+ * number array stores at the index). */
+export function lowerIndexedUnionWrite(lowerer, receiver, arms, index, value, loc) {
+    // In place, the value evaluates before the arms read the receiver and
+    // index: only when it cannot rebind either.
+    if (inlineDispatch(receiver, [index]) && !rebinds(value, [receiver, index])) {
+        const union = receiver.type;
+        const valueLocal = lowerer.declareHiddenLocal("%elementValue", F64);
+        const v = { kind: "varRef", localId: valueLocal.id, type: F64, loc };
+        let chain = null;
+        for (let i = arms.length - 1; i >= 0; i--) {
+            const info = arms[i];
+            const arm = {
+                kind: "unionNarrow",
+                unionId: union.kind === "union" ? union.unionId : "",
+                tag: info.tag,
+                value: receiver,
+                type: info.type,
+                loc,
+            };
+            const store = info.type.kind === "bytes"
+                ? { kind: "bytesSet", arr: arm, index, value: v, loc }
+                : { kind: "arraySet", arr: arm, index, value: v, loc };
+            chain =
+                chain === null
+                    ? [store]
+                    : [
+                        {
+                            kind: "if",
+                            cond: {
+                                kind: "unionIsTag",
+                                unionId: union.kind === "union" ? union.unionId : "",
+                                tag: info.tag,
+                                negated: false,
+                                value: receiver,
+                                type: BOOL,
+                                loc,
+                            },
+                            then: [store],
+                            else_: chain,
+                            loc,
+                        },
+                    ];
+        }
+        return {
+            kind: "block",
+            body: [{ kind: "varDecl", localId: valueLocal.id, init: value, loc }, ...chain],
+            loc,
+        };
+    }
+    const name = dispatchHelper(lowerer, `idxUnion:set:${unionKey(receiver.type)}`, "%union.idxSet", receiver.type, arms, [
+        { name: "i", type: F64 },
+        { name: "v", type: F64 },
+    ], VOID, (arm, info, [i, v]) => [
+        info.type.kind === "bytes"
+            ? { kind: "bytesSet", arr: arm, index: i, value: v, loc }
+            : { kind: "arraySet", arr: arm, index: i, value: v, loc },
+        { kind: "return", value: null, loc },
+    ], loc);
+    return {
+        kind: "exprStmt",
+        expr: { kind: "call", callee: name, args: [receiver, index, value], type: VOID, loc },
+        loc,
+    };
+}
+/** The members every arm answers: `length` for all, and `byteLength`,
+ * `byteOffset` and `BYTES_PER_ELEMENT` when every arm is a typed array. */
+export function lowerIndexedUnionMember(lowerer, receiver, arms, member, loc) {
+    const bytesOnly = member !== "length";
+    if (member !== "length" &&
+        member !== "byteLength" &&
+        member !== "byteOffset" &&
+        member !== "BYTES_PER_ELEMENT")
+        return null;
+    if (bytesOnly && !allBytesArms(arms))
+        return null;
+    const memberOf = (arm, info) => info.type.kind === "array"
+        ? { kind: "arrIntrinsic", method: "length", receiver: arm, args: [], type: F64, loc }
+        : member === "BYTES_PER_ELEMENT"
+            ? { kind: "numLit", value: BYTES_ELEMENT_SIZE[info.type.elem], type: F64, loc }
+            : { kind: "bytesIntrinsic", method: member, receiver: arm, args: [], type: F64, loc };
+    if (inlineDispatch(receiver, []))
+        return inlineArms(receiver, arms, F64, memberOf, loc);
+    const name = dispatchHelper(lowerer, `idxUnion:${member}:${unionKey(receiver.type)}`, `%union.${member}`, receiver.type, arms, [], F64, (arm, info) => returning(memberOf(arm, info), loc), loc);
+    return { kind: "call", callee: name, args: [receiver], type: F64, loc };
+}
+function unionKey(type) {
+    return type.kind === "union" ? String(type.unionId) : "?";
+}
+/** A typed-array method on a union whose every arm is a typed array: the
+ * arguments evaluate once in the caller, and each arm runs the same
+ * `bytesIntrinsic` on its own receiver. `result` "receiver" is a method
+ * that answers a typed array of the receiver's kind (subarray, slice,
+ * fill, ...): each arm wraps its answer back into the union. */
+export function lowerIndexedUnionMethod(lowerer, receiver, arms, method, args, result, loc) {
+    const union = receiver.type;
+    if (union.kind !== "union")
+        throw new Error("indexed-union method over a non-union");
+    const resultT = result === "receiver" ? union : result;
+    const params = args.map((arg, i) => ({ name: `a${i}`, type: arg.type }));
+    const signature = args.map((arg) => typeKey(arg.type)).join(",");
+    const name = dispatchHelper(lowerer, `idxUnion:${method}(${signature}):${unionKey(union)}`, `%union.${method}`, union, arms, params, resultT, (arm, info, refs) => {
+        const call = {
+            kind: "bytesIntrinsic",
+            method,
+            receiver: arm,
+            args: [...refs],
+            type: result === "receiver" ? info.type : result,
+            loc,
+        };
+        if (result === "receiver")
+            return returning({
+                kind: "unionWrap",
+                unionId: union.unionId,
+                tag: info.tag,
+                value: call,
+                type: union,
+                loc,
+            }, loc);
+        if (result.kind === "void")
+            return [
+                { kind: "exprStmt", expr: call, loc },
+                { kind: "return", value: null, loc },
+            ];
+        return returning(call, loc);
+    }, loc);
+    return { kind: "call", callee: name, args: [receiver, ...args], type: resultT, loc };
+}
+/** The elements of `u` as a `number[]`: a typed-array arm drains its
+ * elements into a fresh array. A number-array arm is the array itself for
+ * consumers that copy it (spreads), or with `fresh` a dense copy whose
+ * holes read as undefined (Array.from). */
+export function lowerIndexedUnionToArray(lowerer, receiver, arms, loc, fresh = false) {
+    const arrayT = { kind: "array", elem: F64 };
+    const name = dispatchHelper(lowerer, `idxUnion:${fresh ? "from" : "toArray"}:${unionKey(receiver.type)}`, fresh ? "%union.arrayFrom" : "%union.toArray", receiver.type, arms, [], arrayT, (arm, info) => returning(info.type.kind === "bytes"
+        ? {
+            kind: "bytesIntrinsic",
+            method: "toArray",
+            receiver: arm,
+            args: [],
+            type: arrayT,
+            loc,
+        }
+        : fresh
+            ? {
+                kind: "arrIntrinsic",
+                method: "reverse",
+                receiver: {
+                    kind: "arrIntrinsic",
+                    method: "toReversed",
+                    receiver: arm,
+                    args: [],
+                    type: arrayT,
+                    loc,
+                },
+                args: [],
+                type: arrayT,
+                loc,
+            }
+            : arm, loc), loc);
+    return { kind: "call", callee: name, args: [receiver], type: arrayT, loc };
+}
+/** Whether a dispatch can run in place instead of through a helper call:
+ * the receiver is a plain read, so testing and narrowing it once per arm
+ * reads the same value, and the other operands are plain reads or
+ * literals. The arms' own reads then stay visible to the integer range
+ * analysis (a loop bounded by `u.length` keeps an integer counter). */
+function inlineDispatch(receiver, operands) {
+    return (receiver.kind === "varRef" && operands.every((e) => e.kind === "varRef" || e.kind === "numLit"));
+}
+/** Expressions that run no program code: reads, literals and operators
+ * over primitive values. */
+const CODE_FREE_EXPRS = new Set([
+    "numLit",
+    "boolLit",
+    "strLit",
+    "unitLit",
+    "varRef",
+    "unary",
+    "logical",
+    "ternary",
+    "toBool",
+    "strEq",
+    "strCmp",
+    "arrayGet",
+    "arrayHas",
+    "arrayState",
+    "bytesIntrinsic",
+    "fieldGet",
+    "recordGet",
+    "unionNarrow",
+    "unionIsTag",
+    "unionDisc",
+    "upcast",
+    "nullish",
+]);
+const PRIMITIVE_OPERANDS = new Set(["f64", "bool", "string", "bigint"]);
+/** Whether evaluating `e` can rebind one of the plain reads `reads`: by
+ * assigning it, or by running program code (a call, a getter, a
+ * conversion) that could assign a captured binding. */
+function rebinds(e, reads) {
+    const ids = new Set(reads.flatMap((r) => (r.kind === "varRef" ? [r.localId] : [])));
+    let found = false;
+    const expr = (x) => {
+        if ((x.kind === "assignExpr" || x.kind === "incDec") && ids.has(x.localId))
+            found = true;
+        else if (x.kind === "bin") {
+            if (!PRIMITIVE_OPERANDS.has(x.left.type.kind) || !PRIMITIVE_OPERANDS.has(x.right.type.kind))
+                found = true;
+        }
+        else if (x.kind === "call") {
+            // The union dispatch helpers only read and store elements.
+            if (!x.callee.startsWith("%union."))
+                found = true;
+        }
+        else if (!CODE_FREE_EXPRS.has(x.kind))
+            found = true;
+        return !found && everyExprChild(x, expr, stmt);
+    };
+    const stmt = (x) => {
+        if ((x.kind === "assign" || x.kind === "varDecl") && ids.has(x.localId))
+            found = true;
+        return !found && everyStmtChild(x, expr, stmt);
+    };
+    expr(e);
+    return found;
+}
+/** The in-place form of a dispatch: a ternary chain over the arms' tags,
+ * the last arm untested. */
+function inlineArms(receiver, arms, type, arm, loc) {
+    const union = receiver.type;
+    if (union.kind !== "union")
+        throw new Error("indexed-union dispatch over a non-union");
+    const narrowed = (info) => ({
+        kind: "unionNarrow",
+        unionId: union.unionId,
+        tag: info.tag,
+        value: receiver,
+        type: info.type,
+        loc,
+    });
+    let result = arm(narrowed(arms[arms.length - 1]), arms[arms.length - 1]);
+    for (let i = arms.length - 2; i >= 0; i--) {
+        const info = arms[i];
+        result = {
+            kind: "ternary",
+            cond: {
+                kind: "unionIsTag",
+                unionId: union.unionId,
+                tag: info.tag,
+                negated: false,
+                value: receiver,
+                type: BOOL,
+                loc,
+            },
+            then: arm(narrowed(info), info),
+            else_: result,
+            type,
+            loc,
+        };
+    }
+    return result;
+}
+//# sourceMappingURL=indexed-unions.js.map

package/dist/frontend/lowering/indexed-unions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"indexed-unions.js","sourceRoot":"","sources":["../../../src/frontend/lowering/indexed-unions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,EACL,IAAI,EACJ,kBAAkB,EAClB,GAAG,EACH,IAAI,EAOJ,OAAO,GACR,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtE,OAAO,EAAE,eAAe,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAoB5F;;yDAEyD;AACzD,MAAM,UAAU,gBAAgB,CAAC,OAAgB,EAAE,IAAY;IAC7D,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACvC,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;IACpD,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1C,MAAM,MAAM,GAAiB,EAAE,CAAC;IAChC,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;QACxC,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO;YAAE,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;aACrD,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;YAAE,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;;YACrF,OAAO,IAAI,CAAC;IACnB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;6BAC6B;AAC7B,MAAM,UAAU,YAAY,CAAC,IAA2B;IACtD,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;AACxD,CAAC;AAID;;6CAE6C;AAC7C,SAAS,cAAc,CACrB,OAAgB,EAChB,GAAW,EACX,MAAc,EACd,KAAa,EACb,IAA2B,EAC3B,MAAiD,EACjD,UAAkB,EAClB,IAAa,EACb,GAAW;IAEX,MAAM,QAAQ,GAAG,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAChD,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,MAAM,IAAI,GAAG,eAAe,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;IACnD,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACrC,MAAM,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;IAC1B,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;IACrF,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;IAClE,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;QACtB,MAAM,QAAQ,GAAW;YACvB,IAAI,EAAE,aAAa;YACnB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,GAAG,EAAE,GAAG,CAAC,GAAG;YACZ,KAAK,EAAE,CAAC;YACR,IAAI,EAAE,GAAG,CAAC,IAAI;YACd,GAAG,EAAE,EAAE;SACR,CAAC;QACF,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QAC3C,IAAI,CAAC,KAAK,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,KAAK,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC;YACxB,OAAO;QACT,CAAC;QACD,KAAK,CAAC,IAAI,CAAC;YACT,IAAI,EAAE,IAAI;YACV,IAAI,EAAE;gBACJ,IAAI,EAAE,YAAY;gBAClB,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,GAAG,EAAE,GAAG,CAAC,GAAG;gBACZ,OAAO,EAAE,KAAK;gBACd,KAAK,EAAE,CAAC;gBACR,IAAI,EAAE,IAAI;gBACV,GAAG,EAAE,EAAE;aACR;YACD,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE,IAAI;YACX,GAAG,EAAE,EAAE;SACR,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,MAAM,EAAE,GAAe;QACrB,IAAI;QACJ,MAAM,EAAE;YACN,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE;YAC1C,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;SAC/E;QACD,UAAU;QACV,MAAM,EAAE;YACN,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE;YACrD,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;SAC1F;QACD,IAAI,EAAE,KAAK;QACX,GAAG,EAAE,EAAE;KACR,CAAC;IACF,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC3B,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,SAAS,GAAG,CAAC,KAAa,EAAE,GAAW,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;AAE7F;gDACgD;AAChD,MAAM,UAAU,qBAAqB,CACnC,OAAgB,EAChB,QAAgB,EAChB,IAA2B,EAC3B,KAAa,EACb,GAAW;IAEX,MAAM,OAAO,GAAG,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;IAC9C,MAAM,GAAG,GAAG,gBAAgB,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;IACtD,MAAM,IAAI,GAAG,cAAc,CACzB,OAAO,EACP,GAAG,EACH,cAAc,EACd,QAAQ,CAAC,IAAI,EACb,IAAI,EACJ,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAC1B,OAAO,EACP,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CACjB,SAAS,CACP,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QACxB,CAAC,CAAC,kBAAkB,CAAC,OAAO,EAAE,GAAG,EAAE,CAAE,EAAE,GAAG,CAAC;QAC3C,CAAC,CAAC,kBAAkB,CAAC,OAAO,EAAE,GAAG,EAAE,CAAE,EAAE,GAAG,CAAE,EAC9C,GAAG,CACJ,EACH,GAAG,CACJ,CAAC;IACF,MAAM,OAAO,GAAG,wBAAwB,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IAC5E,OAAO,CAAC,wBAAwB,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACpD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;AACrF,CAAC;AAED;0BAC0B;AAC1B,MAAM,UAAU,2BAA2B,CACzC,OAAgB,EAChB,QAAgB,EAChB,IAA2B,EAC3B,KAAa,EACb,GAAW;IAEX,IAAI,cAAc,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC,CAAC;QACnC,OAAO,UAAU,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;IAChG,MAAM,IAAI,GAAG,wBAAwB,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IACzE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AACjF,CAAC;AAED,SAAS,UAAU,CAAC,GAAW,EAAE,IAAgB,EAAE,KAAa,EAAE,GAAW;IAC3E,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAC/B,CAAC,CAAC;YACE,IAAI,EAAE,gBAAgB;YACtB,MAAM,EAAE,KAAK;YACb,QAAQ,EAAE,GAAG;YACb,IAAI,EAAE,CAAC,KAAK,CAAC;YACb,IAAI,EAAE,GAAG;YACT,GAAG;YACH,UAAU,EAAE,IAAI;SACjB;QACH,CAAC,CAAC,eAAe,CAAC,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;AACvC,CAAC;AAED,SAAS,wBAAwB,CAC/B,OAAgB,EAChB,KAAa,EACb,IAA2B,EAC3B,GAAW;IAEX,OAAO,cAAc,CACnB,OAAO,EACP,gBAAgB,QAAQ,CAAC,KAAK,CAAC,EAAE,EACjC,kBAAkB,EAClB,KAAK,EACL,IAAI,EACJ,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAC1B,GAAG,EACH,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,EAAE,CAAE,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,EAClE,GAAG,CACJ,CAAC;AACJ,CAAC;AAED,sEAAsE;AACtE,MAAM,UAAU,uBAAuB,CAAC,OAAgB,EAAE,IAAY;IACpE,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IACtC,MAAM,IAAI,GAAG,OAAO,CAAC,wBAAwB,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC/D,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AAC1E,CAAC;AAED;;wCAEwC;AACxC,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,QAAgB,EAChB,IAA2B,EAC3B,KAAa,EACb,KAAa,EACb,GAAW;IAEX,sEAAsE;IACtE,4CAA4C;IAC5C,IAAI,cAAc,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;QAC5E,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC;QAC5B,MAAM,UAAU,GAAG,OAAO,CAAC,kBAAkB,CAAC,eAAe,EAAE,GAAG,CAAC,CAAC;QACpE,MAAM,CAAC,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAC7E,IAAI,KAAK,GAAoB,IAAI,CAAC;QAClC,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC1C,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;YACtB,MAAM,GAAG,GAAW;gBAClB,IAAI,EAAE,aAAa;gBACnB,OAAO,EAAE,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;gBACpD,GAAG,EAAE,IAAI,CAAC,GAAG;gBACb,KAAK,EAAE,QAAQ;gBACf,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,GAAG;aACJ,CAAC;YACF,MAAM,KAAK,GACT,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;gBACxB,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE;gBACtD,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC;YAC3D,KAAK;gBACH,KAAK,KAAK,IAAI;oBACZ,CAAC,CAAC,CAAC,KAAK,CAAC;oBACT,CAAC,CAAC;wBACE;4BACE,IAAI,EAAE,IAAI;4BACV,IAAI,EAAE;gCACJ,IAAI,EAAE,YAAY;gCAClB,OAAO,EAAE,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;gCACpD,GAAG,EAAE,IAAI,CAAC,GAAG;gCACb,OAAO,EAAE,KAAK;gCACd,KAAK,EAAE,QAAQ;gCACf,IAAI,EAAE,IAAI;gCACV,GAAG;6BACJ;4BACD,IAAI,EAAE,CAAC,KAAK,CAAC;4BACb,KAAK,EAAE,KAAK;4BACZ,GAAG;yBACJ;qBACF,CAAC;QACV,CAAC;QACD,OAAO;YACL,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,GAAG,KAAM,CAAC;YAChF,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,cAAc,CACzB,OAAO,EACP,gBAAgB,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,EACzC,eAAe,EACf,QAAQ,CAAC,IAAI,EACb,IAAI,EACJ;QACE,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE;QACxB,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE;KACzB,EACD,IAAI,EACJ,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC;QACrB,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;YACxB,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,CAAE,EAAE,KAAK,EAAE,CAAE,EAAE,GAAG,EAAE;YAC3D,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,CAAE,EAAE,KAAK,EAAE,CAAE,EAAE,GAAG,EAAE;QAC7D,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;KACrC,EACD,GAAG,CACJ,CAAC;IACF,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;QACrF,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;2EAC2E;AAC3E,MAAM,UAAU,uBAAuB,CACrC,OAAgB,EAChB,QAAgB,EAChB,IAA2B,EAC3B,MAAc,EACd,GAAW;IAEX,MAAM,SAAS,GAAG,MAAM,KAAK,QAAQ,CAAC;IACtC,IACE,MAAM,KAAK,QAAQ;QACnB,MAAM,KAAK,YAAY;QACvB,MAAM,KAAK,YAAY;QACvB,MAAM,KAAK,mBAAmB;QAE9B,OAAO,IAAI,CAAC;IACd,IAAI,SAAS,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAClD,MAAM,QAAQ,GAAG,CAAC,GAAW,EAAE,IAAgB,EAAU,EAAE,CACzD,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QACxB,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QACrF,CAAC,CAAC,MAAM,KAAK,mBAAmB;YAC9B,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YAC/E,CAAC,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IAC5F,IAAI,cAAc,CAAC,QAAQ,EAAE,EAAE,CAAC;QAAE,OAAO,UAAU,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;IACxF,MAAM,IAAI,GAAG,cAAc,CACzB,OAAO,EACP,YAAY,MAAM,IAAI,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,EAC/C,UAAU,MAAM,EAAE,EAClB,QAAQ,CAAC,IAAI,EACb,IAAI,EACJ,EAAE,EACF,GAAG,EACH,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,EAClD,GAAG,CACJ,CAAC;IACF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AAC1E,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY;IAC5B,OAAO,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;AAC5D,CAAC;AAED;;;;gEAIgE;AAChE,MAAM,UAAU,uBAAuB,CACrC,OAAgB,EAChB,QAAgB,EAChB,IAA2B,EAC3B,MAA8B,EAC9B,IAAuB,EACvB,MAA2B,EAC3B,GAAW;IAEX,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC;IAC5B,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;IACrF,MAAM,OAAO,GAAG,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;IACvD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACzE,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjE,MAAM,IAAI,GAAG,cAAc,CACzB,OAAO,EACP,YAAY,MAAM,IAAI,SAAS,KAAK,QAAQ,CAAC,KAAK,CAAC,EAAE,EACrD,UAAU,MAAM,EAAE,EAClB,KAAK,EACL,IAAI,EACJ,MAAM,EACN,OAAO,EACP,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE;QAClB,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,gBAAgB;YACtB,MAAM;YACN,QAAQ,EAAE,GAAG;YACb,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC;YACf,IAAI,EAAE,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM;YAChD,GAAG;SACJ,CAAC;QACF,IAAI,MAAM,KAAK,UAAU;YACvB,OAAO,SAAS,CACd;gBACE,IAAI,EAAE,WAAW;gBACjB,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,GAAG,EAAE,IAAI,CAAC,GAAG;gBACb,KAAK,EAAE,IAAI;gBACX,IAAI,EAAE,KAAK;gBACX,GAAG;aACJ,EACD,GAAG,CACJ,CAAC;QACJ,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM;YACxB,OAAO;gBACL,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;gBACrC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;aACrC,CAAC;QACJ,OAAO,SAAS,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC9B,CAAC,EACD,GAAG,CACJ,CAAC;IACF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;AACvF,CAAC;AAED;;;2CAG2C;AAC3C,MAAM,UAAU,wBAAwB,CACtC,OAAgB,EAChB,QAAgB,EAChB,IAA2B,EAC3B,GAAW,EACX,KAAK,GAAG,KAAK;IAEb,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACpD,MAAM,IAAI,GAAG,cAAc,CACzB,OAAO,EACP,YAAY,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,IAAI,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,EACnE,KAAK,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,gBAAgB,EAC7C,QAAQ,CAAC,IAAI,EACb,IAAI,EACJ,EAAE,EACF,MAAM,EACN,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CACZ,SAAS,CACP,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QACxB,CAAC,CAAC;YACE,IAAI,EAAE,gBAAgB;YACtB,MAAM,EAAE,SAAS;YACjB,QAAQ,EAAE,GAAG;YACb,IAAI,EAAE,EAAE;YACR,IAAI,EAAE,MAAM;YACZ,GAAG;SACJ;QACH,CAAC,CAAC,KAAK;YACL,CAAC,CAAC;gBACE,IAAI,EAAE,cAAc;gBACpB,MAAM,EAAE,SAAS;gBACjB,QAAQ,EAAE;oBACR,IAAI,EAAE,cAAc;oBACpB,MAAM,EAAE,YAAY;oBACpB,QAAQ,EAAE,GAAG;oBACb,IAAI,EAAE,EAAE;oBACR,IAAI,EAAE,MAAM;oBACZ,GAAG;iBACJ;gBACD,IAAI,EAAE,EAAE;gBACR,IAAI,EAAE,MAAM;gBACZ,GAAG;aACJ;YACH,CAAC,CAAC,GAAG,EACT,GAAG,CACJ,EACH,GAAG,CACJ,CAAC;IACF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;AAC7E,CAAC;AAED;;;;uEAIuE;AACvE,SAAS,cAAc,CAAC,QAAgB,EAAE,QAA2B;IACnE,OAAO,CACL,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAChG,CAAC;AACJ,CAAC;AAED;4BAC4B;AAC5B,MAAM,eAAe,GAAG,IAAI,GAAG,CAAiB;IAC9C,QAAQ;IACR,SAAS;IACT,QAAQ;IACR,SAAS;IACT,QAAQ;IACR,OAAO;IACP,SAAS;IACT,SAAS;IACT,QAAQ;IACR,OAAO;IACP,QAAQ;IACR,UAAU;IACV,UAAU;IACV,YAAY;IACZ,gBAAgB;IAChB,UAAU;IACV,WAAW;IACX,aAAa;IACb,YAAY;IACZ,WAAW;IACX,QAAQ;IACR,SAAS;CACV,CAAC,CAAC;AACH,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAiB,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;AAExF;;uDAEuD;AACvD,SAAS,OAAO,CAAC,CAAS,EAAE,KAAwB;IAClD,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACpF,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE;QAClC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;YAAE,KAAK,GAAG,IAAI,CAAC;aACpF,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC1B,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;gBACzF,KAAK,GAAG,IAAI,CAAC;QACjB,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC7B,2DAA2D;YAC3D,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC;gBAAE,KAAK,GAAG,IAAI,CAAC;QACpD,CAAC;aAAM,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,KAAK,GAAG,IAAI,CAAC;QACtD,OAAO,CAAC,KAAK,IAAI,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE;QAClC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;YAAE,KAAK,GAAG,IAAI,CAAC;QACtF,OAAO,CAAC,KAAK,IAAI,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC;IACF,IAAI,CAAC,CAAC,CAAC,CAAC;IACR,OAAO,KAAK,CAAC;AACf,CAAC;AAED;4BAC4B;AAC5B,SAAS,UAAU,CACjB,QAAgB,EAChB,IAA2B,EAC3B,IAAY,EACZ,GAAmD,EACnD,GAAW;IAEX,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC;IAC5B,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;IACvF,MAAM,QAAQ,GAAG,CAAC,IAAgB,EAAU,EAAE,CAAC,CAAC;QAC9C,IAAI,EAAE,aAAa;QACnB,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,GAAG,EAAE,IAAI,CAAC,GAAG;QACb,KAAK,EAAE,QAAQ;QACf,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,GAAG;KACJ,CAAC,CAAC;IACH,IAAI,MAAM,GAAG,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,CAAC;IAC3E,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;QACtB,MAAM,GAAG;YACP,IAAI,EAAE,SAAS;YACf,IAAI,EAAE;gBACJ,IAAI,EAAE,YAAY;gBAClB,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,GAAG,EAAE,IAAI,CAAC,GAAG;gBACb,OAAO,EAAE,KAAK;gBACd,KAAK,EAAE,QAAQ;gBACf,IAAI,EAAE,IAAI;gBACV,GAAG;aACJ;YACD,IAAI,EAAE,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC;YAC/B,KAAK,EAAE,MAAM;YACb,IAAI;YACJ,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/frontend/lowering/instantiation-path.d.ts

@@ -1,8 +1,9 @@
+import type * as ts from "../ts7/adapter.js";
 /** Queued bodies preserve their demand ancestry. Independent concrete uses
  * do not consume a recursion budget; only fresh instances on one path do. */
 export interface InstantiationPath {
-    declaration: object;
+    declaration: ts.Node;
     parent: InstantiationPath | null;
 }
 export declare const MAX_INSTANTIATION_RECURSION = 100;
-export declare function extendInstantiationPath(parent: InstantiationPath | null, declaration: object): InstantiationPath | null;
+export declare function extendInstantiationPath(parent: InstantiationPath | null, declaration: ts.Node): InstantiationPath | null;

package/dist/frontend/lowering/instantiation-path.js.map

@@ -1 +1 @@
-{"version":3,"file":"instantiation-path.js","sourceRoot":"","sources":["../../../src/frontend/lowering/instantiation-path.ts"],"names":[],"mappings":"AAOA,MAAM,CAAC,MAAM,2BAA2B,GAAG,GAAG,CAAC;AAE/C,MAAM,UAAU,uBAAuB,CACrC,MAAgC,EAChC,WAAmB;IAEnB,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,KAAK,IAAI,IAAI,GAAG,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QACjD,IAAI,IAAI,CAAC,WAAW,KAAK,WAAW,IAAI,EAAE,WAAW,IAAI,2BAA2B;YAClF,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC;AACjC,CAAC"}
+{"version":3,"file":"instantiation-path.js","sourceRoot":"","sources":["../../../src/frontend/lowering/instantiation-path.ts"],"names":[],"mappings":"AASA,MAAM,CAAC,MAAM,2BAA2B,GAAG,GAAG,CAAC;AAE/C,MAAM,UAAU,uBAAuB,CACrC,MAAgC,EAChC,WAAoB;IAEpB,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,KAAK,IAAI,IAAI,GAAG,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QACjD,IAAI,IAAI,CAAC,WAAW,KAAK,WAAW,IAAI,EAAE,WAAW,IAAI,2BAA2B;YAClF,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC;AACjC,CAAC"}

package/dist/frontend/lowering/instantiation-path.test.js

@@ -1,17 +1,19 @@
 import { expect, test } from "vitest";
 import { extendInstantiationPath, MAX_INSTANTIATION_RECURSION } from "./instantiation-path.js";
+/** A stand-in declaration: paths compare declarations by identity only. */
+const node = () => ({});
 test("independent declarations and roots do not consume a recursive budget", () => {
-    const declaration = {};
+    const declaration = node();
     for (let i = 0; i < MAX_INSTANTIATION_RECURSION * 2; i++)
         expect(extendInstantiationPath(null, declaration)).not.toBeNull();
     let path = extendInstantiationPath(null, declaration);
     for (let i = 0; i < MAX_INSTANTIATION_RECURSION * 2; i++)
-        path = extendInstantiationPath(path, {});
+        path = extendInstantiationPath(path, node());
     expect(extendInstantiationPath(path, declaration)).not.toBeNull();
 });
 test("bounds fresh recursive demands across intervening declarations", () => {
-    const first = {};
-    const second = {};
+    const first = node();
+    const second = node();
     let path = extendInstantiationPath(null, first);
     for (let i = 1; i < MAX_INSTANTIATION_RECURSION; i++) {
         path = extendInstantiationPath(path, second);

package/dist/frontend/lowering/instantiation-path.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"instantiation-path.test.js","sourceRoot":"","sources":["../../../src/frontend/lowering/instantiation-path.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,uBAAuB,EAAE,2BAA2B,EAAE,MAAM,yBAAyB,CAAC;AAE/F,IAAI,CAAC,sEAAsE,EAAE,GAAG,EAAE;IAChF,MAAM,WAAW,GAAG,EAAE,CAAC;IACvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,2BAA2B,GAAG,CAAC,EAAE,CAAC,EAAE;QACtD,MAAM,CAAC,uBAAuB,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IACpE,IAAI,IAAI,GAAG,uBAAuB,CAAC,IAAI,EAAE,WAAW,CAAE,CAAC;IACvD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,2BAA2B,GAAG,CAAC,EAAE,CAAC,EAAE;QACtD,IAAI,GAAG,uBAAuB,CAAC,IAAI,EAAE,EAAE,CAAE,CAAC;IAC5C,MAAM,CAAC,uBAAuB,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;AACpE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,gEAAgE,EAAE,GAAG,EAAE;IAC1E,MAAM,KAAK,GAAG,EAAE,CAAC;IACjB,MAAM,MAAM,GAAG,EAAE,CAAC;IAClB,IAAI,IAAI,GAAG,uBAAuB,CAAC,IAAI,EAAE,KAAK,CAAE,CAAC;IACjD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,2BAA2B,EAAE,CAAC,EAAE,EAAE,CAAC;QACrD,IAAI,GAAG,uBAAuB,CAAC,IAAI,EAAE,MAAM,CAAE,CAAC;QAC9C,IAAI,GAAG,uBAAuB,CAAC,IAAI,EAAE,KAAK,CAAE,CAAC;IAC/C,CAAC;IACD,MAAM,CAAC,uBAAuB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACxD,MAAM,CAAC,uBAAuB,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;AACtE,CAAC,CAAC,CAAC"}
+{"version":3,"file":"instantiation-path.test.js","sourceRoot":"","sources":["../../../src/frontend/lowering/instantiation-path.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAEtC,OAAO,EAAE,uBAAuB,EAAE,2BAA2B,EAAE,MAAM,yBAAyB,CAAC;AAE/F,2EAA2E;AAC3E,MAAM,IAAI,GAAG,GAAY,EAAE,CAAC,CAAC,EAAE,CAAY,CAAC;AAE5C,IAAI,CAAC,sEAAsE,EAAE,GAAG,EAAE;IAChF,MAAM,WAAW,GAAG,IAAI,EAAE,CAAC;IAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,2BAA2B,GAAG,CAAC,EAAE,CAAC,EAAE;QACtD,MAAM,CAAC,uBAAuB,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IACpE,IAAI,IAAI,GAAG,uBAAuB,CAAC,IAAI,EAAE,WAAW,CAAE,CAAC;IACvD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,2BAA2B,GAAG,CAAC,EAAE,CAAC,EAAE;QACtD,IAAI,GAAG,uBAAuB,CAAC,IAAI,EAAE,IAAI,EAAE,CAAE,CAAC;IAChD,MAAM,CAAC,uBAAuB,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;AACpE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,gEAAgE,EAAE,GAAG,EAAE;IAC1E,MAAM,KAAK,GAAG,IAAI,EAAE,CAAC;IACrB,MAAM,MAAM,GAAG,IAAI,EAAE,CAAC;IACtB,IAAI,IAAI,GAAG,uBAAuB,CAAC,IAAI,EAAE,KAAK,CAAE,CAAC;IACjD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,2BAA2B,EAAE,CAAC,EAAE,EAAE,CAAC;QACrD,IAAI,GAAG,uBAAuB,CAAC,IAAI,EAAE,MAAM,CAAE,CAAC;QAC9C,IAAI,GAAG,uBAAuB,CAAC,IAAI,EAAE,KAAK,CAAE,CAAC;IAC/C,CAAC;IACD,MAAM,CAAC,uBAAuB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACxD,MAAM,CAAC,uBAAuB,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;AACtE,CAAC,CAAC,CAAC"}

package/dist/frontend/lowering/iterator-adapters.d.ts

@@ -29,8 +29,10 @@ export declare function lowerStringIteratorValue(lowerer: Lowerer, receiver: IrE
  * consumers of an iterator (`[...it]`, `Array.from(it)`). Each step resumes
  * the generator once and appends its value; completion stops the drain
  * without appending the return value, as in JS. Null when the yielded
- * values cannot be extracted into the element type. */
-export declare function generatorDrain(lowerer: Lowerer, source: IrExpr, elem: IrType, loc: SrcLoc): IrExpr | null;
+ * values cannot be extracted into the element type. `optional`: the
+ * result is a `(T | undefined)[]`, which stores T elements, so a
+ * checked-dynamic value may also be undefined. */
+export declare function generatorDrain(lowerer: Lowerer, source: IrExpr, elem: IrType, loc: SrcLoc, optional?: boolean): IrExpr | null;
 /** `list.values()`, `list.keys()` and `list.entries()` as values: a
  * generator over the live array. Each step compares the index with the
  * current length and reads the current element, so elements appended

package/dist/frontend/lowering/iterator-adapters.js

@@ -1,3 +1,4 @@
+import { appendElement, optionalElementValue, primitiveElement } from "./array-values.js";
 import { keyedHelperName } from "./stable-names.js";
 import { dynUndefinedExpr, varRef } from "../../ir/build.js";
 import { BOOL, DYN, F64, STRING, typeEquals, UNDEFINED_T, VOID, } from "../../ir/ir.js";
@@ -901,12 +902,22 @@ function generatorRetypeAdapter(lowerer, expr, expected) {
     }
     return { kind: "call", callee: name, args: [expr], type: expected, loc };
 }
+/** A checked-dynamic yielded value for a `(T | undefined)[]` of a
+ * number, string or boolean T: converted to `T | undefined`, which the
+ * drain stores as a T element or a present undefined. */
+function optionalYield(lowerer, value, elem, optional) {
+    if (!optional || value.type.kind !== "dyn" || !primitiveElement(elem))
+        return value;
+    return lowerer.coerceToExpected(value, lowerer.withUndefinedArm(elem));
+}
 /** Drain a synchronous generator into a fresh `elem[]` — the eager
  * consumers of an iterator (`[...it]`, `Array.from(it)`). Each step resumes
  * the generator once and appends its value; completion stops the drain
  * without appending the return value, as in JS. Null when the yielded
- * values cannot be extracted into the element type. */
-export function generatorDrain(lowerer, source, elem, loc) {
+ * values cannot be extracted into the element type. `optional`: the
+ * result is a `(T | undefined)[]`, which stores T elements, so a
+ * checked-dynamic value may also be undefined. */
+export function generatorDrain(lowerer, source, elem, loc, optional = false) {
     const gen = source.type;
     if (gen.kind !== "generator" || gen.async || gen.yieldT.kind === "void")
         return null;
@@ -916,14 +927,16 @@ export function generatorDrain(lowerer, source, elem, loc) {
     if (!resultType || !valueT)
         return null;
     const arrT = { kind: "array", elem };
-    const key = `genDrain:${typeKey(gen)}:${typeKey(elem)}`;
+    const key = `genDrain:${typeKey(gen)}:${typeKey(elem)}${optional ? "?" : ""}`;
     let name = lowerer.valueHelpers.get(key);
     if (!name && stepDrivable(gen)) {
         // The record-free drive: test done, then take the yielded value.
         const genRef = varRef("gen.0", gen, loc);
         const outRef = varRef("out.0", arrT, loc);
-        const value = lowerer.coerceToExpected(genValue(genRef, loc), elem);
-        if (!typeEquals(value.type, elem))
+        const yielded = optionalYield(lowerer, genValue(genRef, loc), elem, optional);
+        const present = optionalElementValue(lowerer, yielded, elem);
+        const value = present ? yielded : lowerer.coerceToExpected(yielded, elem);
+        if (!present && !typeEquals(value.type, elem))
             return null;
         name = keyedHelperName(lowerer, "%gen.drain", key);
         lowerer.valueHelpers.set(key, name);
@@ -934,6 +947,7 @@ export function generatorDrain(lowerer, source, elem, loc) {
             locals: [
                 { id: "gen.0", name: "gen", type: gen, mutable: false },
                 { id: "out.0", name: "out", type: arrT, mutable: false },
+                ...(present ? [{ id: "v.0", name: "v", type: value.type, mutable: false }] : []),
             ],
             body: [
                 {
@@ -945,20 +959,7 @@ export function generatorDrain(lowerer, source, elem, loc) {
                 {
                     kind: "while",
                     cond: { kind: "unary", op: "!", operand: genStep(genRef, loc), type: BOOL, loc },
-                    body: [
-                        {
-                            kind: "exprStmt",
-                            expr: {
-                                kind: "arrIntrinsic",
-                                method: "push",
-                                receiver: outRef,
-                                args: [value],
-                                type: F64,
-                                loc,
-                            },
-                            loc,
-                        },
-                    ],
+                    body: appendElement(lowerer, outRef, value, elem, "v.0", loc),
                     loc,
                 },
                 { kind: "return", value: outRef, loc },
@@ -980,8 +981,10 @@ export function generatorDrain(lowerer, source, elem, loc) {
         }, loc);
         if (!raw)
             return null;
-        const value = lowerer.coerceToExpected(raw, elem);
-        if (!typeEquals(value.type, elem))
+        const yielded = optionalYield(lowerer, raw, elem, optional);
+        const present = optionalElementValue(lowerer, yielded, elem);
+        const value = present ? yielded : lowerer.coerceToExpected(yielded, elem);
+        if (!present && !typeEquals(value.type, elem))
             return null;
         name = keyedHelperName(lowerer, "%gen.drain", key);
         lowerer.valueHelpers.set(key, name);
@@ -993,6 +996,7 @@ export function generatorDrain(lowerer, source, elem, loc) {
                 { id: "gen.0", name: "gen", type: gen, mutable: false },
                 { id: "out.0", name: "out", type: arrT, mutable: false },
                 { id: "step.0", name: "step", type: resultType, mutable: false },
+                ...(present ? [{ id: "v.0", name: "v", type: value.type, mutable: false }] : []),
             ],
             body: [
                 {
@@ -1032,18 +1036,7 @@ export function generatorDrain(lowerer, source, elem, loc) {
                             else_: null,
                             loc,
                         },
-                        {
-                            kind: "exprStmt",
-                            expr: {
-                                kind: "arrIntrinsic",
-                                method: "push",
-                                receiver: outRef,
-                                args: [value],
-                                type: F64,
-                                loc,
-                            },
-                            loc,
-                        },
+                        ...appendElement(lowerer, outRef, value, elem, "v.0", loc),
                     ],
                     loc,
                 },