@scriptc/compiler 0.3.2 → 0.3.4

package/dist/frontend/lowering/intern-tables.js

@@ -0,0 +1,536 @@
+/* InternTable (@scriptc/experimental): named, append-only tables of
+ * published values that every thread shares (scr_itable.c).
+ *
+ * An InternTable value is an instance of the synthetic class
+ * `%InternTable` whose one private field holds the runtime table handle,
+ * so it has the identity, typeof and inspection of the Node.js class (whose
+ * state is private). One class serves every instantiation: the key and
+ * value types come from the checker at each use. The surface lowers at its
+ * use sites:
+ * - `new InternTable<K, V>("name")` constructs the class; its constructor
+ *   opens the table (itable.open). The name must be a string literal, and
+ *   every construction of one name must use the same type arguments: all
+ *   threads of the process share the table, so its value layout is one.
+ * - `table.has(k)` is itable.find, `table.size` is itable.size;
+ * - `get`, `getOrInsert` and `getOrInsertComputed` call an interned helper
+ *   per (member, key type, value type) that finds the key's entry, inserts
+ *   the published value when there is none (threads.publish, so the
+ *   publication analysis guards stores into the value's types), and reads
+ *   the entry's value (itable.value). `getOrInsertComputed` with a
+ *   function expression lowers in place instead, and creates the callback
+ *   only when the key has no entry; an arrow function with an expression
+ *   body is not created at all: its body is lowered in place.
+ * The entry handles that itable.find and itable.insert answer stay inside
+ * these lowerings: f64 locals that only reach toBool and itable.value.
+ * Any other use of the class or its members as values is refused. */
+import { dynUndefinedExpr } from "../../ir/build.js";
+import { BOOL, F64, STRING, funcOf, typeKey } from "../../ir/ir.js";
+import { experimentalImportOf, internTableMemberOf, } from "../experimental-import.js";
+import { InternalCompilerError } from "../../errors.js";
+import * as ts from "../ts7/adapter.js";
+import { locOf } from "../program.js";
+export const INTERN_TABLE_CLASS = "%InternTable";
+const TABLE_FIELD = "#table";
+const BUILTIN_LOC = { file: "<builtin>", start: 0, end: 0 };
+/** The runtime key kind of a key type (scr_itable.h SCR_ITABLE_KEY_*):
+ * strings, numbers, and arrays of numbers or of strings. */
+function keyKind(key) {
+    if (key.kind === "string")
+        return 0;
+    if (key.kind === "f64")
+        return 1;
+    if (key.kind === "array" && key.elem.kind === "f64")
+        return 2;
+    if (key.kind === "array" && key.elem.kind === "string")
+        return 3;
+    return null;
+}
+/** Value types a table stores: the publishable Map value types. */
+const VALUE_KINDS = new Set([
+    "f64",
+    "bool",
+    "string",
+    "bigint",
+    "array",
+    "map",
+    "set",
+    "record",
+    "object",
+    "union",
+    "dyn",
+]);
+/** The InternTable instance type, registering the class (and its
+ * constructor) on first use. */
+export function internTableType(lowerer) {
+    const type = { kind: "object", className: INTERN_TABLE_CLASS };
+    if (lowerer.classes.has(INTERN_TABLE_CLASS))
+        return type;
+    const info = {
+        def: {
+            name: INTERN_TABLE_CLASS,
+            fields: [{ name: TABLE_FIELD, type: F64 }],
+            loc: BUILTIN_LOC,
+        },
+        fields: new Map(),
+        fieldOrder: [],
+        methods: new Map(),
+        decl: null,
+        internTable: true,
+        ctor: null,
+        ctorParams: [
+            { type: STRING, mode: "required" },
+            { type: F64, mode: "required" },
+        ],
+        base: null,
+        subclasses: [],
+        throwingSetters: [],
+        staticFields: [],
+    };
+    lowerer.classes.set(INTERN_TABLE_CLASS, info);
+    const ref = (localId, t) => ({
+        kind: "varRef",
+        localId,
+        type: t,
+        loc: BUILTIN_LOC,
+    });
+    lowerer.liftedFns.push({
+        name: `%${INTERN_TABLE_CLASS}.constructor`,
+        params: [
+            { localId: "this.0", name: "this", type },
+            { localId: "name.0", name: "name", type: STRING },
+            { localId: "kind.0", name: "kind", type: F64 },
+        ],
+        returnType: { kind: "void" },
+        locals: [
+            { id: "this.0", name: "this", type, mutable: false },
+            { id: "name.0", name: "name", type: STRING, mutable: false },
+            { id: "kind.0", name: "kind", type: F64, mutable: false },
+        ],
+        body: [
+            {
+                kind: "fieldSet",
+                obj: ref("this.0", type),
+                className: INTERN_TABLE_CLASS,
+                field: TABLE_FIELD,
+                value: {
+                    kind: "intrinsic",
+                    name: "itable.open",
+                    args: [ref("name.0", STRING), ref("kind.0", F64)],
+                    type: F64,
+                    loc: BUILTIN_LOC,
+                },
+                loc: BUILTIN_LOC,
+            },
+        ],
+        loc: BUILTIN_LOC,
+    });
+    return type;
+}
+/** The key and value types of an InternTable<K, V> checker type. */
+function tableTypes(lowerer, type, blame) {
+    const parts = type.isUnionType() ? ts.constituentTypes(type) : [type];
+    const table = parts.find((p) => p.getSymbol()?.name === "InternTable");
+    const args = table ? lowerer.checker.getTypeArguments(table) : [];
+    if (args.length !== 2)
+        lowerer.noLowering("InternTable without type arguments", blame);
+    const key = lowerer.mapTypeOf(args[0]);
+    if (key === null || keyKind(key) === null)
+        lowerer.unsupported("SC1090", blame, `'${lowerer.checker.typeToString(args[0])}' as an InternTable key type`, "use string or number keys, or arrays of numbers or of strings");
+    const value = lowerer.mapTypeOf(args[1]);
+    if (value === null || !VALUE_KINDS.has(value.kind))
+        lowerer.unsupported("SC1090", blame, `'${lowerer.checker.typeToString(args[1])}' as an InternTable value type`, "store numbers, booleans, strings, bigints, arrays, Maps, Sets, objects and class instances");
+    return { key: key, value: value };
+}
+/** `new InternTable<K, V>("name")`. */
+export function lowerInternTableNew(lowerer, expr) {
+    if (!ts.isIdentifier(expr.expression))
+        return null;
+    if (experimentalImportOf(lowerer.program, expr.expression) !== "InternTable")
+        return null;
+    const args = expr.arguments ?? [];
+    const arg = args[0];
+    if (args.length !== 1 || arg === undefined || ts.isSpreadElement(arg))
+        lowerer.noLowering(`new InternTable with ${args.length} arguments`, expr);
+    if (!ts.isStringLiteral(arg) && !ts.isNoSubstitutionTemplateLiteral(arg))
+        lowerer.unsupported("SC1090", arg, "InternTable names other than string literals", "name the table with a string literal: every thread that opens the name shares the table");
+    const name = arg.text;
+    const types = tableTypes(lowerer, lowerer.typeOf(expr), expr);
+    const signature = `${typeKey(types.key)}|${typeKey(types.value)}`;
+    const known = lowerer.internTableNames.get(name);
+    if (known === undefined)
+        lowerer.internTableNames.set(name, { key: signature, node: expr });
+    else if (known.key !== signature)
+        lowerer.unsupported("SC1090", expr, `opening InternTable ${JSON.stringify(name)} with different type arguments than its first construction`, "every construction of one table name must use the same key and value types");
+    const loc = locOf(expr);
+    return {
+        kind: "new",
+        className: INTERN_TABLE_CLASS,
+        args: [
+            { kind: "strLit", value: name, type: STRING, loc },
+            { kind: "numLit", value: keyKind(types.key), type: F64, loc },
+        ],
+        type: internTableType(lowerer),
+        loc,
+    };
+}
+function handleOf(table, loc) {
+    return {
+        kind: "fieldGet",
+        obj: table,
+        className: INTERN_TABLE_CLASS,
+        field: TABLE_FIELD,
+        type: F64,
+        loc,
+    };
+}
+function find(handle, key, loc) {
+    return { kind: "intrinsic", name: "itable.find", args: [handle, key], type: F64, loc };
+}
+/** The receiver of an InternTable member access, as a table value. */
+function receiverOf(lowerer, access) {
+    return lowerer.coerceInto(access.expression, lowerer.lowerExpr(access.expression), internTableType(lowerer));
+}
+/** `table.size`, and the refusal of members used as values. */
+export function lowerInternTableProperty(lowerer, expr) {
+    const member = internTableMemberOf(lowerer.program, expr, lowerer.experimentalFiles);
+    if (member === null)
+        return null;
+    if (member !== "size")
+        lowerer.noLowering(`InternTable.${member} (@scriptc/experimental) as a value`, expr, `call table.${member}(...) directly`);
+    if (expr.questionDotToken !== undefined && !lowerer.chainHandled.has(expr))
+        return null;
+    const loc = locOf(expr);
+    return {
+        kind: "intrinsic",
+        name: "itable.size",
+        args: [handleOf(receiverOf(lowerer, expr), loc)],
+        type: F64,
+        loc,
+    };
+}
+/** `table.get(k)`, `has`, `getOrInsert` and `getOrInsertComputed`. */
+export function lowerInternTableCall(lowerer, expr) {
+    const callee = expr.expression;
+    if (!ts.isPropertyAccessExpression(callee))
+        return null;
+    const member = internTableMemberOf(lowerer.program, callee, lowerer.experimentalFiles);
+    if (member === null || member === "size")
+        return null;
+    // `table?.get(k)`: 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);
+    if (expr.questionDotToken !== undefined)
+        lowerer.noLowering(`InternTable.${member}?.() calls`, expr, `call table.${member}() directly`);
+    const arity = member === "get" || member === "has" ? 1 : 2;
+    if (expr.arguments.length !== arity || expr.arguments.some((a) => ts.isSpreadElement(a)))
+        lowerer.noLowering(`InternTable.${member} with ${expr.arguments.length} arguments`, expr);
+    const types = tableTypes(lowerer, lowerer.typeOf(callee.expression), expr);
+    const table = receiverOf(lowerer, callee);
+    const keyNode = expr.arguments[0];
+    const key = lowerer.coerceInto(keyNode, lowerer.lowerExpr(keyNode), types.key);
+    if (member === "has")
+        return { kind: "toBool", operand: find(handleOf(table, loc), key, loc), type: BOOL, loc };
+    if (member === "get") {
+        const resultTs = lowerer.typeOf(expr);
+        const result = lowerer.mapTypeOf(resultTs);
+        if (result === null)
+            lowerer.badType(expr, resultTs);
+        return {
+            kind: "call",
+            callee: getHelper(lowerer, types, result),
+            args: [table, key],
+            type: result,
+            loc,
+        };
+    }
+    const valueNode = expr.arguments[1];
+    const expected = member === "getOrInsert" ? types.value : funcOf([types.key], types.value);
+    if (member === "getOrInsertComputed" &&
+        (ts.isArrowFunction(valueNode) || ts.isFunctionExpression(valueNode)))
+        return lowerComputedInline(lowerer, table, key, valueNode, types, expected, loc);
+    const value = lowerer.coerceInto(valueNode, lowerer.lowerExpr(valueNode), expected);
+    return {
+        kind: "call",
+        callee: insertHelper(lowerer, member, types, expected),
+        args: [table, key, value],
+        type: types.value,
+        loc,
+    };
+}
+/** `table.getOrInsertComputed(key, () => ...)` with a function expression:
+ *
+ *     const t = table, k = key, e = itable.find(t.#table, k);
+ *     e ? itable.value(e) : itable.value(itable.insert(t.#table, k, publish(callback(k))))
+ *
+ * Creating a function has no observable effect, so the callback's closure
+ * is created only when the key has no entry, and a hit allocates nothing.
+ * An arrow function with an expression body is lowered in place instead
+ * (inlineArrowBody). */
+function lowerComputedInline(lowerer, table, key, callbackNode, types, callbackType, loc) {
+    const tableT = internTableType(lowerer);
+    const tableLocal = lowerer.declareHiddenLocal("%internTable", tableT);
+    const keyLocal = lowerer.declareHiddenLocal("%internKey", types.key);
+    const entryLocal = lowerer.declareHiddenLocal("%internEntry", F64);
+    const ref = (localId, type) => ({ kind: "varRef", localId, type, loc });
+    const handle = () => handleOf(ref(tableLocal.id, tableT), loc);
+    const computed = inlineArrowBody(lowerer, callbackNode, ref(keyLocal.id, types.key), types.value) ?? {
+        kind: "callValue",
+        callee: lowerer.coerceInto(callbackNode, lowerer.lowerExpr(callbackNode), callbackType),
+        args: [ref(keyLocal.id, types.key)],
+        type: types.value,
+        loc,
+    };
+    const inserted = {
+        kind: "intrinsic",
+        name: "itable.insert",
+        args: [
+            handle(),
+            ref(keyLocal.id, types.key),
+            { kind: "intrinsic", name: "threads.publish", args: [computed], type: types.value, loc },
+        ],
+        type: F64,
+        loc,
+    };
+    const valueOf = (entry) => ({
+        kind: "intrinsic",
+        name: "itable.value",
+        args: [entry],
+        type: types.value,
+        loc,
+    });
+    return {
+        kind: "seqExpr",
+        stmts: [
+            { kind: "varDecl", localId: tableLocal.id, init: table, loc },
+            { kind: "varDecl", localId: keyLocal.id, init: key, loc },
+            {
+                kind: "varDecl",
+                localId: entryLocal.id,
+                init: find(handle(), ref(keyLocal.id, types.key), loc),
+                loc,
+            },
+        ],
+        result: {
+            kind: "ternary",
+            cond: { kind: "toBool", operand: ref(entryLocal.id, F64), type: BOOL, loc },
+            then: valueOf(ref(entryLocal.id, F64)),
+            else_: valueOf(inserted),
+            type: types.value,
+            loc,
+        },
+        type: types.value,
+        loc,
+    };
+}
+/** Whether `node` contains a function or class, whose captures of the
+ * inlined parameter would need a closure after all. */
+function containsFunction(node) {
+    if (ts.isFunctionLike(node) || ts.isClassLikeDeclaration(node))
+        return true;
+    return ts.forEachChild(node, (child) => (containsFunction(child) ? true : undefined)) === true;
+}
+/** The body of `() => value` or `(k) => value`, lowered where the callback
+ * would be called, with the parameter bound to the key. Calling a fresh
+ * arrow function at once is evaluating its body there with its parameter
+ * bound, so no closure is created. Other callbacks answer null. */
+function inlineArrowBody(lowerer, node, key, value) {
+    if (!ts.isArrowFunction(node) || ts.isBlock(node.body))
+        return null;
+    if (node.modifiers?.some((m) => m.kind === ts.SyntaxKind.AsyncKeyword))
+        return null;
+    const param = node.parameters[0];
+    if (node.parameters.length > 1 ||
+        (param !== undefined &&
+            (!ts.isIdentifier(param.name) ||
+                param.initializer !== undefined ||
+                param.dotDotDotToken !== undefined)))
+        return null;
+    if (containsFunction(node.body))
+        return null;
+    const body = node.body;
+    const loc = locOf(node);
+    lowerer.scopes.push(new Map());
+    try {
+        const stmts = [];
+        if (param !== undefined) {
+            const paramTs = lowerer.typeOf(param);
+            const paramType = lowerer.mapTypeOf(paramTs);
+            if (paramType === null)
+                lowerer.badType(param, paramTs);
+            const local = lowerer.declareLocal(param.name, param.name.text, paramType, false);
+            stmts.push({
+                kind: "varDecl",
+                localId: local.id,
+                init: lowerer.coerceToExpected(key, paramType),
+                loc,
+            });
+        }
+        const result = lowerer.coerceInto(body, lowerer.lowerExpr(body), value);
+        return stmts.length === 0 ? result : { kind: "seqExpr", stmts, result, type: value, loc };
+    }
+    finally {
+        lowerer.scopes.pop();
+    }
+}
+function helperName(lowerer, member, signature) {
+    return lowerer.internTableHelpers.get(`${member}|${signature}`) ?? null;
+}
+function registerHelper(lowerer, member, signature) {
+    const name = `%${INTERN_TABLE_CLASS}.${member}.${lowerer.internTableHelpers.size}`;
+    lowerer.internTableHelpers.set(`${member}|${signature}`, name);
+    return name;
+}
+/** `get` for one (key, result) type pair:
+ *
+ *     const e = itable.find(table.#table, key);
+ *     if (e) return itable.value(e);
+ *     return undefined;
+ */
+function getHelper(lowerer, types, result) {
+    const signature = `${typeKey(types.key)}|${typeKey(types.value)}|${typeKey(result)}`;
+    const known = helperName(lowerer, "get", signature);
+    if (known !== null)
+        return known;
+    const name = registerHelper(lowerer, "get", signature);
+    const loc = BUILTIN_LOC;
+    const tableT = internTableType(lowerer);
+    const ref = (localId, type) => ({ kind: "varRef", localId, type, loc });
+    const value = {
+        kind: "intrinsic",
+        name: "itable.value",
+        args: [ref("e.0", F64)],
+        type: types.value,
+        loc,
+    };
+    const absent = result.kind === "dyn" ? dynUndefinedExpr(loc) : lowerer.wrappedUndefined(result, loc);
+    if (absent === null)
+        throw new InternalCompilerError(`InternTable.get result ${typeKey(result)} has no undefined`);
+    const fn = {
+        name,
+        params: [
+            { localId: "table.0", name: "table", type: tableT },
+            { localId: "key.0", name: "key", type: types.key },
+        ],
+        returnType: result,
+        locals: [
+            { id: "table.0", name: "table", type: tableT, mutable: false },
+            { id: "key.0", name: "key", type: types.key, mutable: false },
+            { id: "e.0", name: "e", type: F64, mutable: false },
+        ],
+        body: [
+            {
+                kind: "varDecl",
+                localId: "e.0",
+                init: find(handleOf(ref("table.0", tableT), loc), ref("key.0", types.key), loc),
+                loc,
+            },
+            {
+                kind: "if",
+                cond: { kind: "toBool", operand: ref("e.0", F64), type: BOOL, loc },
+                then: [{ kind: "return", value: lowerer.coerceToExpected(value, result), loc }],
+                else_: null,
+                loc,
+            },
+            { kind: "return", value: absent, loc },
+        ],
+        loc,
+    };
+    lowerer.liftedFns.push(fn);
+    return name;
+}
+/** `getOrInsert` and `getOrInsertComputed` for one (key, value) type pair:
+ *
+ *     let e = itable.find(table.#table, key);
+ *     if (!e) e = itable.insert(table.#table, key, publish(value));
+ *     return itable.value(e);
+ *
+ * where `value` is the argument, or `callback(key)`. */
+function insertHelper(lowerer, member, types, argType) {
+    const signature = `${typeKey(types.key)}|${typeKey(types.value)}`;
+    const known = helperName(lowerer, member, signature);
+    if (known !== null)
+        return known;
+    const name = registerHelper(lowerer, member, signature);
+    const loc = BUILTIN_LOC;
+    const tableT = internTableType(lowerer);
+    const ref = (localId, type) => ({ kind: "varRef", localId, type, loc });
+    const handle = () => handleOf(ref("table.0", tableT), loc);
+    const computed = member === "getOrInsert"
+        ? ref("value.0", argType)
+        : {
+            kind: "callValue",
+            callee: ref("value.0", argType),
+            args: [ref("key.0", types.key)],
+            type: types.value,
+            loc,
+        };
+    const insert = {
+        kind: "assign",
+        localId: "e.0",
+        value: {
+            kind: "intrinsic",
+            name: "itable.insert",
+            args: [
+                handle(),
+                ref("key.0", types.key),
+                { kind: "intrinsic", name: "threads.publish", args: [computed], type: types.value, loc },
+            ],
+            type: F64,
+            loc,
+        },
+        loc,
+    };
+    const fn = {
+        name,
+        params: [
+            { localId: "table.0", name: "table", type: tableT },
+            { localId: "key.0", name: "key", type: types.key },
+            { localId: "value.0", name: member === "getOrInsert" ? "value" : "callback", type: argType },
+        ],
+        returnType: types.value,
+        locals: [
+            { id: "table.0", name: "table", type: tableT, mutable: false },
+            { id: "key.0", name: "key", type: types.key, mutable: false },
+            {
+                id: "value.0",
+                name: member === "getOrInsert" ? "value" : "callback",
+                type: argType,
+                mutable: false,
+            },
+            { id: "e.0", name: "e", type: F64, mutable: true },
+        ],
+        body: [
+            { kind: "varDecl", localId: "e.0", init: find(handle(), ref("key.0", types.key), loc), loc },
+            {
+                kind: "if",
+                cond: {
+                    kind: "unary",
+                    op: "!",
+                    operand: { kind: "toBool", operand: ref("e.0", F64), type: BOOL, loc },
+                    type: BOOL,
+                    loc,
+                },
+                then: [insert],
+                else_: null,
+                loc,
+            },
+            {
+                kind: "return",
+                value: {
+                    kind: "intrinsic",
+                    name: "itable.value",
+                    args: [ref("e.0", F64)],
+                    type: types.value,
+                    loc,
+                },
+                loc,
+            },
+        ],
+        loc,
+    };
+    lowerer.liftedFns.push(fn);
+    return name;
+}
+//# sourceMappingURL=intern-tables.js.map

