@nola-lang/compiler 0.1.0-alpha.0 → 0.1.2

package/dist/lower.js

@@ -1,322 +0,0 @@
-import { Codes, children, } from "@nola-lang/ast";
-import { NOLA_EMIT } from "@nola-lang/core";
-import { companionSpecifierFor } from "./companion-name.js";
-import { collectTypeRegistry } from "./schema.js";
-import { accessorNameFor, buildAccessorPlan, collectTypeImports, deriveTypeExpr, } from "./schema-expr.js";
-import { SpanRecorder } from "./spans.js";
-/**
- * Appended at EOF so no original line/column shifts: ESM hoists the import, and a
- * `function` declaration hoists with its value. `__nola_file_ctx` must NOT be a
- * `const`/`let` — an infer function called during its own module's evaluation
- * (`const eager = go();`) reads it before the declaration runs and hits the TDZ.
- * It holds no state: `__nola.context.file` is memoized by path in the runtime.
- */
-const RUNTIME_IMPORT = (displayFile) => `
-import { __nola } from "nola-lang/runtime";
-__nola.useRuntime(${NOLA_EMIT});
-function __nola_file_ctx() { return __nola.context.file(${JSON.stringify(displayFile)}); }
-`;
-export function lower(source, file, ast, displayFile = file) {
-    return new Lowerer(source, file, ast, displayFile).run();
-}
-class Lowerer {
-    s;
-    source;
-    /** Absolute on-disk path. Diagnostics and source maps use this. */
-    file;
-    /** Project-root-relative path. Only this reaches the emitted code. */
-    displayFile;
-    ast;
-    diagnostics = [];
-    meta = { nolaFunctions: [] };
-    usedRuntime = false;
-    /** named types needing a __nola_type_<Name> accessor in the appendix, in first-use order */
-    typeAccessors = new Map();
-    /** local binding name -> companion import emitted in the appendix */
-    companionImports = new Map();
-    /** shared derivation context (registry, imports, display file, bare ref names) */
-    deriveCtx;
-    constructor(source, file, ast, displayFile) {
-        this.s = new SpanRecorder(source);
-        this.source = source;
-        this.file = file;
-        this.displayFile = displayFile;
-        this.ast = ast;
-        this.deriveCtx = {
-            source,
-            registry: collectTypeRegistry(ast),
-            imports: collectTypeImports(ast),
-            importerDisplayFile: displayFile,
-            refQualifier: "",
-        };
-    }
-    run() {
-        this.visit(this.ast, false, true);
-        if (this.usedRuntime) {
-            // Accessors are `function` declarations for the same TDZ reason as
-            // __nola_file_ctx: a top-level extractor evaluates during module
-            // evaluation, before any appendix statement runs.
-            let appendix = RUNTIME_IMPORT(this.displayFile);
-            for (const [name, expr] of this.typeAccessors) {
-                // The explicit return type is required: a self-recursive accessor has no
-                // inferable return type (TS7023 under strict). The inline import type is
-                // erased by esbuild and resolves against both the stub and the runtime.
-                appendix += `function ${accessorNameFor(name)}(): import("nola-lang/runtime").InferType<unknown> { return ${expr}; }\n`;
-            }
-            // Companion imports hoist like any ESM import; the binding is a companion
-            // accessor function, initialized before module evaluation (cycle-safe).
-            for (const [local, imp] of this.companionImports) {
-                appendix += `import { ${imp.importedName}$type as ${accessorNameFor(local)} } from ${JSON.stringify(companionSpecifierFor(imp.specifier))};\n`;
-            }
-            this.s.appendix(appendix);
-        }
-        const map = this.s.generateMap({ source: this.file, hires: true, includeContent: true });
-        const spans = this.s.finalize(this.source.length);
-        const companions = [
-            ...new Set([...this.companionImports.values()].map((i) => companionSpecifierFor(i.specifier))),
-        ].sort();
-        return {
-            code: this.s.toString(),
-            map,
-            diagnostics: this.diagnostics,
-            meta: { ...this.meta, spans, companions, mode: "lowered" },
-        };
-    }
-    diag(code, message, node) {
-        this.diagnostics.push({ code, message, file: this.file, start: node.start, end: node.end, loc: node.loc });
-    }
-    /** Fold a derivation's transitive needs (accessors, companion imports) into the state. */
-    absorbPlan(companions, plan) {
-        for (const [local, imp] of companions)
-            this.companionImports.set(local, imp);
-        for (const [name, expr] of plan.accessors) {
-            if (!this.typeAccessors.has(name))
-                this.typeAccessors.set(name, expr);
-        }
-        for (const [local, imp] of plan.companions)
-            this.companionImports.set(local, imp);
-    }
-    absorbTypeNeeds(refs, companions) {
-        const plan = buildAccessorPlan(refs, this.deriveCtx);
-        this.absorbPlan(companions, plan);
-        for (const e of plan.errors)
-            this.diag(Codes.UnsupportedIntentType, e.message, e.node);
-    }
-    // inNolaFnBody: directly inside a nola function body.
-    // topLevel: current node is a direct child of Program (or an export wrapper).
-    visit(node, inNolaFnBody, topLevel) {
-        switch (node.type) {
-            case "NolaExtractExpression": {
-                const extract = node;
-                // Tolerant-parse placeholder: diagnostic already recorded; leave the
-                // span's original bytes untouched.
-                if (extract.nolaError || !extract.quasi)
-                    return;
-                this.lowerExtract(extract, inNolaFnBody);
-                return;
-            }
-            case "NolaAskExpression": {
-                const ask = node;
-                if (!inNolaFnBody) {
-                    this.diag(Codes.AskOutsideNolaFunction, "`ask` is only allowed directly inside an infer function body.", node);
-                }
-                else {
-                    // Overwriting up to the operand also removes an `with <alias>` span;
-                    // the alias re-enters as ask's third argument.
-                    this.s.overwrite(node.start, ask.argument.start, "await __nola.ask(");
-                    const provider = ask.provider ? `, ${JSON.stringify(ask.provider.name)}` : "";
-                    // appendRight: extract-lowering suffixes use appendLeft at the same
-                    // position and must land BEFORE this closing paren.
-                    this.s.appendRight(node.end, `, __ctx${provider})`);
-                    this.usedRuntime = true;
-                }
-                this.visit(ask.argument, inNolaFnBody, false);
-                return;
-            }
-            case "FunctionDeclaration": {
-                const fn = node;
-                if (!fn.nolaInfer) {
-                    break;
-                }
-                if (!topLevel) {
-                    // TODO: to discuss - wew should not have this limitation
-                    this.diag(Codes.NolaFnNotTopLevel, "infer functions must be declared at module top level.", node);
-                    break;
-                }
-                this.lowerInferFunction(fn);
-                if (fn.body) {
-                    for (const child of children(fn.body)) {
-                        this.visit(child, true, false);
-                    }
-                }
-                return;
-            }
-            case "CallExpression": {
-                const call = node;
-                if (call.callee.type === "TaggedTemplateExpression") {
-                    this.lowerCallIntent(call, inNolaFnBody);
-                    return;
-                }
-                break;
-            }
-            default:
-                break;
-        }
-        const isFunctionScope = node.type === "FunctionDeclaration" ||
-            node.type === "FunctionExpression" ||
-            node.type === "ArrowFunctionExpression" ||
-            node.type === "ObjectMethod" ||
-            node.type === "ClassMethod";
-        const nextTopLevel = node.type === "File" ||
-            node.type === "Program" ||
-            (topLevel && (node.type === "ExportNamedDeclaration" || node.type === "ExportDefaultDeclaration"));
-        for (const child of children(node)) {
-            this.visit(child, isFunctionScope ? false : inNolaFnBody, nextTopLevel);
-        }
-    }
-    lowerInferFunction(fn) {
-        const infer = fn.nolaInfer;
-        if (!infer)
-            return;
-        const name = fn.id?.name ?? "anonymous";
-        // Removes `infer ` including trailing whitespace up to `function`.
-        this.s.remove(infer.start, infer.end);
-        const instruction = fn.nolaMarker?.instruction ?? "";
-        if (fn.nolaMarker)
-            this.s.remove(fn.nolaMarker.start, fn.nolaMarker.end);
-        const body = fn.body;
-        if (!body)
-            return;
-        // Harvest params into FunctionScopeInit args: every named param contributes
-        // name (+ InferType when derivable); only `..`-prefixed params contribute
-        // the live value. Underivable/unannotated types are silently omitted — an
-        // UnsupportedType here would fail tsc-clean, and a missing arg type must
-        // not block compilation the way it deliberately does for extractors.
-        const argEntries = [];
-        for (const p of (fn.params ?? [])) {
-            if (p.nolaContextual)
-                this.s.remove(p.nolaContextual.start, p.nolaContextual.end);
-            const target = p.type === "AssignmentPattern" ? p.left : p;
-            if (target.type !== "Identifier")
-                continue; // patterns: parser already diagnosed `..` misuse; nothing to harvest
-            const paramName = target.name;
-            if (!paramName)
-                continue;
-            let typeField = "";
-            const tsAnn = target.typeAnnotation?.typeAnnotation;
-            if (tsAnn) {
-                const derived = deriveTypeExpr(tsAnn, this.deriveCtx);
-                if (derived.ok) {
-                    // ref() derivation is lazy — a named type's body only derives inside
-                    // the accessor plan, so "derivable" is only known once the plan builds
-                    // cleanly. On any transitive failure, omit like the shallow case:
-                    // nothing absorbed, no dangling __nola_type_* ref, no diagnostic.
-                    const plan = buildAccessorPlan(derived.refs, this.deriveCtx);
-                    if (plan.errors.length === 0) {
-                        typeField = `, type: ${derived.expr}`;
-                        this.absorbPlan(derived.companions, plan);
-                    }
-                }
-            }
-            const ctxField = p.nolaContextual ? `, contextual: true, value: ${paramName}` : "";
-            argEntries.push(`{ name: ${JSON.stringify(paramName)}${typeField}${ctxField} }`);
-        }
-        const argsField = argEntries.length > 0 ? `, args: [${argEntries.join(", ")}]` : "";
-        this.s.appendRight(body.start + 1, "\n  return __nola.intents.Intent(async (__ctx) => {");
-        this.s.appendLeft(body.end - 1, `  }, __nola_file_ctx().func({ fn: ${JSON.stringify(name)}, instruction: ${JSON.stringify(instruction)}${argsField} }));\n`);
-        this.meta.nolaFunctions.push(name);
-        this.usedRuntime = true;
-    }
-    lowerCallIntent(call, inNolaFnBody) {
-        const callee = call.callee;
-        const { tag, quasi } = callee;
-        if (quasi.expressions.length > 0) {
-            this.diag(Codes.SubstitutionInCallMarker, 
-            // biome-ignore lint/suspicious/noTemplateCurlyInString: literal ${...} in a diagnostic message
-            "`${...}` substitutions are not allowed in a call-intent marker.", quasi.expressions[0]);
-            return;
-        }
-        for (const arg of call.arguments)
-            this.checkCallIntentArg(arg);
-        const instruction = quasi.quasis.map((q) => q.value.cooked ?? q.value.raw).join("");
-        const tagText = this.source.slice(tag.start, tag.end);
-        const simple = tag.type === "Identifier" || tag.type === "MemberExpression";
-        const typeText = simple ? `<Awaited<ReturnType<typeof ${tagText}>>>` : "";
-        const { line, column } = call.loc.start;
-        this.s.appendLeft(call.start, `__nola.intents.FunctionCallingIntent${typeText}({ fn: `);
-        const argsStart = call.arguments.length > 0 ? call.arguments[0].start : call.end - 1;
-        this.s.overwrite(tag.end, argsStart, `, name: ${JSON.stringify(tagText)}, instruction: ${JSON.stringify(instruction)}, ` +
-            `loc: ${JSON.stringify(`${line}:${column + 1}`)}, args: [`);
-        this.s.overwrite(call.end - 1, call.end, "] })");
-        this.usedRuntime = true;
-        for (const arg of call.arguments)
-            this.visit(arg, inNolaFnBody, false);
-    }
-    /**
-     * NOLA2004 for untyped extractors in slot positions: direct args and anywhere
-     * inside plain object/array literal nesting (mirrors the runtime slot walk).
-     */
-    checkCallIntentArg(arg) {
-        if (arg.type === "NolaExtractExpression") {
-            if (!arg.typeArgs) {
-                this.diag(Codes.UntypedCallIntentArg, "an extractor used as a call-intent argument must have an explicit <T>.", arg);
-            }
-            return;
-        }
-        if (arg.type === "ObjectExpression") {
-            for (const prop of arg.properties) {
-                if (prop.type === "ObjectProperty")
-                    this.checkCallIntentArg(prop.value);
-            }
-            return;
-        }
-        if (arg.type === "ArrayExpression") {
-            for (const el of arg.elements) {
-                if (el)
-                    this.checkCallIntentArg(el);
-            }
-        }
-    }
-    lowerExtract(node, inNolaFnBody) {
-        const quasi = node.quasi;
-        if (!quasi)
-            return;
-        let typeExpr = "__nola.types.string()";
-        let typeText = "<any>";
-        if (node.typeArgs) {
-            const t = node.typeArgs.params[0];
-            if (t) {
-                typeText = `<${this.source.slice(t.start, t.end)}>`;
-                const derived = deriveTypeExpr(t, this.deriveCtx);
-                if (derived.ok) {
-                    typeExpr = derived.expr;
-                    this.absorbTypeNeeds(derived.refs, derived.companions);
-                }
-                else {
-                    this.diag(Codes.UnsupportedIntentType, derived.message, derived.node);
-                }
-            }
-        }
-        const { line, column } = node.loc.start;
-        // Prefix up to (but not including) the template preserves the template's
-        // original bytes; each ${expr} gets __nola.fmt(...) wrapped around it.
-        this.s.overwrite(node.start, quasi.start, `__nola.intents.ExtractIntent${typeText}({ instruction: `);
-        for (const expr of quasi.expressions) {
-            this.s.appendLeft(expr.start, "__nola.fmt(");
-            this.s.appendLeft(expr.end, ")");
-        }
-        const suffix = `, type: ${typeExpr}, loc: ${JSON.stringify(`${line}:${column + 1}`)} })`;
-        if (node.end > quasi.end) {
-            // Replaces the <T> span (which follows the template).
-            this.s.overwrite(quasi.end, node.end, suffix);
-        }
-        else {
-            // appendLeft: must precede an enclosing ask's appendRight ")".
-            this.s.appendLeft(node.end, suffix);
-        }
-        this.usedRuntime = true;
-        for (const expr of quasi.expressions)
-            this.visit(expr, inNolaFnBody, false);
-    }
-}
-//# sourceMappingURL=lower.js.map

