@scriptc/compiler 0.2.3 → 0.2.5

package/dist/frontend/lowering/builtins/url.js

@@ -0,0 +1,596 @@
+import { nodeThrowExpr, countedFor, strLit, varRef, dynUndefinedExpr } from "../../../ir/build.js";
+import * as ts from "../../ts7/adapter.js";
+import { own } from "../lowerer.js";
+import { locOf } from "../../program.js";
+import { lowerDynObjectLiteral } from "../expressions/object-literals.js";
+import { tryLowerExpression } from "../expressions/try-lower-expression.js";
+import { BOOL, DYN, F64, NULL_T, SEARCH_PARAMS_T, STRING, VOID, arrayOf, funcOf, isUnitType, typeKey, } from "../../../ir/ir.js";
+import { optionalStringTags } from "./arguments.js";
+import {} from "../surfaces.js";
+/** URL component assignment captures its receiver and RHS once, and yields
+ * the original RHS after the setter performs string conversion. */
+export function lowerUrlAssignment(lowerer, expr) {
+    let target = expr.left;
+    while (ts.isParenthesizedExpression(target))
+        target = target.expression;
+    if ((!ts.isPropertyAccessExpression(target) && !ts.isElementAccessExpression(target)) ||
+        target.questionDotToken)
+        return null;
+    const receiverType = lowerer.typeOf(target.expression);
+    const native = lowerer.mapTypeOf(receiverType)?.kind === "url";
+    if (!native && !(receiverType.flags & (ts.TypeFlags.Any | ts.TypeFlags.Unknown)))
+        return null;
+    const receiver = native
+        ? lowerer.lowerExpr(target.expression)
+        : tryLowerExpression(lowerer, target.expression);
+    if (!receiver || receiver.type.kind !== "url")
+        return null;
+    const name = ts.isPropertyAccessExpression(target)
+        ? target.name.text
+        : lowerer.foldedStringKeyOf(target.argumentExpression);
+    const getters = {
+        href: "url.href",
+        pathname: "url.pathname",
+        search: "url.search",
+        hash: "url.hash",
+        protocol: "url.protocol",
+        username: "url.username",
+        password: "url.password",
+        host: "url.host",
+        hostname: "url.hostname",
+        port: "url.port",
+    };
+    if (name === null || name === undefined || !Object.hasOwn(getters, name)) {
+        lowerer.unsupported("SC1090", target, "URL assignments to read-only members or runtime property keys");
+    }
+    const op = expr.operatorToken.kind;
+    if (op !== ts.SyntaxKind.EqualsToken && op !== ts.SyntaxKind.PlusEqualsToken) {
+        lowerer.unsupported("SC1090", expr, "URL setter assignment operators beyond = and +=");
+    }
+    const loc = locOf(expr);
+    const recv = lowerer.declareHiddenLocal("%urlReceiver", receiver.type);
+    const recvRef = varRef(recv.id, receiver.type, loc);
+    const stmts = [{ kind: "varDecl", localId: recv.id, init: receiver, loc }];
+    let prior = null;
+    if (op === ts.SyntaxKind.PlusEqualsToken) {
+        const old = lowerer.declareHiddenLocal("%urlOld", STRING);
+        const fn = getters[name];
+        stmts.push({
+            kind: "varDecl",
+            localId: old.id,
+            init: { kind: "libCall", fn, args: [recvRef], type: STRING, loc },
+            loc,
+        });
+        prior = varRef(old.id, STRING, loc);
+    }
+    const raw = lowerer.lowerExpr(expr.right);
+    if (prior &&
+        raw.type.kind !== "string" &&
+        raw.type.kind !== "f64" &&
+        raw.type.kind !== "bool" &&
+        raw.type.kind !== "bigint" &&
+        !isUnitType(raw.type)) {
+        lowerer.unsupported("SC1090", expr.right, "URL += operands requiring object-to-primitive conversion (assign an explicit string)");
+    }
+    const value = lowerer.declareHiddenLocal("%urlValue", raw.type);
+    stmts.push({ kind: "varDecl", localId: value.id, init: raw, loc });
+    const valueRef = varRef(value.id, raw.type, loc);
+    let result = valueRef;
+    let assigned = valueRef;
+    if (prior) {
+        const text = raw.type.kind === "string"
+            ? valueRef
+            : {
+                kind: "libCall",
+                fn: "dyn.toStringCoerce",
+                args: [lowerer.coerceInto(expr.right, valueRef, DYN)],
+                type: STRING,
+                loc,
+            };
+        const joined = lowerer.declareHiddenLocal("%urlJoined", STRING);
+        stmts.push({
+            kind: "varDecl",
+            localId: joined.id,
+            init: { kind: "strConcat", left: prior, right: text, type: STRING, loc },
+            loc,
+        });
+        result = varRef(joined.id, STRING, loc);
+        assigned = result;
+    }
+    const checked = !prior && raw.type.kind !== "string";
+    stmts.push({
+        kind: "exprStmt",
+        expr: {
+            kind: "libCall",
+            fn: checked ? "url.setChecked" : "url.set",
+            args: [
+                recvRef,
+                strLit(name, loc),
+                checked ? lowerer.coerceInto(expr.right, valueRef, DYN) : assigned,
+            ],
+            type: VOID,
+            loc,
+        },
+        loc,
+    });
+    return { kind: "seqExpr", stmts, result, type: result.type, loc };
+}
+/** Method calls on URL-typed receivers: `u.toString()` and `u.toJSON()` are Node's href
+ * serialization (the href getter's libCall). Everything else the lib
+ * declares fences member-qualified. Null for non-URL receivers. */
+export function lowerUrlMethodCall(lowerer, call, access) {
+    if (call.questionDotToken || access.questionDotToken)
+        return null;
+    if (lowerer.mapTypeOf(lowerer.typeOf(access.expression))?.kind !== "url")
+        return null;
+    if (!lowerer.isStdlibMember(access))
+        return null;
+    const name = access.name.text;
+    if ((name === "toString" || name === "toJSON") && call.arguments.length === 0) {
+        const receiver = lowerer.lowerExpr(access.expression);
+        return { kind: "libCall", fn: "url.href", args: [receiver], type: STRING, loc: locOf(call) };
+    }
+    lowerer.noLowering(`URL.${name}`, call, "protocol, origin, username, password, pathname, href, host, hostname, port, search, hash, searchParams, toString(), and toJSON() are the supported URL members", lowerer.checker.getSymbolAtLocation(access.name));
+}
+/** `new URLSearchParams(init?)` — the WHATWG constructor's lowered init
+ * shapes: omitted / literal `undefined` (empty list), a string (parsed,
+ * one leading '?' strips), another URLSearchParams (snapshot copy — a
+ * `u.searchParams` argument included), a string[][] value (pairs;
+ * Node's ERR_INVALID_TUPLE TypeError on a non-pair row, thrown by the
+ * runtime), and an OBJECT LITERAL (each property appends in source
+ * order — folded to a sp.with chain at compile time; keys are the
+ * record-literal key forms, values coerce as strings). Tuple-typed pair
+ * arrays and unions keep named fences. */
+export function lowerSearchParamsNew(lowerer, expr, loc) {
+    const args = expr.arguments ?? [];
+    if (args.length > 1) {
+        lowerer.noLowering(`new URLSearchParams with ${args.length} arguments`, expr, "one init argument is the WHATWG surface");
+    }
+    const arg = args[0];
+    if (arg === undefined || (ts.isIdentifier(arg) && arg.text === "undefined")) {
+        return { kind: "libCall", fn: "sp.new", args: [], type: SEARCH_PARAMS_T, loc };
+    }
+    // The object-literal init: `{ a: "1", b: "2" }` appends pairs in
+    // source order — fold to nested sp.with calls over the empty list.
+    // Only plain property assignments (tsc's index-signature contextual
+    // type already rejects spreads' surprises, but keep the fence tight).
+    if (ts.isObjectLiteralExpression(arg)) {
+        let acc = { kind: "libCall", fn: "sp.new", args: [], type: SEARCH_PARAMS_T, loc };
+        for (const prop of arg.properties) {
+            if (!ts.isPropertyAssignment(prop) || prop.name === undefined) {
+                lowerer.unsupported("SC1090", prop, "URLSearchParams record inits with spreads, accessors, or shorthand entries");
+            }
+            let key;
+            if (ts.isIdentifier(prop.name) || ts.isStringLiteral(prop.name)) {
+                key = prop.name.text;
+            }
+            else {
+                lowerer.unsupported("SC1090", prop.name, "non-literal keys in a URLSearchParams record init");
+            }
+            const value = lowerer.lowerExprExpecting(prop.initializer, STRING);
+            const keyExpr = { kind: "strLit", value: key, type: STRING, loc: locOf(prop.name) };
+            acc = {
+                kind: "libCall",
+                fn: "sp.with",
+                args: [acc, keyExpr, value],
+                type: SEARCH_PARAMS_T,
+                loc,
+            };
+        }
+        return acc;
+    }
+    const init = lowerer.lowerExpr(arg);
+    if (init.type.kind === "dyn") {
+        return { kind: "libCall", fn: "sp.newChecked", args: [init], type: SEARCH_PARAMS_T, loc };
+    }
+    if (init.type.kind === "string") {
+        return { kind: "libCall", fn: "sp.parse", args: [init], type: SEARCH_PARAMS_T, loc };
+    }
+    const optionalString = lowerOptionalStringSearchParams(lowerer, init, loc);
+    if (optionalString)
+        return optionalString;
+    if (init.type.kind === "searchParams") {
+        // Node ITERATES the source list — the copy is a snapshot, not a
+        // live alias (mutating the copy never touches the source or its
+        // URL).
+        return { kind: "libCall", fn: "sp.copy", args: [init], type: SEARCH_PARAMS_T, loc };
+    }
+    if (init.type.kind === "array" &&
+        init.type.elem.kind === "array" &&
+        init.type.elem.elem.kind === "string") {
+        return { kind: "libCall", fn: "sp.fromPairs", args: [init], type: SEARCH_PARAMS_T, loc };
+    }
+    if (init.type.kind === "array" && init.type.elem.kind === "record") {
+        lowerer.unsupported("SC1090", arg, "URLSearchParams from tuple-typed pairs (type the pairs as string[][] — the tuple rows have a different layout)");
+    }
+    lowerer.unsupported("SC1090", arg, `URLSearchParams from '${lowerer.fmt(init.type)}' inits (a string, a string[][], another URLSearchParams, or an inline { key: value } literal — narrow unions first)`);
+}
+function lowerOptionalStringSearchParams(lowerer, init, loc) {
+    const tags = optionalStringTags(lowerer, init.type);
+    if (!tags || init.type.kind !== "union")
+        return null;
+    const key = `sp.optionalString:${init.type.unionId}`;
+    let helper = lowerer.valueHelpers.get(key);
+    if (!helper) {
+        helper = `%sp.optionalString.${lowerer.valueHelpers.size}`;
+        lowerer.valueHelpers.set(key, helper);
+        const value = varRef("init.0", init.type, loc);
+        lowerer.liftedFns.push({
+            name: helper,
+            params: [{ localId: "init.0", name: "init", type: init.type }],
+            returnType: SEARCH_PARAMS_T,
+            locals: [{ id: "init.0", name: "init", type: init.type, mutable: false }],
+            body: [
+                {
+                    kind: "if",
+                    cond: {
+                        kind: "unionIsTag",
+                        unionId: init.type.unionId,
+                        tag: tags.undefinedTag,
+                        negated: false,
+                        value,
+                        type: BOOL,
+                        loc,
+                    },
+                    then: [
+                        {
+                            kind: "return",
+                            value: { kind: "libCall", fn: "sp.new", args: [], type: SEARCH_PARAMS_T, loc },
+                            loc,
+                        },
+                    ],
+                    else_: null,
+                    loc,
+                },
+                {
+                    kind: "return",
+                    value: {
+                        kind: "libCall",
+                        fn: "sp.parse",
+                        args: [
+                            {
+                                kind: "unionNarrow",
+                                unionId: init.type.unionId,
+                                tag: tags.stringTag,
+                                value,
+                                type: STRING,
+                                loc,
+                            },
+                        ],
+                        type: SEARCH_PARAMS_T,
+                        loc,
+                    },
+                    loc,
+                },
+            ],
+            loc,
+        });
+    }
+    return { kind: "call", callee: helper, args: [init], type: SEARCH_PARAMS_T, loc };
+}
+/** Method calls on URLSearchParams-typed receivers — the WHATWG list
+ * surface over the runtime's decoded pairs. get answers `string | null`
+ * (the checker's own union; the runtime's +1-or-NULL builds the arms);
+ * has/delete take the value-aware second argument (an explicitly
+ * `undefined`-typed second argument means the name-only form, Node's
+ * treatment); forEach desugars to a synthesized index loop over the
+ * LIVE list (sp.size re-reads every pass — appends mid-walk are
+ * visited, deletes shift, the spec's index-based iteration).
+ * keys()/values()/entries() lower only in a for-of head (lower-stmts
+ * routes them before this table) — stored iterator objects keep the
+ * drain fence. Null for non-searchParams receivers. */
+export function lowerSearchParamsMethodCall(lowerer, call, access) {
+    if (call.questionDotToken || access.questionDotToken)
+        return null;
+    if (lowerer.mapTypeOf(lowerer.typeOf(access.expression))?.kind !== "searchParams")
+        return null;
+    if (!lowerer.isStdlibMember(access))
+        return null;
+    const name = access.name.text;
+    const loc = locOf(call);
+    const args = call.arguments;
+    // The WHATWG arity ladder: too few arguments throw Node's
+    // ERR_MISSING_ARGS before any conversion (the invalid-input probes'
+    // `params.get()`). Claimed for effect-free receivers only — the
+    // throw replaces the whole call, so an effectful receiver expression
+    // keeps the fence below.
+    const required = {
+        get: [1, 'The "name" argument must be specified'],
+        getAll: [1, 'The "name" argument must be specified'],
+        has: [1, 'The "name" argument must be specified'],
+        delete: [1, 'The "name" argument must be specified'],
+        append: [2, 'The "name" and "value" arguments must be specified'],
+        set: [2, 'The "name" and "value" arguments must be specified'],
+    };
+    const req = own(required, name);
+    if (req && args.length < req[0] && ts.isIdentifier(access.expression)) {
+        // The present-but-short forms still convert nothing in Node — the
+        // arity check runs first; present arguments are identifierish
+        // probes ('a') whose evaluation is pure in every suite shape, and
+        // effectful ones would land here too (statement-coarsening, the
+        // runtimeFence precedent).
+        return nodeThrowExpr(1, "ERR_MISSING_ARGS", req[1], lowerer.mapTypeOf(lowerer.typeOf(call)) ?? VOID, loc);
+    }
+    // One name/value slot, WHATWG USVString rules: statically-string
+    // arguments lower directly; a symbol can never convert (V8's
+    // TypeError, statically decided); everything else crosses into the
+    // dyn and coerces at runtime with the object protocol (a user
+    // toString/valueOf runs and its throw propagates).
+    const strArg = (i) => {
+        const node = args[i];
+        const t = lowerer.mapTypeOf(lowerer.typeOf(node));
+        if (t?.kind === "string")
+            return lowerer.lowerExprExpecting(node, STRING);
+        if (t?.kind === "symbol") {
+            return nodeThrowExpr(1, "", "Cannot convert a Symbol value to a string", STRING, loc);
+        }
+        let v;
+        if (ts.isObjectLiteralExpression(node)) {
+            // Object literals take the dyn literal path directly (method
+            // members box as dyn functions — the typed record fence never
+            // applies to the coercion probes).
+            v = lowerDynObjectLiteral(lowerer, node);
+        }
+        else {
+            const raw = lowerer.lowerExpr(node);
+            if (raw.type.kind === "dyn")
+                v = raw;
+            else if (raw.kind === "unitLit" || lowerer.dynConvertible(raw.type)) {
+                v = { kind: "dynFrom", value: raw, type: DYN, loc: raw.loc };
+            }
+            else if (raw.type.kind === "record") {
+                // A RECORD-represented value that cannot cross into the checked-dynamic tree (a
+                // func-carrying shape — the throwing-toString probes): run
+                // ToPrimitive's string hint STATICALLY. A zero-parameter
+                // toString func member is called (its throw propagates); a
+                // string answer is the conversion, and a void/never-typed one
+                // (the always-throwing probe shape, or a bare undefined return)
+                // stringifies as ToString(undefined). Other shapes keep the
+                // fence — honesty over coverage.
+                const shape = lowerer.shapes.get(raw.type.shapeId);
+                const tsMember = shape?.fields.find((f) => f.name === "toString");
+                if (shape &&
+                    tsMember &&
+                    tsMember.type.kind === "func" &&
+                    tsMember.type.params.length === 0 &&
+                    lowerer.dynConvertible(tsMember.type)) {
+                    // Box just the toString member into a fresh dyn carrier and
+                    // run the protocol at runtime — the boxed call propagates its
+                    // throw, string answers convert, and a bare (void) return is
+                    // ToString(undefined), all through one path.
+                    const member = {
+                        kind: "recordGet",
+                        obj: raw,
+                        shapeId: raw.type.shapeId,
+                        field: "toString",
+                        type: tsMember.type,
+                        loc,
+                    };
+                    v = {
+                        kind: "dynObjLit",
+                        fields: [
+                            {
+                                key: { kind: "strLit", value: "toString", type: STRING, loc },
+                                value: { kind: "dynFrom", value: member, type: DYN, loc },
+                            },
+                        ],
+                        type: DYN,
+                        loc,
+                    };
+                }
+                else {
+                    lowerer.noLowering(`URLSearchParams.${name} with a '${lowerer.fmt(raw.type)}' argument`, node, "string arguments are the lowered shape (other values coerce through the checked-dynamic tree — narrow unions first)");
+                }
+            }
+            else {
+                lowerer.noLowering(`URLSearchParams.${name} with a '${lowerer.fmt(raw.type)}' argument`, node, "string arguments are the lowered shape (other values coerce through the checked-dynamic tree — narrow unions first)");
+            }
+        }
+        return { kind: "libCall", fn: "dyn.toStringCoerce", args: [v], type: STRING, loc };
+    };
+    // has/delete's OPTIONAL value argument: absent, or an explicitly
+    // undefined-typed expression (Node treats explicit undefined as the
+    // name-only form). A `string | undefined` union has two behaviors in
+    // one value — narrow first.
+    const optionalValueArg = () => {
+        if (args.length === 1)
+            return null;
+        const t = lowerer.mapTypeOf(lowerer.typeOf(args[1]));
+        if (t?.kind === "undefinedT")
+            return null;
+        if (t?.kind === "string")
+            return strArg(1);
+        lowerer.unsupported("SC1090", args[1], `URLSearchParams.${name} with a '${lowerer.checker.typeToString(lowerer.typeOf(args[1]))}' value argument (pass a string, or narrow '| undefined' unions to the two call forms first)`);
+    };
+    if (name === "get" && args.length === 1) {
+        const receiver = lowerer.lowerExpr(access.expression);
+        const type = { kind: "union", unionId: lowerer.unions.intern([STRING, NULL_T]) };
+        return { kind: "libCall", fn: "sp.get", args: [receiver, strArg(0)], type, loc };
+    }
+    if (name === "getAll" && args.length === 1) {
+        const receiver = lowerer.lowerExpr(access.expression);
+        return {
+            kind: "libCall",
+            fn: "sp.getAll",
+            args: [receiver, strArg(0)],
+            type: arrayOf(STRING),
+            loc,
+        };
+    }
+    if ((name === "append" || name === "set") && args.length === 2) {
+        const receiver = lowerer.lowerExpr(access.expression);
+        const fn = name === "append" ? "sp.append" : "sp.set";
+        return { kind: "libCall", fn, args: [receiver, strArg(0), strArg(1)], type: VOID, loc };
+    }
+    if (name === "delete" && (args.length === 1 || args.length === 2)) {
+        const receiver = lowerer.lowerExpr(access.expression);
+        const nameArg = strArg(0);
+        const value = optionalValueArg();
+        return value === null
+            ? { kind: "libCall", fn: "sp.delete", args: [receiver, nameArg], type: VOID, loc }
+            : {
+                kind: "libCall",
+                fn: "sp.deleteValue",
+                args: [receiver, nameArg, value],
+                type: VOID,
+                loc,
+            };
+    }
+    if (name === "has" && (args.length === 1 || args.length === 2)) {
+        const receiver = lowerer.lowerExpr(access.expression);
+        const nameArg = strArg(0);
+        const value = optionalValueArg();
+        return value === null
+            ? { kind: "libCall", fn: "sp.has", args: [receiver, nameArg], type: BOOL, loc }
+            : { kind: "libCall", fn: "sp.hasValue", args: [receiver, nameArg, value], type: BOOL, loc };
+    }
+    if (name === "sort" && args.length === 0) {
+        const receiver = lowerer.lowerExpr(access.expression);
+        return { kind: "libCall", fn: "sp.sort", args: [receiver], type: VOID, loc };
+    }
+    if (name === "toString" && args.length === 0) {
+        const receiver = lowerer.lowerExpr(access.expression);
+        return { kind: "libCall", fn: "sp.toString", args: [receiver], type: STRING, loc };
+    }
+    if (name === "forEach" && args.length === 1) {
+        return lowerSpForEachCall(lowerer, call, access);
+    }
+    if (name === "keys" || name === "values" || name === "entries") {
+        lowerer.unsupported("SC1090", call, `URLSearchParams iterator objects outside a for-of head (write \`for (const x of sp.${name}())\` directly)`);
+    }
+    lowerer.noLowering(`URLSearchParams.${name}`, call, "get, getAll, set, append, delete, has, sort, size, toString(), forEach, and for-of iteration are the supported URLSearchParams members", lowerer.checker.getSymbolAtLocation(access.name));
+}
+/** `sp.forEach(fn)` — a synthesized module function per callback arity
+ * (interned), whose body is the LIVE index walk:
+ *
+ *   for (i = 0; i < sp.size; i++) { v = sp.valAt(i); k = sp.keyAt(i); f(v, k, sp?); }
+ *
+ * sp.size re-reads every pass — the spec's index-based iteration (Map's
+ * forEach precedent, minus the tombstone machinery the pair list
+ * doesn't need: deletes compact immediately). The callback receives
+ * (value, name, searchParams) like the WHATWG signature; declaring
+ * fewer parameters is ordinary TS. */
+function lowerSpForEachCall(lowerer, call, access) {
+    const loc = locOf(call);
+    const argNode = call.arguments[0];
+    const fnArg = lowerer.lowerExpr(argNode);
+    if (fnArg.type.kind !== "func" ||
+        fnArg.type.params.length > 3 ||
+        (fnArg.type.params.length >= 1 && fnArg.type.params[0].kind !== "string") ||
+        (fnArg.type.params.length >= 2 && fnArg.type.params[1].kind !== "string") ||
+        (fnArg.type.params.length === 3 && fnArg.type.params[2].kind !== "searchParams")) {
+        lowerer.badType(argNode, lowerer.typeOf(argNode));
+    }
+    const receiver = lowerer.lowerExpr(access.expression);
+    const arity = fnArg.type.params.length;
+    const fnRet = fnArg.type.ret;
+    const key = `${arity}:${typeKey(fnRet)}`;
+    let helper = lowerer.spHofHelpers.get(key);
+    if (!helper) {
+        helper = `%sp.forEach.${lowerer.spHofHelpers.size}`;
+        lowerer.spHofHelpers.set(key, helper);
+        lowerer.liftedFns.push(buildSpForEachFn(helper, arity, fnRet, loc));
+    }
+    return { kind: "call", callee: helper, args: [receiver, fnArg], type: VOID, loc };
+}
+/** The Sp.forEach helper's body (see lowerSpForEachCall). */
+function buildSpForEachFn(name, arity, fnRet, loc) {
+    const paramTypes = arity === 0
+        ? []
+        : arity === 1
+            ? [STRING]
+            : arity === 2
+                ? [STRING, STRING]
+                : [STRING, STRING, SEARCH_PARAMS_T];
+    const fnT = funcOf(paramTypes, fnRet);
+    const sp = (fn, extra, type) => ({
+        kind: "libCall",
+        fn,
+        args: [varRef("sp.0", SEARCH_PARAMS_T, loc), ...extra],
+        type,
+        loc,
+    });
+    const locals = [
+        { id: "sp.0", name: "sp", type: SEARCH_PARAMS_T, mutable: true },
+        { id: "f.0", name: "f", type: fnT, mutable: true },
+        { id: "i.0", name: "i", type: F64, mutable: true },
+    ];
+    const callArgs = [];
+    const body = [];
+    if (arity >= 1) {
+        locals.push({ id: "v.0", name: "v", type: STRING, mutable: false });
+        body.push({
+            kind: "varDecl",
+            localId: "v.0",
+            init: sp("sp.valAt", [varRef("i.0", F64, loc)], STRING),
+            loc,
+        });
+        callArgs.push(varRef("v.0", STRING, loc));
+    }
+    if (arity >= 2) {
+        locals.push({ id: "k.0", name: "k", type: STRING, mutable: false });
+        body.push({
+            kind: "varDecl",
+            localId: "k.0",
+            init: sp("sp.keyAt", [varRef("i.0", F64, loc)], STRING),
+            loc,
+        });
+        callArgs.push(varRef("k.0", STRING, loc));
+    }
+    if (arity === 3)
+        callArgs.push(varRef("sp.0", SEARCH_PARAMS_T, loc));
+    body.push({
+        kind: "exprStmt",
+        expr: { kind: "callValue", callee: varRef("f.0", fnT, loc), args: callArgs, type: fnRet, loc },
+        loc,
+    });
+    const loop = countedFor(loc, sp("sp.size", [], F64), () => body);
+    return {
+        name,
+        params: [
+            { localId: "sp.0", name: "sp", type: SEARCH_PARAMS_T },
+            { localId: "f.0", name: "f", type: fnT },
+        ],
+        returnType: VOID,
+        locals,
+        body: [loop],
+        loc,
+    };
+}
+export function lowerFileUrlCall(lowerer, expr, bi, fn, loc, hasSpread) {
+    if (hasSpread || expr.arguments.length > 2) {
+        lowerer.noLowering(`${bi.member} with these arguments`, expr, "pass a path and optional options object directly");
+    }
+    // Keep the established typed one-argument paths free of boxing. The
+    // checked variants preserve each converter's validation/getter order.
+    if (expr.arguments.length === 1 && bi.member !== "fileURLToPathBuffer") {
+        const arg = lowerer.lowerExpr(expr.arguments[0]);
+        if (bi.member === "fileURLToPath") {
+            if (arg.type.kind === "url")
+                return { kind: "libCall", fn: "url.fileURLToPathUrl", args: [arg], type: STRING, loc };
+            if (arg.type.kind === "string")
+                return { kind: "libCall", fn: "url.fileURLToPathStr", args: [arg], type: STRING, loc };
+        }
+        else if (arg.type.kind === "string") {
+            return {
+                kind: "libCall",
+                fn: lowerer.targetPlatform === "win32" ? "url.pathToFileURLWin32" : "url.pathToFileURL",
+                args: [arg],
+                type: fn.result,
+                loc,
+            };
+        }
+        return {
+            kind: "libCall",
+            fn: fn.fn,
+            args: [lowerer.coerceToExpected(arg, DYN), dynUndefinedExpr(loc)],
+            type: fn.result,
+            loc,
+        };
+    }
+    const args = [0, 1].map((index) => expr.arguments[index]
+        ? lowerer.lowerExprExpecting(expr.arguments[index], DYN)
+        : dynUndefinedExpr(loc));
+    return { kind: "libCall", fn: fn.fn, args, type: fn.result, loc };
+}
+//# sourceMappingURL=url.js.map

