@scriptc/compiler 0.3.1 → 0.3.2

package/dist/frontend/lowering/generator-delegation.js

@@ -1,7 +1,9 @@
-import { dynUndefinedExpr, varRef } from "../../ir/build.js";
+import { dynUndefinedExpr, numLit, varRef } from "../../ir/build.js";
 import * as ts from "../ts7/adapter.js";
-import { BOOL, DYN, F64, STRING, canConvertToDyn } from "../../ir/ir.js";
+import { BOOL, DYN, F64, STRING, VOID, canConvertToDyn, typeEquals, } from "../../ir/ir.js";
 import { locOf } from "../program.js";
+import { arrayValueRead } from "./array-values.js";
+const NO_THROW_METHOD = "The iterator does not provide a 'throw' method.";
 /** The synchronous IteratorRecord protocol, including completion forwarding.
  * Native class methods enter through the checked-value dispatcher; every
  * step and every user method still executes as compiled code. */
@@ -181,14 +183,7 @@ export function lowerCheckedDelegation(lowerer, expr, source) {
                                             value: {
                                                 kind: "libCall",
                                                 fn: "error.new",
-                                                args: [
-                                                    {
-                                                        kind: "strLit",
-                                                        value: "The iterator does not provide a 'throw' method.",
-                                                        type: STRING,
-                                                        loc,
-                                                    },
-                                                ],
+                                                args: [{ kind: "strLit", value: NO_THROW_METHOD, type: STRING, loc }],
                                                 type: { kind: "object", className: "%TypeError" },
                                                 loc,
                                             },
@@ -214,4 +209,230 @@ export function lowerCheckedDelegation(lowerer, expr, source) {
         : get(step.ref, "value");
     return { kind: "seqExpr", stmts, result, generatorDelegate: true, type: result.type, loc };
 }
+/** `yield* xs` over an array, a string, a Set or a Map: the built-in
+ * iterator walked in place, with the same live view as for-of (an array
+ * re-reads its length every step, a string steps by code point, a Map
+ * yields fresh [key, value] entries). These iterators have no return() or
+ * throw() methods: a consumer's next(v) drops v, return(v) completes the
+ * outer generator at the yield, and throw(e) raises a TypeError there
+ * instead of e. The expression completes with undefined. */
+export function lowerBuiltinDelegation(lowerer, expr, source) {
+    const loc = locOf(expr);
+    const gen = lowerer.ctx.generator;
+    const sourceT = source.type;
+    const container = lowerer.declareHiddenLocal("%delegate", sourceT);
+    const cursor = lowerer.declareHiddenLocal("%delegateCursor", F64);
+    cursor.mutable = true;
+    const src = () => varRef(container.id, sourceT, loc);
+    const at = () => varRef(cursor.id, F64, loc);
+    const advance = (by) => ({
+        kind: "assign",
+        localId: cursor.id,
+        value: { kind: "bin", op: "+", left: at(), right: by, type: F64, loc },
+        loc,
+    });
+    const below = (bound) => ({
+        kind: "bin",
+        op: "<",
+        left: at(),
+        right: bound,
+        type: BOOL,
+        loc,
+    });
+    // One delegated step: the value converts into the outer yield channel
+    // first, so only the resumption itself is inside the try.
+    const step = (value) => {
+        const prefix = [];
+        let yielded = value;
+        if (value.kind !== "varRef" || !typeEquals(value.type, gen.yieldT)) {
+            const local = lowerer.declareHiddenLocal("%delegateValue", gen.yieldT);
+            prefix.push({
+                kind: "varDecl",
+                localId: local.id,
+                init: lowerer.coerceInto(expr.expression, value, gen.yieldT),
+                loc,
+            });
+            yielded = varRef(local.id, gen.yieldT, loc);
+        }
+        return [
+            ...prefix,
+            {
+                kind: "tryCatch",
+                tryBody: [
+                    {
+                        kind: "exprStmt",
+                        expr: {
+                            kind: "yieldExpr",
+                            value: yielded,
+                            type: gen.nextT.kind === "undefinedT" ? VOID : gen.nextT,
+                            loc,
+                        },
+                        loc,
+                    },
+                ],
+                catchBody: [
+                    {
+                        kind: "throw",
+                        value: {
+                            kind: "libCall",
+                            fn: "error.new",
+                            args: [{ kind: "strLit", value: NO_THROW_METHOD, type: STRING, loc }],
+                            type: { kind: "object", className: "%TypeError" },
+                            loc,
+                        },
+                        loc,
+                    },
+                ],
+                catchLocalId: null,
+                finallyBody: null,
+                loc,
+            },
+        ];
+    };
+    const stmts = [
+        { kind: "varDecl", localId: container.id, init: source, loc },
+        { kind: "varDecl", localId: cursor.id, init: numLit(0, loc), loc },
+    ];
+    if (sourceT.kind === "array") {
+        // A present element converts straight from the dense read; a hole or
+        // a stored undefined takes the optional read, as Get does.
+        const read = {
+            kind: "ternary",
+            cond: {
+                kind: "bin",
+                op: "===",
+                left: { kind: "arrayState", arr: src(), index: at(), type: F64, loc },
+                right: numLit(1, loc),
+                type: BOOL,
+                loc,
+            },
+            then: lowerer.coerceInto(expr.expression, { kind: "arrayGet", arr: src(), index: at(), type: sourceT.elem, loc }, gen.yieldT),
+            else_: lowerer.coerceInto(expr.expression, arrayValueRead(lowerer, src(), at(), sourceT.elem, loc), gen.yieldT),
+            type: gen.yieldT,
+            loc,
+        };
+        const element = lowerer.declareHiddenLocal("%delegateElement", read.type);
+        stmts.push({
+            kind: "while",
+            cond: below({
+                kind: "arrIntrinsic",
+                method: "length",
+                receiver: src(),
+                args: [],
+                type: F64,
+                loc,
+            }),
+            body: [
+                { kind: "varDecl", localId: element.id, init: read, loc },
+                advance(numLit(1, loc)),
+                ...step(varRef(element.id, read.type, loc)),
+            ],
+            loc,
+        });
+    }
+    else if (sourceT.kind === "string") {
+        const ch = lowerer.declareHiddenLocal("%delegateElement", STRING);
+        const length = (receiver) => ({
+            kind: "strIntrinsic",
+            method: "length",
+            receiver,
+            args: [],
+            type: F64,
+            loc,
+        });
+        stmts.push({
+            kind: "while",
+            cond: below(length(src())),
+            body: [
+                {
+                    kind: "varDecl",
+                    localId: ch.id,
+                    init: {
+                        kind: "strIntrinsic",
+                        method: "cpAt",
+                        receiver: src(),
+                        args: [at()],
+                        type: STRING,
+                        loc,
+                    },
+                    loc,
+                },
+                advance(length(varRef(ch.id, STRING, loc))),
+                ...step(varRef(ch.id, STRING, loc)),
+            ],
+            loc,
+        });
+    }
+    else if (sourceT.kind === "map" || sourceT.kind === "set") {
+        const iter = (method, args, type) => sourceT.kind === "map"
+            ? {
+                kind: "mapIntrinsic",
+                method: method,
+                receiver: src(),
+                args,
+                type,
+                loc,
+            }
+            : {
+                kind: "setIntrinsic",
+                method: method,
+                receiver: src(),
+                args,
+                type,
+                loc,
+            };
+        const keyT = sourceT.kind === "map" ? sourceT.key : sourceT.elem;
+        const index = lowerer.declareHiddenLocal("%delegateIndex", F64);
+        const key = () => iter("iterKey", [varRef(index.id, F64, loc)], keyT);
+        let element = key();
+        if (sourceT.kind === "map") {
+            const entryT = {
+                kind: "record",
+                shapeId: lowerer.shapes.intern([
+                    { name: "0", type: keyT },
+                    { name: "1", type: sourceT.value },
+                ], true),
+            };
+            element = {
+                kind: "recordLit",
+                fields: [
+                    { name: "0", value: key() },
+                    { name: "1", value: iter("iterValue", [varRef(index.id, F64, loc)], sourceT.value) },
+                ],
+                type: entryT,
+                loc,
+            };
+        }
+        const exit = { kind: "exprStmt", expr: iter("iterExit", [], VOID), loc };
+        stmts.push({ kind: "exprStmt", expr: iter("iterEnter", [], VOID), loc }, {
+            kind: "tryCatch",
+            tryBody: [
+                {
+                    kind: "while",
+                    cond: below(iter("iterCount", [], F64)),
+                    body: [
+                        { kind: "varDecl", localId: index.id, init: at(), loc },
+                        advance(numLit(1, loc)),
+                        {
+                            kind: "if",
+                            cond: iter("iterLive", [varRef(index.id, F64, loc)], BOOL),
+                            then: step(element),
+                            else_: null,
+                            loc,
+                        },
+                    ],
+                    loc,
+                },
+            ],
+            catchBody: null,
+            catchLocalId: null,
+            finallyBody: [exit],
+            loc,
+        });
+    }
+    const expected = lowerer.mapTypeOf(lowerer.typeOf(expr));
+    const done = dynUndefinedExpr(loc);
+    const result = expected && expected.kind !== "void" ? lowerer.coerceToExpected(done, expected) : done;
+    return { kind: "seqExpr", stmts, result, generatorDelegate: true, type: result.type, loc };
+}
 //# sourceMappingURL=generator-delegation.js.map

package/dist/frontend/lowering/generator-delegation.js.map

@@ -1 +1 @@
-{"version":3,"file":"generator-delegation.js","sourceRoot":"","sources":["../../../src/frontend/lowering/generator-delegation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,eAAe,EAA4B,MAAM,gBAAgB,CAAC;AACnG,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAGtC;;iEAEiE;AACjE,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,IAAwB,EACxB,MAAc;IAEd,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,SAAU,CAAC;IACnC,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC;IAC1C,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE,CAAC;QAC3C,IACE,IAAI,CAAC,IAAI,KAAK,MAAM;YACpB,IAAI,CAAC,IAAI,KAAK,YAAY;YAC1B,CAAC,eAAe,CACd,IAAI,EACJ,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAC9B,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAC/B,EACD,CAAC;YACD,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,uEAAuE,CACxE,CAAC;QACJ,CAAC;IACH,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,OAAO,GAAG,KAAK,EAAE,EAAE;QAC7C,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACpD,KAAK,CAAC,OAAO,GAAG,OAAO,CAAC;QACxB,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;IACpD,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,IAAI,CAAC,eAAe,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,IAAI,CAAC,eAAe,EAAE,IAAI,CAAC,CAAC;IACzC,MAAM,MAAM,GAAG,IAAI,CAAC,iBAAiB,CAAC,CAAC;IACvC,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,CAAC;IACzC,MAAM,MAAM,GAAG,IAAI,CAAC,gBAAgB,CAAC,CAAC;IACtC,MAAM,KAAK,GAAG,IAAI,CAAC,gBAAgB,CAAC,CAAC;IACrC,MAAM,GAAG,GAAG,CAAC,KAAa,EAAE,GAAW,EAAU,EAAE,CAAC,CAAC;QACnD,IAAI,EAAE,WAAW;QACjB,KAAK;QACL,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;QACtD,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC;QACxC,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,oBAAoB;QACxB,IAAI,EAAE,CAAC,KAAK,CAAC;QACb,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,CAAC,MAAc,EAAE,IAAc,EAAU,EAAE,CACtD,KAAK,CAAC;QACJ,IAAI,EAAE,SAAS;QACf,MAAM;QACN,QAAQ,EAAE,QAAQ,CAAC,GAAG;QACtB,UAAU,EAAE,iBAAiB;QAC7B,IAAI;QACJ,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC,CAAC;IACL,MAAM,IAAI,GAAG,GAAW,EAAE,CAAC,CAAC;QAC1B,IAAI,EAAE,SAAS;QACf,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC;QAC5B,IAAI,EAAE,IAAI;QACV,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC;QACzC,IAAI,EAAE,SAAS;QACf,IAAI,EAAE,SAAS;QACf,KAAK;QACL,IAAI,EAAE,IAAI;QACV,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IACtC,MAAM,IAAI,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC;QACvC,IAAI,EAAE,KAAK;QACX,EAAE,EAAE,KAAK;QACT,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QAC1E,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QAChD,IAAI,EAAE,IAAI;QACV,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC;QACzC,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE;QACtB,KAAK;QACL,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,CAAC,MAAmB,EAAE,IAAY,EAAU,EAAE,CAAC,CAAC;QAC9D,IAAI,EAAE,SAAS;QACf,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE;QACxB,IAAI;QACJ,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,CAAC,KAAa,EAAY,EAAE,CACzC,UAAU,CAAC,IAAI,KAAK,MAAM;QACxB,CAAC,CAAC;YACE;gBACE,IAAI,EAAE,IAAI;gBACV,IAAI,EAAE;oBACJ,IAAI,EAAE,OAAO;oBACb,EAAE,EAAE,GAAG;oBACP,OAAO,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;oBACvE,IAAI,EAAE,IAAI;oBACV,GAAG;iBACJ;gBACD,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,cAAc;wBACpB,IAAI,EAAE,QAAQ;wBACd,OAAO,EACL,gFAAgF;wBAClF,GAAG;qBACJ;iBACF;gBACD,KAAK,EAAE,IAAI;gBACX,GAAG;aACJ;YACD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;SACrC;QACH,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,gBAAgB,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IACpF,MAAM,KAAK,GAAa;QACtB,OAAO,CACL,QAAQ,EACR,KAAK,CAAC;YACJ,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,cAAc;YAClB,IAAI,EAAE;gBACJ,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,UAAW,EAAE,MAAM,EAAE,GAAG,CAAC;gBACjD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;aACjD;YACD,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC,CACH;QACD,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACxC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACtD;YACE,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YAClE,IAAI,EAAE;gBACJ,OAAO,CAAC,MAAM,EAAE;oBACd,IAAI,EAAE,WAAW;oBACjB,KAAK,EAAE,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC;oBACnE,iBAAiB,EAAE,EAAE,UAAU,EAAE;oBACjC,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ,CAAC;gBACF;oBACE,IAAI,EAAE,IAAI;oBACV,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;oBACb,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;oBACtC,KAAK,EAAE;wBACL;4BACE,IAAI,EAAE,IAAI;4BACV,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;4BACb,IAAI,EAAE;gCACJ,OAAO,CAAC,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;gCAC9C;oCACE,IAAI,EAAE,IAAI;oCACV,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC;oCAC1B,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC;oCAClB,KAAK,EAAE;wCACL,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;wCAClC;4CACE,IAAI,EAAE,IAAI;4CACV,IAAI,EAAE,IAAI,EAAE;4CACZ,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;4CACpC,KAAK,EAAE,IAAI;4CACX,GAAG;yCACJ;qCACF;oCACD,GAAG;iCACJ;6BACF;4BACD,KAAK,EAAE;gCACL,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;gCAC3C;oCACE,IAAI,EAAE,IAAI;oCACV,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC;oCACxB,IAAI,EAAE;wCACJ,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;wCAC3C;4CACE,IAAI,EAAE,IAAI;4CACV,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;4CAC7E,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC;4CAC5D,KAAK,EAAE,IAAI;4CACX,GAAG;yCACJ;wCACD;4CACE,IAAI,EAAE,OAAO;4CACb,KAAK,EAAE;gDACL,IAAI,EAAE,SAAS;gDACf,EAAE,EAAE,WAAW;gDACf,IAAI,EAAE;oDACJ;wDACE,IAAI,EAAE,QAAQ;wDACd,KAAK,EAAE,iDAAiD;wDACxD,IAAI,EAAE,MAAM;wDACZ,GAAG;qDACJ;iDACF;gDACD,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE;gDACjD,GAAG;6CACJ;4CACD,GAAG;yCACJ;qCACF;oCACD,KAAK,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;oCACzC,GAAG;iCACJ;6BACF;4BACD,GAAG;yBACJ;qBACF;oBACD,GAAG;iBACJ;aACF;YACD,GAAG;SACJ;KACF,CAAC;IACF,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACzD,MAAM,MAAM,GACV,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM;QAClC,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,QAAQ,CAAC;QAC5D,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IAC7B,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,iBAAiB,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC;AAC7F,CAAC"}
+{"version":3,"file":"generator-delegation.js","sourceRoot":"","sources":["../../../src/frontend/lowering/generator-delegation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AACrE,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EACL,IAAI,EACJ,GAAG,EACH,GAAG,EACH,MAAM,EACN,IAAI,EACJ,eAAe,EAMf,UAAU,GACX,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAEtC,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAEnD,MAAM,eAAe,GAAG,iDAAiD,CAAC;AAE1E;;iEAEiE;AACjE,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,IAAwB,EACxB,MAAc;IAEd,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,SAAU,CAAC;IACnC,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC;IAC1C,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE,CAAC;QAC3C,IACE,IAAI,CAAC,IAAI,KAAK,MAAM;YACpB,IAAI,CAAC,IAAI,KAAK,YAAY;YAC1B,CAAC,eAAe,CACd,IAAI,EACJ,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAC9B,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAC/B,EACD,CAAC;YACD,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,uEAAuE,CACxE,CAAC;QACJ,CAAC;IACH,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,OAAO,GAAG,KAAK,EAAE,EAAE;QAC7C,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACpD,KAAK,CAAC,OAAO,GAAG,OAAO,CAAC;QACxB,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;IACpD,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,IAAI,CAAC,eAAe,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,IAAI,CAAC,eAAe,EAAE,IAAI,CAAC,CAAC;IACzC,MAAM,MAAM,GAAG,IAAI,CAAC,iBAAiB,CAAC,CAAC;IACvC,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,CAAC;IACzC,MAAM,MAAM,GAAG,IAAI,CAAC,gBAAgB,CAAC,CAAC;IACtC,MAAM,KAAK,GAAG,IAAI,CAAC,gBAAgB,CAAC,CAAC;IACrC,MAAM,GAAG,GAAG,CAAC,KAAa,EAAE,GAAW,EAAU,EAAE,CAAC,CAAC;QACnD,IAAI,EAAE,WAAW;QACjB,KAAK;QACL,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;QACtD,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC;QACxC,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,oBAAoB;QACxB,IAAI,EAAE,CAAC,KAAK,CAAC;QACb,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,CAAC,MAAc,EAAE,IAAc,EAAU,EAAE,CACtD,KAAK,CAAC;QACJ,IAAI,EAAE,SAAS;QACf,MAAM;QACN,QAAQ,EAAE,QAAQ,CAAC,GAAG;QACtB,UAAU,EAAE,iBAAiB;QAC7B,IAAI;QACJ,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC,CAAC;IACL,MAAM,IAAI,GAAG,GAAW,EAAE,CAAC,CAAC;QAC1B,IAAI,EAAE,SAAS;QACf,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC;QAC5B,IAAI,EAAE,IAAI;QACV,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC;QACzC,IAAI,EAAE,SAAS;QACf,IAAI,EAAE,SAAS;QACf,KAAK;QACL,IAAI,EAAE,IAAI;QACV,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IACtC,MAAM,IAAI,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC;QACvC,IAAI,EAAE,KAAK;QACX,EAAE,EAAE,KAAK;QACT,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QAC1E,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QAChD,IAAI,EAAE,IAAI;QACV,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC;QACzC,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE;QACtB,KAAK;QACL,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,CAAC,MAAmB,EAAE,IAAY,EAAU,EAAE,CAAC,CAAC;QAC9D,IAAI,EAAE,SAAS;QACf,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE;QACxB,IAAI;QACJ,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,CAAC,KAAa,EAAY,EAAE,CACzC,UAAU,CAAC,IAAI,KAAK,MAAM;QACxB,CAAC,CAAC;YACE;gBACE,IAAI,EAAE,IAAI;gBACV,IAAI,EAAE;oBACJ,IAAI,EAAE,OAAO;oBACb,EAAE,EAAE,GAAG;oBACP,OAAO,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;oBACvE,IAAI,EAAE,IAAI;oBACV,GAAG;iBACJ;gBACD,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,cAAc;wBACpB,IAAI,EAAE,QAAQ;wBACd,OAAO,EACL,gFAAgF;wBAClF,GAAG;qBACJ;iBACF;gBACD,KAAK,EAAE,IAAI;gBACX,GAAG;aACJ;YACD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;SACrC;QACH,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,gBAAgB,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IACpF,MAAM,KAAK,GAAa;QACtB,OAAO,CACL,QAAQ,EACR,KAAK,CAAC;YACJ,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,cAAc;YAClB,IAAI,EAAE;gBACJ,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,UAAW,EAAE,MAAM,EAAE,GAAG,CAAC;gBACjD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;aACjD;YACD,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC,CACH;QACD,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACxC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACtD;YACE,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YAClE,IAAI,EAAE;gBACJ,OAAO,CAAC,MAAM,EAAE;oBACd,IAAI,EAAE,WAAW;oBACjB,KAAK,EAAE,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC;oBACnE,iBAAiB,EAAE,EAAE,UAAU,EAAE;oBACjC,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ,CAAC;gBACF;oBACE,IAAI,EAAE,IAAI;oBACV,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;oBACb,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;oBACtC,KAAK,EAAE;wBACL;4BACE,IAAI,EAAE,IAAI;4BACV,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;4BACb,IAAI,EAAE;gCACJ,OAAO,CAAC,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;gCAC9C;oCACE,IAAI,EAAE,IAAI;oCACV,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC;oCAC1B,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC;oCAClB,KAAK,EAAE;wCACL,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;wCAClC;4CACE,IAAI,EAAE,IAAI;4CACV,IAAI,EAAE,IAAI,EAAE;4CACZ,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;4CACpC,KAAK,EAAE,IAAI;4CACX,GAAG;yCACJ;qCACF;oCACD,GAAG;iCACJ;6BACF;4BACD,KAAK,EAAE;gCACL,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;gCAC3C;oCACE,IAAI,EAAE,IAAI;oCACV,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC;oCACxB,IAAI,EAAE;wCACJ,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;wCAC3C;4CACE,IAAI,EAAE,IAAI;4CACV,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;4CAC7E,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC;4CAC5D,KAAK,EAAE,IAAI;4CACX,GAAG;yCACJ;wCACD;4CACE,IAAI,EAAE,OAAO;4CACb,KAAK,EAAE;gDACL,IAAI,EAAE,SAAS;gDACf,EAAE,EAAE,WAAW;gDACf,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;gDACrE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE;gDACjD,GAAG;6CACJ;4CACD,GAAG;yCACJ;qCACF;oCACD,KAAK,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;oCACzC,GAAG;iCACJ;6BACF;4BACD,GAAG;yBACJ;qBACF;oBACD,GAAG;iBACJ;aACF;YACD,GAAG;SACJ;KACF,CAAC;IACF,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACzD,MAAM,MAAM,GACV,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM;QAClC,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,QAAQ,CAAC;QAC5D,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IAC7B,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,iBAAiB,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC;AAC7F,CAAC;AAED;;;;;;4DAM4D;AAC5D,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,IAAwB,EACxB,MAAc;IAEd,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,SAAU,CAAC;IACnC,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC;IAC5B,MAAM,SAAS,GAAG,OAAO,CAAC,kBAAkB,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IACnE,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,iBAAiB,EAAE,GAAG,CAAC,CAAC;IAClE,MAAM,CAAC,OAAO,GAAG,IAAI,CAAC;IACtB,MAAM,GAAG,GAAG,GAAW,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;IAC7D,MAAM,EAAE,GAAG,GAAW,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACrD,MAAM,OAAO,GAAG,CAAC,EAAU,EAAU,EAAE,CAAC,CAAC;QACvC,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,MAAM,CAAC,EAAE;QAClB,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QACtE,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC;QACxC,IAAI,EAAE,KAAK;QACX,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,EAAE,EAAE;QACV,KAAK,EAAE,KAAK;QACZ,IAAI,EAAE,IAAI;QACV,GAAG;KACJ,CAAC,CAAC;IACH,sEAAsE;IACtE,0DAA0D;IAC1D,MAAM,IAAI,GAAG,CAAC,KAAa,EAAY,EAAE;QACvC,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACnE,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,gBAAgB,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;YACvE,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,KAAK,CAAC,EAAE;gBACjB,IAAI,EAAE,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,UAAW,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC;gBAC7D,GAAG;aACJ,CAAC,CAAC;YACH,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QAC9C,CAAC;QACD,OAAO;YACL,GAAG,MAAM;YACT;gBACE,IAAI,EAAE,UAAU;gBAChB,OAAO,EAAE;oBACP;wBACE,IAAI,EAAE,UAAU;wBAChB,IAAI,EAAE;4BACJ,IAAI,EAAE,WAAW;4BACjB,KAAK,EAAE,OAAO;4BACd,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK;4BACxD,GAAG;yBACJ;wBACD,GAAG;qBACJ;iBACF;gBACD,SAAS,EAAE;oBACT;wBACE,IAAI,EAAE,OAAO;wBACb,KAAK,EAAE;4BACL,IAAI,EAAE,SAAS;4BACf,EAAE,EAAE,WAAW;4BACf,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;4BACrE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE;4BACjD,GAAG;yBACJ;wBACD,GAAG;qBACJ;iBACF;gBACD,YAAY,EAAE,IAAI;gBAClB,WAAW,EAAE,IAAI;gBACjB,GAAG;aACJ;SACF,CAAC;IACJ,CAAC,CAAC;IACF,MAAM,KAAK,GAAa;QACtB,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;QAC7D,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE;KACnE,CAAC;IACF,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC7B,qEAAqE;QACrE,2DAA2D;QAC3D,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,SAAS;YACf,IAAI,EAAE;gBACJ,IAAI,EAAE,KAAK;gBACX,EAAE,EAAE,KAAK;gBACT,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;gBACrE,KAAK,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC;gBACrB,IAAI,EAAE,IAAI;gBACV,GAAG;aACJ;YACD,IAAI,EAAE,OAAO,CAAC,UAAU,CACtB,IAAI,CAAC,UAAW,EAChB,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,GAAG,EAAE,EACtE,GAAG,CAAC,MAAM,CACX;YACD,KAAK,EAAE,OAAO,CAAC,UAAU,CACvB,IAAI,CAAC,UAAW,EAChB,cAAc,CAAC,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,EACvD,GAAG,CAAC,MAAM,CACX;YACD,IAAI,EAAE,GAAG,CAAC,MAAM;YAChB,GAAG;SACJ,CAAC;QACF,MAAM,OAAO,GAAG,OAAO,CAAC,kBAAkB,CAAC,kBAAkB,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1E,KAAK,CAAC,IAAI,CAAC;YACT,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,KAAK,CAAC;gBACV,IAAI,EAAE,cAAc;gBACpB,MAAM,EAAE,QAAQ;gBAChB,QAAQ,EAAE,GAAG,EAAE;gBACf,IAAI,EAAE,EAAE;gBACR,IAAI,EAAE,GAAG;gBACT,GAAG;aACJ,CAAC;YACF,IAAI,EAAE;gBACJ,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;gBACzD,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;gBACvB,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;aAC5C;YACD,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;SAAM,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACrC,MAAM,EAAE,GAAG,OAAO,CAAC,kBAAkB,CAAC,kBAAkB,EAAE,MAAM,CAAC,CAAC;QAClE,MAAM,MAAM,GAAG,CAAC,QAAgB,EAAU,EAAE,CAAC,CAAC;YAC5C,IAAI,EAAE,cAAc;YACpB,MAAM,EAAE,QAAQ;YAChB,QAAQ;YACR,IAAI,EAAE,EAAE;YACR,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC,CAAC;QACH,KAAK,CAAC,IAAI,CAAC;YACT,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;YAC1B,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,SAAS;oBACf,OAAO,EAAE,EAAE,CAAC,EAAE;oBACd,IAAI,EAAE;wBACJ,IAAI,EAAE,cAAc;wBACpB,MAAM,EAAE,MAAM;wBACd,QAAQ,EAAE,GAAG,EAAE;wBACf,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;wBACZ,IAAI,EAAE,MAAM;wBACZ,GAAG;qBACJ;oBACD,GAAG;iBACJ;gBACD,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC;gBAC3C,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;aACpC;YACD,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;SAAM,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAC5D,MAAM,IAAI,GAAG,CAAC,MAAc,EAAE,IAAc,EAAE,IAAY,EAAU,EAAE,CACpE,OAAO,CAAC,IAAI,KAAK,KAAK;YACpB,CAAC,CAAC;gBACE,IAAI,EAAE,cAAc;gBACpB,MAAM,EAAE,MAA8B;gBACtC,QAAQ,EAAE,GAAG,EAAE;gBACf,IAAI;gBACJ,IAAI;gBACJ,GAAG;aACJ;YACH,CAAC,CAAC;gBACE,IAAI,EAAE,cAAc;gBACpB,MAAM,EAAE,MAA8B;gBACtC,QAAQ,EAAE,GAAG,EAAE;gBACf,IAAI;gBACJ,IAAI;gBACJ,GAAG;aACJ,CAAC;QACR,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC;QACjE,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC;QAChE,MAAM,GAAG,GAAG,GAAW,EAAE,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC9E,IAAI,OAAO,GAAW,GAAG,EAAE,CAAC;QAC5B,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC3B,MAAM,MAAM,GAAW;gBACrB,IAAI,EAAE,QAAQ;gBACd,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAC5B;oBACE,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE;oBACzB,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,KAAK,EAAE;iBACnC,EACD,IAAI,CACL;aACF,CAAC;YACF,OAAO,GAAG;gBACR,IAAI,EAAE,WAAW;gBACjB,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE;oBAC3B,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE;iBACrF;gBACD,IAAI,EAAE,MAAM;gBACZ,GAAG;aACJ,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,UAAU,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;QACjF,KAAK,CAAC,IAAI,CACR,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,GAAG,EAAE,EAC5D;YACE,IAAI,EAAE,UAAU;YAChB,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,OAAO;oBACb,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;oBACvC,IAAI,EAAE;wBACJ,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE;wBACvD,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;wBACvB;4BACE,IAAI,EAAE,IAAI;4BACV,IAAI,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC;4BAC1D,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC;4BACnB,KAAK,EAAE,IAAI;4BACX,GAAG;yBACJ;qBACF;oBACD,GAAG;iBACJ;aACF;YACD,SAAS,EAAE,IAAI;YACf,YAAY,EAAE,IAAI;YAClB,WAAW,EAAE,CAAC,IAAI,CAAC;YACnB,GAAG;SACJ,CACF,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACzD,MAAM,IAAI,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;IACnC,MAAM,MAAM,GACV,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACzF,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,iBAAiB,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC;AAC7F,CAAC"}

package/dist/frontend/lowering/lifetime-regions.d.ts

@@ -0,0 +1,11 @@
+import type { IrExpr, IrType } from "../../ir/ir.js";
+import * as ts from "../ts7/adapter.js";
+import type { Lowerer } from "./lowerer.js";
+export declare const LIFETIME_REGION_CLASS = "%LifetimeRegion";
+/** The LifetimeRegion instance type, registering the class (and its
+ * constructor) on first use. */
+export declare function lifetimeRegionType(lowerer: Lowerer): IrType;
+/** `new LifetimeRegion()`. */
+export declare function lowerLifetimeRegionNew(lowerer: Lowerer, expr: ts.NewExpression): IrExpr | null;
+/** `region.run(fn)` and `region.release()`. */
+export declare function lowerLifetimeRegionCall(lowerer: Lowerer, expr: ts.CallExpression): IrExpr | null;

package/dist/frontend/lowering/lifetime-regions.js

@@ -0,0 +1,216 @@
+/* LifetimeRegion (@scriptc/experimental): an allocation context for
+ * ProgramLifetime instances (backend/llvm/regions.ts, scr_region.c).
+ *
+ * A LifetimeRegion value is an instance of the synthetic class
+ * `%LifetimeRegion` whose one private field holds the runtime region id, so
+ * it has the identity, typeof and inspection of the Node.js class (whose
+ * instances have no own properties). The surface lowers at its use sites:
+ * - `new LifetimeRegion()` constructs the class; its constructor creates
+ *   the region (region.create);
+ * - `region.run(fn)` calls an interned helper per callback type that
+ *   enters the region, calls `fn`, and leaves it in a `finally`, so the
+ *   region is left however `fn` completes;
+ * - `region.release()` condemns the region (region.release).
+ * Any other use of the class or its methods as values is refused. The
+ * module is marked lifetimeRegions, which moves every ProgramLifetime
+ * class into counted regions. */
+import { F64, VOID, funcOf, typeKey } from "../../ir/ir.js";
+import { experimentalImportOf, lifetimeRegionMemberOf } from "../experimental-import.js";
+import * as ts from "../ts7/adapter.js";
+import { locOf } from "../program.js";
+export const LIFETIME_REGION_CLASS = "%LifetimeRegion";
+const REGION_FIELD = "#region";
+const BUILTIN_LOC = { file: "<builtin>", start: 0, end: 0 };
+/** The LifetimeRegion instance type, registering the class (and its
+ * constructor) on first use. */
+export function lifetimeRegionType(lowerer) {
+    const type = { kind: "object", className: LIFETIME_REGION_CLASS };
+    if (lowerer.classes.has(LIFETIME_REGION_CLASS))
+        return type;
+    const info = {
+        def: {
+            name: LIFETIME_REGION_CLASS,
+            fields: [{ name: REGION_FIELD, type: F64 }],
+            loc: BUILTIN_LOC,
+        },
+        fields: new Map(),
+        fieldOrder: [],
+        methods: new Map(),
+        decl: null,
+        lifetimeRegion: true,
+        ctor: null,
+        ctorParams: [],
+        base: null,
+        subclasses: [],
+        throwingSetters: [],
+        staticFields: [],
+    };
+    lowerer.classes.set(LIFETIME_REGION_CLASS, info);
+    lowerer.usesLifetimeRegions = true;
+    const self = { kind: "varRef", localId: "this.0", type, loc: BUILTIN_LOC };
+    lowerer.liftedFns.push({
+        name: `%${LIFETIME_REGION_CLASS}.constructor`,
+        params: [{ localId: "this.0", name: "this", type }],
+        returnType: VOID,
+        locals: [{ id: "this.0", name: "this", type, mutable: false }],
+        body: [
+            {
+                kind: "fieldSet",
+                obj: self,
+                className: LIFETIME_REGION_CLASS,
+                field: REGION_FIELD,
+                value: { kind: "intrinsic", name: "region.create", args: [], type: F64, loc: BUILTIN_LOC },
+                loc: BUILTIN_LOC,
+            },
+        ],
+        loc: BUILTIN_LOC,
+    });
+    return type;
+}
+/** `new LifetimeRegion()`. */
+export function lowerLifetimeRegionNew(lowerer, expr) {
+    if (!ts.isIdentifier(expr.expression))
+        return null;
+    if (experimentalImportOf(lowerer.program, expr.expression) !== "LifetimeRegion")
+        return null;
+    if ((expr.arguments?.length ?? 0) !== 0)
+        lowerer.noLowering(`new LifetimeRegion with ${expr.arguments.length} arguments`, expr);
+    const type = lifetimeRegionType(lowerer);
+    return { kind: "new", className: LIFETIME_REGION_CLASS, args: [], type, loc: locOf(expr) };
+}
+/** `region.run(fn)` and `region.release()`. */
+export function lowerLifetimeRegionCall(lowerer, expr) {
+    const callee = expr.expression;
+    if (!ts.isPropertyAccessExpression(callee))
+        return null;
+    const member = lifetimeRegionMemberOf(lowerer.program, callee, lowerer.experimentalFiles);
+    if (member === null)
+        return null;
+    // `region?.release()`: the optional-chain lowering binds the receiver
+    // and dispatches the call again (optional-chains.ts).
+    if (callee.questionDotToken !== undefined && !lowerer.chainHandled.has(callee))
+        return null;
+    const loc = locOf(expr);
+    const type = lifetimeRegionType(lowerer);
+    if (expr.questionDotToken !== undefined)
+        lowerer.noLowering(`LifetimeRegion.${member}?.() calls`, expr, `call region.${member}() directly`);
+    const region = lowerer.coerceInto(callee.expression, lowerer.lowerExpr(callee.expression), type);
+    if (member === "release") {
+        if (expr.arguments.length !== 0)
+            lowerer.noLowering(`LifetimeRegion.release with ${expr.arguments.length} arguments`, expr);
+        return {
+            kind: "intrinsic",
+            name: "region.release",
+            args: [
+                {
+                    kind: "fieldGet",
+                    obj: region,
+                    className: LIFETIME_REGION_CLASS,
+                    field: REGION_FIELD,
+                    type: F64,
+                    loc,
+                },
+            ],
+            type: VOID,
+            loc,
+        };
+    }
+    const arg = expr.arguments[0];
+    if (expr.arguments.length !== 1 || arg === undefined || ts.isSpreadElement(arg))
+        lowerer.noLowering(`LifetimeRegion.run with ${expr.arguments.length} arguments`, expr);
+    const resultTs = lowerer.typeOf(expr);
+    const mapped = resultTs.flags & ts.TypeFlags.Void ? VOID : lowerer.mapTypeOf(resultTs);
+    if (mapped === null)
+        lowerer.badType(expr, resultTs);
+    const ret = mapped;
+    const fnType = funcOf([], ret);
+    const fn = lowerer.coerceInto(arg, lowerer.lowerExpr(arg), fnType);
+    return {
+        kind: "call",
+        callee: runHelper(lowerer, fnType, loc),
+        args: [region, fn],
+        type: ret,
+        loc,
+    };
+}
+/** The interned `%LifetimeRegion.run.<n>` helper for one callback type:
+ *
+ *     const id = region.#region;
+ *     region.enter(id);
+ *     try { return fn(); } finally { region.leave(); }
+ */
+function runHelper(lowerer, fnType, loc) {
+    const key = typeKey(fnType);
+    const known = lowerer.regionRunHelpers.get(key);
+    if (known !== undefined)
+        return known;
+    const name = `%${LIFETIME_REGION_CLASS}.run.${lowerer.regionRunHelpers.size}`;
+    lowerer.regionRunHelpers.set(key, name);
+    const regionT = lifetimeRegionType(lowerer);
+    const ret = fnType.ret;
+    const ref = (localId, type) => ({ kind: "varRef", localId, type, loc });
+    const call = { kind: "callValue", callee: ref("fn.0", fnType), args: [], type: ret, loc };
+    const guarded = ret.kind === "void"
+        ? [
+            { kind: "exprStmt", expr: call, loc },
+            { kind: "return", value: null, loc },
+        ]
+        : [{ kind: "return", value: call, loc }];
+    const fn = {
+        name,
+        params: [
+            { localId: "region.0", name: "region", type: regionT },
+            { localId: "fn.0", name: "fn", type: fnType },
+        ],
+        returnType: ret,
+        locals: [
+            { id: "region.0", name: "region", type: regionT, mutable: false },
+            { id: "fn.0", name: "fn", type: fnType, mutable: false },
+            { id: "id.0", name: "id", type: F64, mutable: false },
+        ],
+        body: [
+            {
+                kind: "varDecl",
+                localId: "id.0",
+                init: {
+                    kind: "fieldGet",
+                    obj: ref("region.0", regionT),
+                    className: LIFETIME_REGION_CLASS,
+                    field: REGION_FIELD,
+                    type: F64,
+                    loc,
+                },
+                loc,
+            },
+            {
+                kind: "exprStmt",
+                expr: {
+                    kind: "intrinsic",
+                    name: "region.enter",
+                    args: [ref("id.0", F64)],
+                    type: VOID,
+                    loc,
+                },
+                loc,
+            },
+            {
+                kind: "tryCatch",
+                tryBody: guarded,
+                catchBody: null,
+                catchLocalId: null,
+                finallyBody: [
+                    {
+                        kind: "exprStmt",
+                        expr: { kind: "intrinsic", name: "region.leave", args: [], type: VOID, loc },
+                        loc,
+                    },
+                ],
+                loc,
+            },
+        ],
+        loc,
+    };
+    lowerer.liftedFns.push(fn);
+    return name;
+}
+//# sourceMappingURL=lifetime-regions.js.map

package/dist/frontend/lowering/lifetime-regions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lifetime-regions.js","sourceRoot":"","sources":["../../../src/frontend/lowering/lifetime-regions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;iCAeiC;AACjC,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AAE5D,OAAO,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACzF,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAGxC,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAEtC,MAAM,CAAC,MAAM,qBAAqB,GAAG,iBAAiB,CAAC;AACvD,MAAM,YAAY,GAAG,SAAS,CAAC;AAE/B,MAAM,WAAW,GAAW,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAEpE;gCACgC;AAChC,MAAM,UAAU,kBAAkB,CAAC,OAAgB;IACjD,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,qBAAqB,EAAE,CAAC;IAC1E,IAAI,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,qBAAqB,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5D,MAAM,IAAI,GAAc;QACtB,GAAG,EAAE;YACH,IAAI,EAAE,qBAAqB;YAC3B,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YAC3C,GAAG,EAAE,WAAW;SACjB;QACD,MAAM,EAAE,IAAI,GAAG,EAAE;QACjB,UAAU,EAAE,EAAE;QACd,OAAO,EAAE,IAAI,GAAG,EAAE;QAClB,IAAI,EAAE,IAAI;QACV,cAAc,EAAE,IAAI;QACpB,IAAI,EAAE,IAAI;QACV,UAAU,EAAE,EAAE;QACd,IAAI,EAAE,IAAI;QACV,UAAU,EAAE,EAAE;QACd,eAAe,EAAE,EAAE;QACnB,YAAY,EAAE,EAAE;KACjB,CAAC;IACF,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,qBAAqB,EAAE,IAAI,CAAC,CAAC;IACjD,OAAO,CAAC,mBAAmB,GAAG,IAAI,CAAC;IACnC,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;IACnF,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;QACrB,IAAI,EAAE,IAAI,qBAAqB,cAAc;QAC7C,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;QACnD,UAAU,EAAE,IAAI;QAChB,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QAC9D,IAAI,EAAE;YACJ;gBACE,IAAI,EAAE,UAAU;gBAChB,GAAG,EAAE,IAAI;gBACT,SAAS,EAAE,qBAAqB;gBAChC,KAAK,EAAE,YAAY;gBACnB,KAAK,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,WAAW,EAAE;gBAC1F,GAAG,EAAE,WAAW;aACjB;SACF;QACD,GAAG,EAAE,WAAW;KACjB,CAAC,CAAC;IACH,OAAO,IAAI,CAAC;AACd,CAAC;AAED,8BAA8B;AAC9B,MAAM,UAAU,sBAAsB,CAAC,OAAgB,EAAE,IAAsB;IAC7E,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IACnD,IAAI,oBAAoB,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,KAAK,gBAAgB;QAAE,OAAO,IAAI,CAAC;IAC7F,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC;QACrC,OAAO,CAAC,UAAU,CAAC,2BAA2B,IAAI,CAAC,SAAU,CAAC,MAAM,YAAY,EAAE,IAAI,CAAC,CAAC;IAC1F,MAAM,IAAI,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;IACzC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,qBAAqB,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;AAC7F,CAAC;AAED,+CAA+C;AAC/C,MAAM,UAAU,uBAAuB,CAAC,OAAgB,EAAE,IAAuB;IAC/E,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;IAC/B,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACxD,MAAM,MAAM,GAAG,sBAAsB,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,iBAAiB,CAAC,CAAC;IAC1F,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACjC,sEAAsE;IACtE,sDAAsD;IACtD,IAAI,MAAM,CAAC,gBAAgB,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5F,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,IAAI,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;IACzC,IAAI,IAAI,CAAC,gBAAgB,KAAK,SAAS;QACrC,OAAO,CAAC,UAAU,CAChB,kBAAkB,MAAM,YAAY,EACpC,IAAI,EACJ,eAAe,MAAM,aAAa,CACnC,CAAC;IACJ,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,CAAC;IACjG,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;YAC7B,OAAO,CAAC,UAAU,CAAC,+BAA+B,IAAI,CAAC,SAAS,CAAC,MAAM,YAAY,EAAE,IAAI,CAAC,CAAC;QAC7F,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,gBAAgB;YACtB,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,UAAU;oBAChB,GAAG,EAAE,MAAM;oBACX,SAAS,EAAE,qBAAqB;oBAChC,KAAK,EAAE,YAAY;oBACnB,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;aACF;YACD,IAAI,EAAE,IAAI;YACV,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAC9B,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,KAAK,SAAS,IAAI,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC;QAC7E,OAAO,CAAC,UAAU,CAAC,2BAA2B,IAAI,CAAC,SAAS,CAAC,MAAM,YAAY,EAAE,IAAI,CAAC,CAAC;IACzF,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACtC,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACvF,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACrD,MAAM,GAAG,GAAG,MAAO,CAAC;IACpB,MAAM,MAAM,GAAG,MAAM,CAAC,EAAE,EAAE,GAAG,CAA8B,CAAC;IAC5D,MAAM,EAAE,GAAG,OAAO,CAAC,UAAU,CAAC,GAAI,EAAE,OAAO,CAAC,SAAS,CAAC,GAAI,CAAC,EAAE,MAAM,CAAC,CAAC;IACrE,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,SAAS,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC;QACvC,IAAI,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC;QAClB,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,SAAS,SAAS,CAAC,OAAgB,EAAE,MAAiC,EAAE,GAAW;IACjF,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAC5B,MAAM,KAAK,GAAG,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAChD,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACtC,MAAM,IAAI,GAAG,IAAI,qBAAqB,QAAQ,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,CAAC;IAC9E,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACxC,MAAM,OAAO,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;IAC5C,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC;IACvB,MAAM,GAAG,GAAG,CAAC,OAAe,EAAE,IAAY,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;IAChG,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IAClG,MAAM,OAAO,GACX,GAAG,CAAC,IAAI,KAAK,MAAM;QACjB,CAAC,CAAC;YACE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YACrC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;SACrC;QACH,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;IAC7C,MAAM,EAAE,GAAe;QACrB,IAAI;QACJ,MAAM,EAAE;YACN,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE;YACtD,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE;SAC9C;QACD,UAAU,EAAE,GAAG;QACf,MAAM,EAAE;YACN,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE;YACjE,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE;YACxD,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE;SACtD;QACD,IAAI,EAAE;YACJ;gBACE,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,MAAM;gBACf,IAAI,EAAE;oBACJ,IAAI,EAAE,UAAU;oBAChB,GAAG,EAAE,GAAG,CAAC,UAAU,EAAE,OAAO,CAAC;oBAC7B,SAAS,EAAE,qBAAqB;oBAChC,KAAK,EAAE,YAAY;oBACnB,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;gBACD,GAAG;aACJ;YACD;gBACE,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE;oBACJ,IAAI,EAAE,WAAW;oBACjB,IAAI,EAAE,cAAc;oBACpB,IAAI,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;oBACxB,IAAI,EAAE,IAAI;oBACV,GAAG;iBACJ;gBACD,GAAG;aACJ;YACD;gBACE,IAAI,EAAE,UAAU;gBAChB,OAAO,EAAE,OAAO;gBAChB,SAAS,EAAE,IAAI;gBACf,YAAY,EAAE,IAAI;gBAClB,WAAW,EAAE;oBACX;wBACE,IAAI,EAAE,UAAU;wBAChB,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;wBAC5E,GAAG;qBACJ;iBACF;gBACD,GAAG;aACJ;SACF;QACD,GAAG;KACJ,CAAC;IACF,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC3B,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/frontend/lowering/lower-array-sort.d.ts

@@ -1,3 +1,29 @@
-import { type IrFunction, type IrType, type SrcLoc } from "../../ir/ir.js";
-export declare function buildArraySortFn(name: string, elem: IrType, arity: number, copyFirst: boolean, undefinedTag: number | null, loc: SrcLoc, native?: boolean): IrFunction;
+import { type IrExpr, type IrFunction, type IrType, type SrcLoc } from "../../ir/ir.js";
+type SortKeyRead = IrExpr & {
+    kind: "recordGet" | "fieldGet";
+};
+/** A comparator that orders by one number: the elements themselves or one
+ * field of each, ascending or descending. */
+export interface SortKeyOrder {
+    /** 1 for ascending, -1 for descending. */
+    order: 1 | -1;
+    /** The field read over the comparator's first parameter, or null when
+     * the elements are the numbers. */
+    read: SortKeyRead | null;
+}
+/** Recognizes the lifted body of a capture-free numeric comparator:
+ * `(a, b) => a - b`, `b - a`, `a < b ? -1 : a > b ? 1 : 0` (either test
+ * first, either sign), or any of them over one number field of both
+ * parameters (`a.k - b.k`). Such a comparator runs no user code, cannot
+ * throw, and is consistent over numbers other than NaN, so the runtime may
+ * order the elements by their keys without calling it. */
+export declare function recognizeKeyComparator(fn: IrFunction): SortKeyOrder | null;
+/** The key reader of a recognized field comparator: `(x) => x.k`, the same
+ * field read as the comparator's. */
+export declare function buildSortKeyFn(name: string, elem: IrType, read: SortKeyRead, loc: SrcLoc): IrFunction;
+export declare function buildArraySortFn(name: string, elem: IrType, arity: number, copyFirst: boolean, undefinedTag: number | null, loc: SrcLoc, native?: boolean, keyed?: {
+    order: 1 | -1;
+    key: boolean;
+} | null): IrFunction;
 export declare function buildBytesSortFn(name: string, arity: number, hasComparator: boolean, loc: SrcLoc): IrFunction;
+export {};