package/dist/lower.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"lower.js","sourceRoot":"","sources":["../src/lower.ts"],"names":[],"mappings":"AAAA,OAAO,EAKL,KAAK,EACL,QAAQ,GAST,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAClD,OAAO,EAEL,eAAe,EACf,iBAAiB,EAEjB,kBAAkB,EAElB,cAAc,GACf,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAG1C;;;;;;GAMG;AACH,MAAM,cAAc,GAAG,CAAC,WAAmB,EAAE,EAAE,CAAC;;oBAE5B,SAAS;0DAC6B,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC;CACpF,CAAC;AAEF,MAAM,UAAU,KAAK,CAAC,MAAc,EAAE,IAAY,EAAE,GAAa,EAAE,cAAsB,IAAI;IAC3F,OAAO,IAAI,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC,GAAG,EAAE,CAAC;AAC3D,CAAC;AAED,MAAM,OAAO;IACM,CAAC,CAAe;IAChB,MAAM,CAAS;IAChC,mEAAmE;IAClD,IAAI,CAAS;IAC9B,sEAAsE;IACrD,WAAW,CAAS;IACpB,GAAG,CAAW;IACd,WAAW,GAAiB,EAAE,CAAC;IAC/B,IAAI,GAAgC,EAAE,aAAa,EAAE,EAAE,EAAE,CAAC;IACnE,WAAW,GAAG,KAAK,CAAC;IAC5B,4FAA4F;IAC3E,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3D,qEAAqE;IACpD,gBAAgB,GAAG,IAAI,GAAG,EAA2B,CAAC;IACvE,kFAAkF;IACjE,SAAS,CAAgB;IAE1C,YAAY,MAAc,EAAE,IAAY,EAAE,GAAa,EAAE,WAAmB;QAC1E,IAAI,CAAC,CAAC,GAAG,IAAI,YAAY,CAAC,MAAM,CAAC,CAAC;QAClC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,WAAW,GAAG,WAAW,CAAC;QAC/B,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC;QACf,IAAI,CAAC,SAAS,GAAG;YACf,MAAM;YACN,QAAQ,EAAE,mBAAmB,CAAC,GAAG,CAAC;YAClC,OAAO,EAAE,kBAAkB,CAAC,GAAG,CAAC;YAChC,mBAAmB,EAAE,WAAW;YAChC,YAAY,EAAE,EAAE;SACjB,CAAC;IACJ,CAAC;IAED,GAAG;QACD,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAElC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YACrB,mEAAmE;YACnE,iEAAiE;YACjE,kDAAkD;YAClD,IAAI,QAAQ,GAAG,cAAc,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAChD,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;gBAC9C,yEAAyE;gBACzE,yEAAyE;gBACzE,wEAAwE;gBACxE,QAAQ,IAAI,YAAY,eAAe,CAAC,IAAI,CAAC,+DAA+D,IAAI,OAAO,CAAC;YAC1H,CAAC;YACD,0EAA0E;YAC1E,wEAAwE;YACxE,KAAK,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,IAAI,CAAC,gBAAgB,EAAE,CAAC;gBACjD,QAAQ,IAAI,YAAY,GAAG,CAAC,YAAY,YAAY,eAAe,CAAC,KAAK,CAAC,WAAW,IAAI,CAAC,SAAS,CAAC,qBAAqB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC;YACjJ,CAAC;YACD,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAC5B,CAAC;QAED,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC;QACzF,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAClD,MAAM,UAAU,GAAG;YACjB,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,gBAAgB,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;SAC/F,CAAC,IAAI,EAAE,CAAC;QAET,OAAO;YACL,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE;YACvB,GAAG;YACH,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE;SAC3D,CAAC;IACJ,CAAC;IAEO,IAAI,CAAC,IAAY,EAAE,OAAe,EAAE,IAAc;QACxD,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;IAC7G,CAAC;IAED,0FAA0F;IAClF,UAAU,CAAC,UAAwC,EAAE,IAAkB;QAC7E,KAAK,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,UAAU;YAAE,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC7E,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YAC1C,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACxE,CAAC;QACD,KAAK,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,IAAI,CAAC,UAAU;YAAE,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACpF,CAAC;IAEO,eAAe,CAAC,IAAiB,EAAE,UAAwC;QACjF,MAAM,IAAI,GAAG,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;QACrD,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QAClC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM;YAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,qBAAqB,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IACzF,CAAC;IAED,sDAAsD;IACtD,8EAA8E;IACtE,KAAK,CAAC,IAAc,EAAE,YAAqB,EAAE,QAAiB;QACpE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,uBAAuB,CAAC,CAAC,CAAC;gBAC7B,MAAM,OAAO,GAAG,IAA6B,CAAC;gBAC9C,qEAAqE;gBACrE,mCAAmC;gBACnC,IAAI,OAAO,CAAC,SAAS,IAAI,CAAC,OAAO,CAAC,KAAK;oBAAE,OAAO;gBAChD,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;gBACzC,OAAO;YACT,CAAC;YACD,KAAK,mBAAmB,CAAC,CAAC,CAAC;gBACzB,MAAM,GAAG,GAAG,IAAyB,CAAC;gBACtC,IAAI,CAAC,YAAY,EAAE,CAAC;oBAClB,IAAI,CAAC,IAAI,CACP,KAAK,CAAC,sBAAsB,EAC5B,+DAA+D,EAC/D,IAAI,CACL,CAAC;gBACJ,CAAC;qBAAM,CAAC;oBACN,qEAAqE;oBACrE,+CAA+C;oBAC/C,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAC,CAAC;oBACtE,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC9E,oEAAoE;oBACpE,oDAAoD;oBACpD,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,EAAE,UAAU,QAAQ,GAAG,CAAC,CAAC;oBACpD,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC;gBAC1B,CAAC;gBACD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,YAAY,EAAE,KAAK,CAAC,CAAC;gBAC9C,OAAO;YACT,CAAC;YACD,KAAK,qBAAqB,CAAC,CAAC,CAAC;gBAC3B,MAAM,EAAE,GAAG,IAAwB,CAAC;gBACpC,IAAI,CAAC,EAAE,CAAC,SAAS,EAAE,CAAC;oBAClB,MAAM;gBACR,CAAC;gBAED,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACd,yDAAyD;oBACzD,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,iBAAiB,EAAE,uDAAuD,EAAE,IAAI,CAAC,CAAC;oBAClG,MAAM;gBACR,CAAC;gBAED,IAAI,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC;gBAE5B,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC;oBACZ,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;wBACtC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;oBACjC,CAAC;gBACH,CAAC;gBACD,OAAO;YACT,CAAC;YACD,KAAK,gBAAgB,CAAC,CAAC,CAAC;gBACtB,MAAM,IAAI,GAAG,IAA0B,CAAC;gBACxC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,0BAA0B,EAAE,CAAC;oBACpD,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;oBACzC,OAAO;gBACT,CAAC;gBACD,MAAM;YACR,CAAC;YACD;gBACE,MAAM;QACV,CAAC;QACD,MAAM,eAAe,GACnB,IAAI,CAAC,IAAI,KAAK,qBAAqB;YACnC,IAAI,CAAC,IAAI,KAAK,oBAAoB;YAClC,IAAI,CAAC,IAAI,KAAK,yBAAyB;YACvC,IAAI,CAAC,IAAI,KAAK,cAAc;YAC5B,IAAI,CAAC,IAAI,KAAK,aAAa,CAAC;QAC9B,MAAM,YAAY,GAChB,IAAI,CAAC,IAAI,KAAK,MAAM;YACpB,IAAI,CAAC,IAAI,KAAK,SAAS;YACvB,CAAC,QAAQ,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,wBAAwB,IAAI,IAAI,CAAC,IAAI,KAAK,0BAA0B,CAAC,CAAC,CAAC;QACrG,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC;IAEO,kBAAkB,CAAC,EAAoB;QAC7C,MAAM,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC;QAC3B,IAAI,CAAC,KAAK;YAAE,OAAO;QACnB,MAAM,IAAI,GAAG,EAAE,CAAC,EAAE,EAAE,IAAI,IAAI,WAAW,CAAC;QACxC,mEAAmE;QACnE,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;QACtC,MAAM,WAAW,GAAG,EAAE,CAAC,UAAU,EAAE,WAAW,IAAI,EAAE,CAAC;QACrD,IAAI,EAAE,CAAC,UAAU;YAAE,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QACzE,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC;QACrB,IAAI,CAAC,IAAI;YAAE,OAAO;QAElB,4EAA4E;QAC5E,0EAA0E;QAC1E,0EAA0E;QAC1E,yEAAyE;QACzE,qEAAqE;QACrE,MAAM,UAAU,GAAa,EAAE,CAAC;QAChC,KAAK,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,IAAI,EAAE,CAAoB,EAAE,CAAC;YACrD,IAAI,CAAC,CAAC,cAAc;gBAAE,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,KAAK,EAAE,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC;YAClF,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,KAAK,mBAAmB,CAAC,CAAC,CAAG,CAA2B,CAAC,IAAsB,CAAC,CAAC,CAAC,CAAC,CAAC;YACzG,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY;gBAAE,SAAS,CAAC,qEAAqE;YACjH,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC;YAC9B,IAAI,CAAC,SAAS;gBAAE,SAAS;YACzB,IAAI,SAAS,GAAG,EAAE,CAAC;YACnB,MAAM,KAAK,GAAG,MAAM,CAAC,cAAc,EAAE,cAAc,CAAC;YACpD,IAAI,KAAK,EAAE,CAAC;gBACV,MAAM,OAAO,GAAG,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;gBACtD,IAAI,OAAO,CAAC,EAAE,EAAE,CAAC;oBACf,qEAAqE;oBACrE,uEAAuE;oBACvE,kEAAkE;oBAClE,kEAAkE;oBAClE,MAAM,IAAI,GAAG,iBAAiB,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;oBAC7D,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;wBAC7B,SAAS,GAAG,WAAW,OAAO,CAAC,IAAI,EAAE,CAAC;wBACtC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;oBAC5C,CAAC;gBACH,CAAC;YACH,CAAC;YACD,MAAM,QAAQ,GAAG,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,8BAA8B,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACnF,UAAU,CAAC,IAAI,CAAC,WAAW,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,SAAS,GAAG,QAAQ,IAAI,CAAC,CAAC;QACnF,CAAC;QACD,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QAEpF,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,qDAAqD,CAAC,CAAC;QAC1F,IAAI,CAAC,CAAC,CAAC,UAAU,CACf,IAAI,CAAC,GAAG,GAAG,CAAC,EACZ,qCAAqC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,kBAAkB,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,GAAG,SAAS,SAAS,CAC5H,CAAC;QACF,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC;IAC1B,CAAC;IAEO,eAAe,CAAC,IAAwB,EAAE,YAAqB;QACrE,MAAM,MAAM,GAAG,IAAI,CAAC,MAAsC,CAAC;QAC3D,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;QAC9B,IAAI,KAAK,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACjC,IAAI,CAAC,IAAI,CACP,KAAK,CAAC,wBAAwB;YAC9B,+FAA+F;YAC/F,iEAAiE,EACjE,KAAK,CAAC,WAAW,CAAC,CAAC,CAAa,CACjC,CAAC;YACF,OAAO;QACT,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,SAAS;YAAE,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC;QAC/D,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACpF,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;QACtD,MAAM,MAAM,GAAG,GAAG,CAAC,IAAI,KAAK,YAAY,IAAI,GAAG,CAAC,IAAI,KAAK,kBAAkB,CAAC;QAC5E,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,CAAC,8BAA8B,OAAO,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1E,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;QACxC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,uCAAuC,QAAQ,SAAS,CAAC,CAAC;QACxF,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAc,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;QACnG,IAAI,CAAC,CAAC,CAAC,SAAS,CACd,GAAG,CAAC,GAAG,EACP,SAAS,EACT,WAAW,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,kBAAkB,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI;YACjF,QAAQ,IAAI,CAAC,SAAS,CAAC,GAAG,IAAI,IAAI,MAAM,GAAG,CAAC,EAAE,CAAC,WAAW,CAC7D,CAAC;QACF,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACjD,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC;QACxB,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,SAAS;YAAE,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,YAAY,EAAE,KAAK,CAAC,CAAC;IACzE,CAAC;IAED;;;OAGG;IACK,kBAAkB,CAAC,GAAa;QACtC,IAAI,GAAG,CAAC,IAAI,KAAK,uBAAuB,EAAE,CAAC;YACzC,IAAI,CAAE,GAA6B,CAAC,QAAQ,EAAE,CAAC;gBAC7C,IAAI,CAAC,IAAI,CACP,KAAK,CAAC,oBAAoB,EAC1B,wEAAwE,EACxE,GAAG,CACJ,CAAC;YACJ,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,GAAG,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;YACpC,KAAK,MAAM,IAAI,IAAK,GAA4B,CAAC,UAAU,EAAE,CAAC;gBAC5D,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB;oBAAE,IAAI,CAAC,kBAAkB,CAAE,IAA2B,CAAC,KAAK,CAAC,CAAC;YAClG,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,GAAG,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;YACnC,KAAK,MAAM,EAAE,IAAK,GAA2B,CAAC,QAAQ,EAAE,CAAC;gBACvD,IAAI,EAAE;oBAAE,IAAI,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC;YACtC,CAAC;QACH,CAAC;IACH,CAAC;IAEO,YAAY,CAAC,IAA2B,EAAE,YAAqB;QACrE,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QACzB,IAAI,CAAC,KAAK;YAAE,OAAO;QACnB,IAAI,QAAQ,GAAG,uBAAuB,CAAC;QACvC,IAAI,QAAQ,GAAG,OAAO,CAAC;QACvB,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClB,MAAM,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAClC,IAAI,CAAC,EAAE,CAAC;gBACN,QAAQ,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;gBACpD,MAAM,OAAO,GAAG,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;gBAClD,IAAI,OAAO,CAAC,EAAE,EAAE,CAAC;oBACf,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC;oBACxB,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;gBACzD,CAAC;qBAAM,CAAC;oBACN,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,qBAAqB,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;gBACxE,CAAC;YACH,CAAC;QACH,CAAC;QACD,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;QACxC,yEAAyE;QACzE,uEAAuE;QACvE,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,+BAA+B,QAAQ,kBAAkB,CAAC,CAAC;QACrG,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;YACrC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;YAC7C,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,CAAC;QACD,MAAM,MAAM,GAAG,WAAW,QAAQ,UAAU,IAAI,CAAC,SAAS,CAAC,GAAG,IAAI,IAAI,MAAM,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC;QACzF,IAAI,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;YACzB,sDAAsD;YACtD,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAChD,CAAC;aAAM,CAAC;YACN,+DAA+D;YAC/D,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACtC,CAAC;QACD,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC;QACxB,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,WAAW;YAAE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,YAAY,EAAE,KAAK,CAAC,CAAC;IAC9E,CAAC;CACF"}