package/dist/frontend/lowering/intern-tables.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"intern-tables.js","sourceRoot":"","sources":["../../../src/frontend/lowering/intern-tables.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;qEAwBqE;AACrE,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AAEpE,OAAO,EAEL,oBAAoB,EACpB,mBAAmB,GACpB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAGxC,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAEtC,MAAM,CAAC,MAAM,kBAAkB,GAAG,cAAc,CAAC;AACjD,MAAM,WAAW,GAAG,QAAQ,CAAC;AAE7B,MAAM,WAAW,GAAW,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAEpE;4DAC4D;AAC5D,SAAS,OAAO,CAAC,GAAW;IAC1B,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC;IACpC,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,CAAC,CAAC;IACjC,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,CAAC,CAAC;IAC9D,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC;IACjE,OAAO,IAAI,CAAC;AACd,CAAC;AAED,mEAAmE;AACnE,MAAM,WAAW,GAAG,IAAI,GAAG,CAAiB;IAC1C,KAAK;IACL,MAAM;IACN,QAAQ;IACR,QAAQ;IACR,OAAO;IACP,KAAK;IACL,KAAK;IACL,QAAQ;IACR,QAAQ;IACR,OAAO;IACP,KAAK;CACN,CAAC,CAAC;AAEH;gCACgC;AAChC,MAAM,UAAU,eAAe,CAAC,OAAgB;IAC9C,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,kBAAkB,EAAE,CAAC;IACvE,IAAI,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC;QAAE,OAAO,IAAI,CAAC;IACzD,MAAM,IAAI,GAAc;QACtB,GAAG,EAAE;YACH,IAAI,EAAE,kBAAkB;YACxB,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YAC1C,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,WAAW,EAAE,IAAI;QACjB,IAAI,EAAE,IAAI;QACV,UAAU,EAAE;YACV,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE;YAClC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE;SAChC;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,kBAAkB,EAAE,IAAI,CAAC,CAAC;IAC9C,MAAM,GAAG,GAAG,CAAC,OAAe,EAAE,CAAS,EAAU,EAAE,CAAC,CAAC;QACnD,IAAI,EAAE,QAAQ;QACd,OAAO;QACP,IAAI,EAAE,CAAC;QACP,GAAG,EAAE,WAAW;KACjB,CAAC,CAAC;IACH,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;QACrB,IAAI,EAAE,IAAI,kBAAkB,cAAc;QAC1C,MAAM,EAAE;YACN,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE;YACzC,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE;YACjD,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE;SAC/C;QACD,UAAU,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;QAC5B,MAAM,EAAE;YACN,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE;YACpD,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE;YAC5D,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE;SAC1D;QACD,IAAI,EAAE;YACJ;gBACE,IAAI,EAAE,UAAU;gBAChB,GAAG,EAAE,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC;gBACxB,SAAS,EAAE,kBAAkB;gBAC7B,KAAK,EAAE,WAAW;gBAClB,KAAK,EAAE;oBACL,IAAI,EAAE,WAAW;oBACjB,IAAI,EAAE,aAAa;oBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;oBACjD,IAAI,EAAE,GAAG;oBACT,GAAG,EAAE,WAAW;iBACjB;gBACD,GAAG,EAAE,WAAW;aACjB;SACF;QACD,GAAG,EAAE,WAAW;KACjB,CAAC,CAAC;IACH,OAAO,IAAI,CAAC;AACd,CAAC;AAOD,oEAAoE;AACpE,SAAS,UAAU,CAAC,OAAgB,EAAE,IAAa,EAAE,KAAc;IACjE,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACtE,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,EAAE,EAAE,IAAI,KAAK,aAAa,CAAC,CAAC;IACvE,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,gBAAgB,CAAC,KAAyB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACtF,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,UAAU,CAAC,oCAAoC,EAAE,KAAK,CAAC,CAAC;IACvF,MAAM,GAAG,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;IACxC,IAAI,GAAG,KAAK,IAAI,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,IAAI;QACvC,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,KAAK,EACL,IAAI,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,8BAA8B,EACxE,+DAA+D,CAChE,CAAC;IACJ,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;IAC1C,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;QAChD,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,KAAK,EACL,IAAI,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,gCAAgC,EAC1E,4FAA4F,CAC7F,CAAC;IACJ,OAAO,EAAE,GAAG,EAAE,GAAI,EAAE,KAAK,EAAE,KAAM,EAAE,CAAC;AACtC,CAAC;AAED,uCAAuC;AACvC,MAAM,UAAU,mBAAmB,CAAC,OAAgB,EAAE,IAAsB;IAC1E,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,aAAa;QAAE,OAAO,IAAI,CAAC;IAC1F,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC;IAClC,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,KAAK,SAAS,IAAI,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC;QACnE,OAAO,CAAC,UAAU,CAAC,wBAAwB,IAAI,CAAC,MAAM,YAAY,EAAE,IAAI,CAAC,CAAC;IAC5E,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,GAAI,CAAC,IAAI,CAAC,EAAE,CAAC,+BAA+B,CAAC,GAAI,CAAC;QACxE,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,GAAI,EACJ,8CAA8C,EAC9C,yFAAyF,CAC1F,CAAC;IACJ,MAAM,IAAI,GAAI,GAAwB,CAAC,IAAI,CAAC;IAC5C,MAAM,KAAK,GAAG,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;IAC9D,MAAM,SAAS,GAAG,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;IAClE,MAAM,KAAK,GAAG,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACjD,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;SACvF,IAAI,KAAK,CAAC,GAAG,KAAK,SAAS;QAC9B,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,uBAAuB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,4DAA4D,EACvG,4EAA4E,CAC7E,CAAC;IACJ,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,OAAO;QACL,IAAI,EAAE,KAAK;QACX,SAAS,EAAE,kBAAkB;QAC7B,IAAI,EAAE;YACJ,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;YAClD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,GAAG,CAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;SAC/D;QACD,IAAI,EAAE,eAAe,CAAC,OAAO,CAAC;QAC9B,GAAG;KACJ,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CAAC,KAAa,EAAE,GAAW;IAC1C,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,GAAG,EAAE,KAAK;QACV,SAAS,EAAE,kBAAkB;QAC7B,KAAK,EAAE,WAAW;QAClB,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;AACJ,CAAC;AAED,SAAS,IAAI,CAAC,MAAc,EAAE,GAAW,EAAE,GAAW;IACpD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AACzF,CAAC;AAED,sEAAsE;AACtE,SAAS,UAAU,CAAC,OAAgB,EAAE,MAAmC;IACvE,OAAO,OAAO,CAAC,UAAU,CACvB,MAAM,CAAC,UAAU,EACjB,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,EACpC,eAAe,CAAC,OAAO,CAAC,CACzB,CAAC;AACJ,CAAC;AAED,+DAA+D;AAC/D,MAAM,UAAU,wBAAwB,CACtC,OAAgB,EAChB,IAAiC;IAEjC,MAAM,MAAM,GAAG,mBAAmB,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,iBAAiB,CAAC,CAAC;IACrF,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACjC,IAAI,MAAM,KAAK,MAAM;QACnB,OAAO,CAAC,UAAU,CAChB,eAAe,MAAM,qCAAqC,EAC1D,IAAI,EACJ,cAAc,MAAM,gBAAgB,CACrC,CAAC;IACJ,IAAI,IAAI,CAAC,gBAAgB,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACxF,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,IAAI,EAAE,aAAa;QACnB,IAAI,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC;QAChD,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;AACJ,CAAC;AAED,sEAAsE;AACtE,MAAM,UAAU,oBAAoB,CAAC,OAAgB,EAAE,IAAuB;IAC5E,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,mBAAmB,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,iBAAiB,CAAC,CAAC;IACvF,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IACtD,sEAAsE;IACtE,kDAAkD;IAClD,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,IAAI,IAAI,CAAC,gBAAgB,KAAK,SAAS;QACrC,OAAO,CAAC,UAAU,CAAC,eAAe,MAAM,YAAY,EAAE,IAAI,EAAE,cAAc,MAAM,aAAa,CAAC,CAAC;IACjG,MAAM,KAAK,GAAG,MAAM,KAAK,KAAK,IAAI,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3D,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,KAAK,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACtF,OAAO,CAAC,UAAU,CAAC,eAAe,MAAM,SAAS,IAAI,CAAC,SAAS,CAAC,MAAM,YAAY,EAAE,IAAI,CAAC,CAAC;IAC5F,MAAM,KAAK,GAAG,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,CAAC;IAC3E,MAAM,KAAK,GAAG,UAAU,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC1C,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;IACnC,MAAM,GAAG,GAAG,OAAO,CAAC,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;IAC/E,IAAI,MAAM,KAAK,KAAK;QAClB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAC5F,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;QACrB,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACtC,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QAC3C,IAAI,MAAM,KAAK,IAAI;YAAE,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACrD,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,MAAO,CAAC;YAC1C,IAAI,EAAE,CAAC,KAAK,EAAE,GAAG,CAAC;YAClB,IAAI,EAAE,MAAO;YACb,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;IACrC,MAAM,QAAQ,GAAG,MAAM,KAAK,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAC3F,IACE,MAAM,KAAK,qBAAqB;QAChC,CAAC,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,SAAS,CAAC,CAAC;QAErE,OAAO,mBAAmB,CAAC,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;IACnF,MAAM,KAAK,GAAG,OAAO,CAAC,UAAU,CAAC,SAAS,EAAE,OAAO,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,QAAQ,CAAC,CAAC;IACpF,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,YAAY,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,CAAC;QACtD,IAAI,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC;QACzB,IAAI,EAAE,KAAK,CAAC,KAAK;QACjB,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;;;;;;;wBAQwB;AACxB,SAAS,mBAAmB,CAC1B,OAAgB,EAChB,KAAa,EACb,GAAW,EACX,YAA2B,EAC3B,KAAiB,EACjB,YAAoB,EACpB,GAAW;IAEX,MAAM,MAAM,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;IACxC,MAAM,UAAU,GAAG,OAAO,CAAC,kBAAkB,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;IACtE,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,CAAC,YAAY,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;IACrE,MAAM,UAAU,GAAG,OAAO,CAAC,kBAAkB,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC;IACnE,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,MAAM,GAAG,GAAW,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC;IACvE,MAAM,QAAQ,GAAW,eAAe,CACtC,OAAO,EACP,YAAY,EACZ,GAAG,CAAC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,GAAG,CAAC,EAC3B,KAAK,CAAC,KAAK,CACZ,IAAI;QACH,IAAI,EAAE,WAAW;QACjB,MAAM,EAAE,OAAO,CAAC,UAAU,CAAC,YAAY,EAAE,OAAO,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE,YAAY,CAAC;QACvF,IAAI,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;QACnC,IAAI,EAAE,KAAK,CAAC,KAAK;QACjB,GAAG;KACJ,CAAC;IACF,MAAM,QAAQ,GAAW;QACvB,IAAI,EAAE,WAAW;QACjB,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE;YACJ,MAAM,EAAE;YACR,GAAG,CAAC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,GAAG,CAAC;YAC3B,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE;SACzF;QACD,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;IACF,MAAM,OAAO,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC;QAC1C,IAAI,EAAE,WAAW;QACjB,IAAI,EAAE,cAAc;QACpB,IAAI,EAAE,CAAC,KAAK,CAAC;QACb,IAAI,EAAE,KAAK,CAAC,KAAK;QACjB,GAAG;KACJ,CAAC,CAAC;IACH,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK,EAAE;YACL,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE;YAC7D,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YACzD;gBACE,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,UAAU,CAAC,EAAE;gBACtB,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC;gBACtD,GAAG;aACJ;SACF;QACD,MAAM,EAAE;YACN,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,CAAC,UAAU,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YAC3E,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;YACtC,KAAK,EAAE,OAAO,CAAC,QAAQ,CAAC;YACxB,IAAI,EAAE,KAAK,CAAC,KAAK;YACjB,GAAG;SACJ;QACD,IAAI,EAAE,KAAK,CAAC,KAAK;QACjB,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;uDACuD;AACvD,SAAS,gBAAgB,CAAC,IAAa;IACrC,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5E,OAAO,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,KAAK,IAAI,CAAC;AACjG,CAAC;AAED;;;mEAGmE;AACnE,SAAS,eAAe,CACtB,OAAgB,EAChB,IAAmB,EACnB,GAAW,EACX,KAAa;IAEb,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACpE,IAAI,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC;QAAE,OAAO,IAAI,CAAC;IACpF,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IACjC,IACE,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC;QAC1B,CAAC,KAAK,KAAK,SAAS;YAClB,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC;gBAC3B,KAAK,CAAC,WAAW,KAAK,SAAS;gBAC/B,KAAK,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC;QAExC,OAAO,IAAI,CAAC;IACd,IAAI,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7C,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC;IAC/B,IAAI,CAAC;QACH,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACtC,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;YAC7C,IAAI,SAAS,KAAK,IAAI;gBAAE,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;YACxD,MAAM,KAAK,GAAG,OAAO,CAAC,YAAY,CAChC,KAAK,CAAC,IAAI,EACT,KAAK,CAAC,IAAsB,CAAC,IAAI,EAClC,SAAU,EACV,KAAK,CACN,CAAC;YACF,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,KAAK,CAAC,EAAE;gBACjB,IAAI,EAAE,OAAO,CAAC,gBAAgB,CAAC,GAAG,EAAE,SAAU,CAAC;gBAC/C,GAAG;aACJ,CAAC,CAAC;QACL,CAAC;QACD,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;QACxE,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;IAC5F,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IACvB,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,OAAgB,EAAE,MAAyB,EAAE,SAAiB;IAChF,OAAO,OAAO,CAAC,kBAAkB,CAAC,GAAG,CAAC,GAAG,MAAM,IAAI,SAAS,EAAE,CAAC,IAAI,IAAI,CAAC;AAC1E,CAAC;AAED,SAAS,cAAc,CAAC,OAAgB,EAAE,MAAyB,EAAE,SAAiB;IACpF,MAAM,IAAI,GAAG,IAAI,kBAAkB,IAAI,MAAM,IAAI,OAAO,CAAC,kBAAkB,CAAC,IAAI,EAAE,CAAC;IACnF,OAAO,CAAC,kBAAkB,CAAC,GAAG,CAAC,GAAG,MAAM,IAAI,SAAS,EAAE,EAAE,IAAI,CAAC,CAAC;IAC/D,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,SAAS,SAAS,CAAC,OAAgB,EAAE,KAAiB,EAAE,MAAc;IACpE,MAAM,SAAS,GAAG,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;IACrF,MAAM,KAAK,GAAG,UAAU,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;IACpD,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IACjC,MAAM,IAAI,GAAG,cAAc,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;IACvD,MAAM,GAAG,GAAG,WAAW,CAAC;IACxB,MAAM,MAAM,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;IACxC,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,KAAK,GAAW;QACpB,IAAI,EAAE,WAAW;QACjB,IAAI,EAAE,cAAc;QACpB,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACvB,IAAI,EAAE,KAAK,CAAC,KAAK;QACjB,GAAG;KACJ,CAAC;IACF,MAAM,MAAM,GACV,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IACxF,IAAI,MAAM,KAAK,IAAI;QACjB,MAAM,IAAI,qBAAqB,CAAC,0BAA0B,OAAO,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC;IAChG,MAAM,EAAE,GAAe;QACrB,IAAI;QACJ,MAAM,EAAE;YACN,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE;YACnD,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,GAAG,EAAE;SACnD;QACD,UAAU,EAAE,MAAM;QAClB,MAAM,EAAE;YACN,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE;YAC9D,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE;YAC7D,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE;SACpD;QACD,IAAI,EAAE;YACJ;gBACE,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,KAAK;gBACd,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC;gBAC/E,GAAG;aACJ;YACD;gBACE,IAAI,EAAE,IAAI;gBACV,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;gBACnE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,gBAAgB,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC;gBAC/E,KAAK,EAAE,IAAI;gBACX,GAAG;aACJ;YACD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE;SACvC;QACD,GAAG;KACJ,CAAC;IACF,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC3B,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;wDAMwD;AACxD,SAAS,YAAY,CACnB,OAAgB,EAChB,MAA6C,EAC7C,KAAiB,EACjB,OAAe;IAEf,MAAM,SAAS,GAAG,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;IAClE,MAAM,KAAK,GAAG,UAAU,CAAC,OAAO,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;IACrD,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IACjC,MAAM,IAAI,GAAG,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;IACxD,MAAM,GAAG,GAAG,WAAW,CAAC;IACxB,MAAM,MAAM,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;IACxC,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,MAAM,GAAG,GAAW,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC;IACnE,MAAM,QAAQ,GACZ,MAAM,KAAK,aAAa;QACtB,CAAC,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC;QACzB,CAAC,CAAC;YACE,IAAI,EAAE,WAAW;YACjB,MAAM,EAAE,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC;YAC/B,IAAI,EAAE,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;YAC/B,IAAI,EAAE,KAAK,CAAC,KAAK;YACjB,GAAG;SACJ,CAAC;IACR,MAAM,MAAM,GAAW;QACrB,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,KAAK;QACd,KAAK,EAAE;YACL,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE;gBACJ,MAAM,EAAE;gBACR,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC;gBACvB,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE;aACzF;YACD,IAAI,EAAE,GAAG;YACT,GAAG;SACJ;QACD,GAAG;KACJ,CAAC;IACF,MAAM,EAAE,GAAe;QACrB,IAAI;QACJ,MAAM,EAAE;YACN,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE;YACnD,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,GAAG,EAAE;YAClD,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,KAAK,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE;SAC7F;QACD,UAAU,EAAE,KAAK,CAAC,KAAK;QACvB,MAAM,EAAE;YACN,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE;YAC9D,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE;YAC7D;gBACE,EAAE,EAAE,SAAS;gBACb,IAAI,EAAE,MAAM,KAAK,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU;gBACrD,IAAI,EAAE,OAAO;gBACb,OAAO,EAAE,KAAK;aACf;YACD,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE;SACnD;QACD,IAAI,EAAE;YACJ,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE;YAC5F;gBACE,IAAI,EAAE,IAAI;gBACV,IAAI,EAAE;oBACJ,IAAI,EAAE,OAAO;oBACb,EAAE,EAAE,GAAG;oBACP,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;oBACtE,IAAI,EAAE,IAAI;oBACV,GAAG;iBACJ;gBACD,IAAI,EAAE,CAAC,MAAM,CAAC;gBACd,KAAK,EAAE,IAAI;gBACX,GAAG;aACJ;YACD;gBACE,IAAI,EAAE,QAAQ;gBACd,KAAK,EAAE;oBACL,IAAI,EAAE,WAAW;oBACjB,IAAI,EAAE,cAAc;oBACpB,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;oBACvB,IAAI,EAAE,KAAK,CAAC,KAAK;oBACjB,GAAG;iBACJ;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

@@ -18,6 +18,9 @@ export interface SortKeyOrder {
  * 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 order of a comparator closure: a zero-capture closure (not a
+ * signature adapter) over a lifted function recognizeKeyComparator accepts. */
+export declare function closureKeyOrder(liftedFns: readonly IrFunction[], closure: IrExpr): 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;
@@ -25,5 +28,13 @@ export declare function buildArraySortFn(name: string, elem: IrType, arity: numb
     order: 1 | -1;
     key: boolean;
 } | null): IrFunction;
-export declare function buildBytesSortFn(name: string, arity: number, hasComparator: boolean, loc: SrcLoc): IrFunction;
+/** Typed-array `sort` and `toSorted`. `toSorted` orders a private copy;
+ * `sort` orders the receiver and returns it. Without a comparator, and for a
+ * recognized numeric comparator's `order`, the runtime sorts the elements by
+ * value (sortNumeric). Other comparators, and a recognized one the runtime
+ * refuses (a NaN or -0 element), take the runtime comparator sort
+ * (sortCompare). */
+export declare function buildBytesSortFn(name: string, type: IrType & {
+    kind: "bytes";
+}, arity: number, hasComparator: boolean, copyFirst: boolean, order: 1 | -1 | null, loc: SrcLoc): IrFunction;
 export {};