package/dist/frontend/lowering/builtins/url.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"url.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/url.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACnG,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAgB,GAAG,EAAE,MAAM,eAAe,CAAC;AAClD,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAC1E,OAAO,EAAE,kBAAkB,EAAE,MAAM,wCAAwC,CAAC;AAC5E,OAAO,EACL,IAAI,EACJ,GAAG,EACH,GAAG,EAOH,MAAM,EACN,eAAe,EACf,MAAM,EAEN,IAAI,EACJ,OAAO,EACP,MAAM,EACN,UAAU,EACV,OAAO,GACR,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AACpD,OAAO,EAAwB,MAAM,gBAAgB,CAAC;AAEtD;mEACmE;AACnE,MAAM,UAAU,kBAAkB,CAAC,OAAgB,EAAE,IAAyB;IAC5E,IAAI,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,OAAO,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC;QAAE,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC;IACxE,IACE,CAAC,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,CAAC;QACjF,MAAM,CAAC,gBAAgB;QAEvB,OAAO,IAAI,CAAC;IACd,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IACvD,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE,IAAI,KAAK,KAAK,CAAC;IAC/D,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,YAAY,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,GAAG,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9F,MAAM,QAAQ,GAAG,MAAM;QACrB,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC;QACtC,CAAC,CAAC,kBAAkB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;IACnD,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,IAAI,CAAC;IAC3D,MAAM,IAAI,GAAG,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;QAChD,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI;QAClB,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC;IACzD,MAAM,OAAO,GAA4B;QACvC,IAAI,EAAE,UAAU;QAChB,QAAQ,EAAE,cAAc;QACxB,MAAM,EAAE,YAAY;QACpB,IAAI,EAAE,UAAU;QAChB,QAAQ,EAAE,cAAc;QACxB,QAAQ,EAAE,cAAc;QACxB,QAAQ,EAAE,cAAc;QACxB,IAAI,EAAE,UAAU;QAChB,QAAQ,EAAE,cAAc;QACxB,IAAI,EAAE,UAAU;KACjB,CAAC;IACF,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC;QACzE,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,MAAM,EACN,+DAA+D,CAChE,CAAC;IACJ,CAAC;IACD,MAAM,EAAE,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC;IACnC,IAAI,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,IAAI,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe,EAAE,CAAC;QAC7E,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,iDAAiD,CAAC,CAAC;IACzF,CAAC;IACD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,IAAI,GAAG,OAAO,CAAC,kBAAkB,CAAC,cAAc,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IACvE,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACpD,MAAM,KAAK,GAAa,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;IACrF,IAAI,KAAK,GAAkB,IAAI,CAAC;IAChC,IAAI,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe,EAAE,CAAC;QACzC,MAAM,GAAG,GAAG,OAAO,CAAC,kBAAkB,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QAC1D,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CAAC;YACT,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,GAAG,CAAC,EAAE;YACf,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;YACjE,GAAG;SACJ,CAAC,CAAC;QACH,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;IACtC,CAAC;IACD,MAAM,GAAG,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1C,IACE,KAAK;QACL,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAC1B,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;QACvB,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;QACxB,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAC1B,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EACrB,CAAC;QACD,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,CAAC,KAAK,EACV,sFAAsF,CACvF,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,WAAW,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IAChE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;IACnE,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACjD,IAAI,MAAM,GAAG,QAAQ,CAAC;IACtB,IAAI,QAAQ,GAAG,QAAQ,CAAC;IACxB,IAAI,KAAK,EAAE,CAAC;QACV,MAAM,IAAI,GACR,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;YACxB,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC;gBACE,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,oBAAoB;gBACxB,IAAI,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;gBACrD,IAAI,EAAE,MAAM;gBACZ,GAAG;aACJ,CAAC;QACR,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;QAChE,KAAK,CAAC,IAAI,CAAC;YACT,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,MAAM,CAAC,EAAE;YAClB,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;YACxE,GAAG;SACJ,CAAC,CAAC;QACH,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;QACxC,QAAQ,GAAG,MAAM,CAAC;IACpB,CAAC;IACD,MAAM,OAAO,GAAG,CAAC,KAAK,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC;IACrD,KAAK,CAAC,IAAI,CAAC;QACT,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE;YACJ,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,SAAS;YAC1C,IAAI,EAAE;gBACJ,OAAO;gBACP,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC;gBACjB,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ;aACnE;YACD,IAAI,EAAE,IAAI;YACV,GAAG;SACJ;QACD,GAAG;KACJ,CAAC,CAAC;IACH,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC;AACpE,CAAC;AAED;;mEAEmE;AACnE,MAAM,UAAU,kBAAkB,CAChC,OAAgB,EAChB,IAAuB,EACvB,MAAmC;IAEnC,IAAI,IAAI,CAAC,gBAAgB,IAAI,MAAM,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IAClE,IAAI,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,IAAI,KAAK,KAAK;QAAE,OAAO,IAAI,CAAC;IACtF,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACjD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IAC9B,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,KAAK,QAAQ,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9E,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QACtD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;IAC/F,CAAC;IACD,OAAO,CAAC,UAAU,CAChB,OAAO,IAAI,EAAE,EACb,IAAI,EACJ,gKAAgK,EAChK,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC,CACjD,CAAC;AACJ,CAAC;AAED;;;;;;;;0CAQ0C;AAC1C,MAAM,UAAU,oBAAoB,CAClC,OAAgB,EAChB,IAAsB,EACtB,GAAW;IAEX,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC;IAClC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,OAAO,CAAC,UAAU,CAChB,4BAA4B,IAAI,CAAC,MAAM,YAAY,EACnD,IAAI,EACJ,yCAAyC,CAC1C,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,IAAI,GAAG,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,IAAI,KAAK,WAAW,CAAC,EAAE,CAAC;QAC5E,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,CAAC;IACjF,CAAC;IACD,iEAAiE;IACjE,mEAAmE;IACnE,oEAAoE;IACpE,sEAAsE;IACtE,IAAI,EAAE,CAAC,yBAAyB,CAAC,GAAG,CAAC,EAAE,CAAC;QACtC,IAAI,GAAG,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,CAAC;QAC1F,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;YAClC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC9D,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,4EAA4E,CAC7E,CAAC;YACJ,CAAC;YACD,IAAI,GAAW,CAAC;YAChB,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChE,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YACvB,CAAC;iBAAM,CAAC;gBACN,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,CAAC,IAAI,EACT,mDAAmD,CACpD,CAAC;YACJ,CAAC;YACD,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;YACnE,MAAM,OAAO,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5F,GAAG,GAAG;gBACJ,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,SAAS;gBACb,IAAI,EAAE,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,CAAC;gBAC3B,IAAI,EAAE,eAAe;gBACrB,GAAG;aACJ,CAAC;QACJ,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACpC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAC7B,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,CAAC;IAC5F,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAChC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,CAAC;IACvF,CAAC;IACD,MAAM,cAAc,GAAG,+BAA+B,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IAC3E,IAAI,cAAc;QAAE,OAAO,cAAc,CAAC;IAC1C,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QACtC,gEAAgE;QAChE,gEAAgE;QAChE,QAAQ;QACR,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,CAAC;IACtF,CAAC;IACD,IACE,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAC1B,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAC/B,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EACrC,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,CAAC;IAC3F,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACnE,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,GAAG,EACH,gHAAgH,CACjH,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,GAAG,EACH,yBAAyB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,sHAAsH,CACtK,CAAC;AACJ,CAAC;AAED,SAAS,+BAA+B,CACtC,OAAgB,EAChB,IAAY,EACZ,GAAW;IAEX,MAAM,IAAI,GAAG,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IACpD,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACrD,MAAM,GAAG,GAAG,qBAAqB,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;IACrD,IAAI,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC3C,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,GAAG,sBAAsB,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;QAC3D,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACtC,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC/C,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;YAC9D,UAAU,EAAE,eAAe;YAC3B,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YACzE,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,IAAI;oBACV,IAAI,EAAE;wBACJ,IAAI,EAAE,YAAY;wBAClB,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO;wBAC1B,GAAG,EAAE,IAAI,CAAC,YAAY;wBACtB,OAAO,EAAE,KAAK;wBACd,KAAK;wBACL,IAAI,EAAE,IAAI;wBACV,GAAG;qBACJ;oBACD,IAAI,EAAE;wBACJ;4BACE,IAAI,EAAE,QAAQ;4BACd,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE;4BAC9E,GAAG;yBACJ;qBACF;oBACD,KAAK,EAAE,IAAI;oBACX,GAAG;iBACJ;gBACD;oBACE,IAAI,EAAE,QAAQ;oBACd,KAAK,EAAE;wBACL,IAAI,EAAE,SAAS;wBACf,EAAE,EAAE,UAAU;wBACd,IAAI,EAAE;4BACJ;gCACE,IAAI,EAAE,aAAa;gCACnB,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO;gCAC1B,GAAG,EAAE,IAAI,CAAC,SAAS;gCACnB,KAAK;gCACL,IAAI,EAAE,MAAM;gCACZ,GAAG;6BACJ;yBACF;wBACD,IAAI,EAAE,eAAe;wBACrB,GAAG;qBACJ;oBACD,GAAG;iBACJ;aACF;YACD,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,CAAC;AACpF,CAAC;AAED;;;;;;;;;;uDAUuD;AACvD,MAAM,UAAU,2BAA2B,CACzC,OAAgB,EAChB,IAAuB,EACvB,MAAmC;IAEnC,IAAI,IAAI,CAAC,gBAAgB,IAAI,MAAM,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IAClE,IAAI,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,IAAI,KAAK,cAAc;QAAE,OAAO,IAAI,CAAC;IAC/F,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACjD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IAC9B,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC;IAC5B,0DAA0D;IAC1D,oEAAoE;IACpE,gEAAgE;IAChE,qEAAqE;IACrE,yBAAyB;IACzB,MAAM,QAAQ,GAAiD;QAC7D,GAAG,EAAE,CAAC,CAAC,EAAE,uCAAuC,CAAC;QACjD,MAAM,EAAE,CAAC,CAAC,EAAE,uCAAuC,CAAC;QACpD,GAAG,EAAE,CAAC,CAAC,EAAE,uCAAuC,CAAC;QACjD,MAAM,EAAE,CAAC,CAAC,EAAE,uCAAuC,CAAC;QACpD,MAAM,EAAE,CAAC,CAAC,EAAE,oDAAoD,CAAC;QACjE,GAAG,EAAE,CAAC,CAAC,EAAE,oDAAoD,CAAC;KAC/D,CAAC;IACF,MAAM,GAAG,GAAG,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IAChC,IAAI,GAAG,IAAI,IAAI,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;QACtE,kEAAkE;QAClE,8DAA8D;QAC9D,kEAAkE;QAClE,gEAAgE;QAChE,2BAA2B;QAC3B,OAAO,aAAa,CAClB,CAAC,EACD,kBAAkB,EAClB,GAAG,CAAC,CAAC,CAAC,EACN,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,IAAI,EAC/C,GAAG,CACJ,CAAC;IACJ,CAAC;IACD,iEAAiE;IACjE,6DAA6D;IAC7D,mEAAmE;IACnE,8DAA8D;IAC9D,mDAAmD;IACnD,MAAM,MAAM,GAAG,CAAC,CAAS,EAAU,EAAE;QACnC,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;QACtB,MAAM,CAAC,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;QAClD,IAAI,CAAC,EAAE,IAAI,KAAK,QAAQ;YAAE,OAAO,OAAO,CAAC,kBAAkB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC1E,IAAI,CAAC,EAAE,IAAI,KAAK,QAAQ,EAAE,CAAC;YACzB,OAAO,aAAa,CAAC,CAAC,EAAE,EAAE,EAAE,2CAA2C,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;QACxF,CAAC;QACD,IAAI,CAAS,CAAC;QACd,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;YACvC,6DAA6D;YAC7D,8DAA8D;YAC9D,mCAAmC;YACnC,CAAC,GAAG,qBAAqB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC3C,CAAC;aAAM,CAAC;YACN,MAAM,GAAG,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;YACpC,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;gBAAE,CAAC,GAAG,GAAG,CAAC;iBAChC,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpE,CAAC,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC;YAC/D,CAAC;iBAAM,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACtC,gFAAgF;gBAChF,2DAA2D;gBAC3D,yDAAyD;gBACzD,2DAA2D;gBAC3D,8DAA8D;gBAC9D,gEAAgE;gBAChE,4DAA4D;gBAC5D,iCAAiC;gBACjC,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACnD,MAAM,QAAQ,GAAG,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;gBAClE,IACE,KAAK;oBACL,QAAQ;oBACR,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;oBAC7B,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;oBACjC,OAAO,CAAC,cAAc,CAAC,QAAQ,CAAC,IAAI,CAAC,EACrC,CAAC;oBACD,4DAA4D;oBAC5D,8DAA8D;oBAC9D,6DAA6D;oBAC7D,6CAA6C;oBAC7C,MAAM,MAAM,GAAW;wBACrB,IAAI,EAAE,WAAW;wBACjB,GAAG,EAAE,GAAG;wBACR,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO;wBACzB,KAAK,EAAE,UAAU;wBACjB,IAAI,EAAE,QAAQ,CAAC,IAAI;wBACnB,GAAG;qBACJ,CAAC;oBACF,CAAC,GAAG;wBACF,IAAI,EAAE,WAAW;wBACjB,MAAM,EAAE;4BACN;gCACE,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;gCAC7D,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;6BAC1D;yBACF;wBACD,IAAI,EAAE,GAAG;wBACT,GAAG;qBACJ,CAAC;gBACJ,CAAC;qBAAM,CAAC;oBACN,OAAO,CAAC,UAAU,CAChB,mBAAmB,IAAI,YAAY,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,EACpE,IAAI,EACJ,qHAAqH,CACtH,CAAC;gBACJ,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,OAAO,CAAC,UAAU,CAChB,mBAAmB,IAAI,YAAY,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,EACpE,IAAI,EACJ,qHAAqH,CACtH,CAAC;YACJ,CAAC;QACH,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,oBAAoB,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IACrF,CAAC,CAAC;IACF,iEAAiE;IACjE,oEAAoE;IACpE,qEAAqE;IACrE,4BAA4B;IAC5B,MAAM,gBAAgB,GAAG,GAAkB,EAAE;QAC3C,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QACnC,MAAM,CAAC,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC;QACtD,IAAI,CAAC,EAAE,IAAI,KAAK,YAAY;YAAE,OAAO,IAAI,CAAC;QAC1C,IAAI,CAAC,EAAE,IAAI,KAAK,QAAQ;YAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;QAC3C,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,CAAC,CAAC,CAAE,EACR,mBAAmB,IAAI,YAAY,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC,8FAA8F,CACxL,CAAC;IACJ,CAAC,CAAC;IACF,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxC,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QACtD,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC;QACzF,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACnF,CAAC;IACD,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3C,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QACtD,OAAO;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,WAAW;YACf,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;YAC3B,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC;YACrB,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/D,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QACtD,MAAM,EAAE,GAAG,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC;QACtD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAC1F,CAAC;IACD,IAAI,IAAI,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC;QAClE,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QACtD,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,KAAK,GAAG,gBAAgB,EAAE,CAAC;QACjC,OAAO,KAAK,KAAK,IAAI;YACnB,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YAClF,CAAC,CAAC;gBACE,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,gBAAgB;gBACpB,IAAI,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC;gBAChC,IAAI,EAAE,IAAI;gBACV,GAAG;aACJ,CAAC;IACR,CAAC;IACD,IAAI,IAAI,KAAK,KAAK,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC;QAC/D,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QACtD,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,KAAK,GAAG,gBAAgB,EAAE,CAAC;QACjC,OAAO,KAAK,KAAK,IAAI;YACnB,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YAC/E,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAChG,CAAC;IACD,IAAI,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzC,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QACtD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAC/E,CAAC;IACD,IAAI,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7C,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QACtD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IACrF,CAAC;IACD,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5C,OAAO,kBAAkB,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IACnD,CAAC;IACD,IAAI,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QAC/D,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,sFAAsF,IAAI,iBAAiB,CAC5G,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,UAAU,CAChB,mBAAmB,IAAI,EAAE,EACzB,IAAI,EACJ,wIAAwI,EACxI,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC,CACjD,CAAC;AACJ,CAAC;AAED;;;;;;;;;sCASsC;AACtC,SAAS,kBAAkB,CACzB,OAAgB,EAChB,IAAuB,EACvB,MAAmC;IAEnC,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;IACnC,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACzC,IACE,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;QAC1B,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;QAC5B,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,KAAK,QAAQ,CAAC;QAC1E,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,KAAK,QAAQ,CAAC;QAC1E,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,KAAK,cAAc,CAAC,EACjF,CAAC;QACD,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;IACpD,CAAC;IACD,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IACtD,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;IACvC,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC;IAC7B,MAAM,GAAG,GAAG,GAAG,KAAK,IAAI,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;IACzC,IAAI,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC3C,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,GAAG,eAAe,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;QACpD,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACtC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,gBAAgB,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;IACtE,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACpF,CAAC;AAED,6DAA6D;AAC7D,SAAS,gBAAgB,CAAC,IAAY,EAAE,KAAa,EAAE,KAAa,EAAE,GAAW;IAC/E,MAAM,UAAU,GACd,KAAK,KAAK,CAAC;QACT,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,KAAK,KAAK,CAAC;YACX,CAAC,CAAC,CAAC,MAAM,CAAC;YACV,CAAC,CAAC,KAAK,KAAK,CAAC;gBACX,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC;gBAClB,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,eAAe,CAAC,CAAC;IAC5C,MAAM,GAAG,GAAG,MAAM,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IACtC,MAAM,EAAE,GAAG,CAAC,EAAuC,EAAE,KAAe,EAAE,IAAY,EAAU,EAAE,CAAC,CAAC;QAC9F,IAAI,EAAE,SAAS;QACf,EAAE;QACF,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,EAAE,GAAG,CAAC,EAAE,GAAG,KAAK,CAAC;QACtD,IAAI;QACJ,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,MAAM,GAAc;QACxB,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,IAAI,EAAE;QAChE,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE;QAClD,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE;KACnD,CAAC;IACF,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QACf,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;QACpE,IAAI,CAAC,IAAI,CAAC;YACR,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,KAAK;YACd,IAAI,EAAE,EAAE,CAAC,UAAU,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC;YACvD,GAAG;SACJ,CAAC,CAAC;QACH,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC;IAC5C,CAAC;IACD,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QACf,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;QACpE,IAAI,CAAC,IAAI,CAAC;YACR,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,KAAK;YACd,IAAI,EAAE,EAAE,CAAC,UAAU,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC;YACvD,GAAG;SACJ,CAAC,CAAC;QACH,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC;IAC5C,CAAC;IACD,IAAI,KAAK,KAAK,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,EAAE,GAAG,CAAC,CAAC,CAAC;IACrE,IAAI,CAAC,IAAI,CAAC;QACR,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE;QAC9F,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,EAAE,EAAE,CAAC,SAAS,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;IACjE,OAAO;QACL,IAAI;QACJ,MAAM,EAAE;YACN,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE;YACtD,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE;SACzC;QACD,UAAU,EAAE,IAAI;QAChB,MAAM;QACN,IAAI,EAAE,CAAC,IAAI,CAAC;QACZ,GAAG;KACJ,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,OAAgB,EAChB,IAAuB,EACvB,EAAsC,EACtC,EAAmB,EACnB,GAAW,EACX,SAAkB;IAElB,IAAI,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3C,OAAO,CAAC,UAAU,CAChB,GAAG,EAAE,CAAC,MAAM,uBAAuB,EACnC,IAAI,EACJ,kDAAkD,CACnD,CAAC;IACJ,CAAC;IACD,oEAAoE;IACpE,sEAAsE;IACtE,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,qBAAqB,EAAE,CAAC;QACvE,MAAM,GAAG,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC;QAClD,IAAI,EAAE,CAAC,MAAM,KAAK,eAAe,EAAE,CAAC;YAClC,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;gBACzB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,sBAAsB,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;YACzF,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;gBAC5B,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,sBAAsB,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;QAC3F,CAAC;aAAM,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtC,OAAO;gBACL,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,OAAO,CAAC,cAAc,KAAK,OAAO,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,CAAC,mBAAmB;gBACvF,IAAI,EAAE,CAAC,GAAG,CAAC;gBACX,IAAI,EAAE,EAAE,CAAC,MAAM;gBACf,GAAG;aACJ,CAAC;QACJ,CAAC;QACD,OAAO;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,EAAE,CAAC,EAAE;YACT,IAAI,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,gBAAgB,CAAC,GAAG,CAAC,CAAC;YACjE,IAAI,EAAE,EAAE,CAAC,MAAM;YACf,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAChC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC;QACnB,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAE,EAAE,GAAG,CAAC;QACzD,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAC1B,CAAC;IACF,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC;AACpE,CAAC"}

package/dist/frontend/lowering/builtins/util-types.d.ts

@@ -0,0 +1,7 @@
+import * as ts from "../../ts7/adapter.js";
+import { type Lowerer } from "../lowerer.js";
+import { type IrExpr, type SrcLoc } from "../../../ir/ir.js";
+export declare function lowerUtilTypeCall(lowerer: Lowerer, expr: ts.CallExpression, bi: {
+    module: string;
+    member: string;
+}, loc: SrcLoc, name: string): IrExpr;