@nola-lang/compiler 0.1.0-alpha.0

package/dist/lower/lower.js

@@ -0,0 +1,319 @@
+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)}); }
+`;
+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/lower.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lower.js","sourceRoot":"","sources":["../../src/lower/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,sBAAsB,CAAC;AAC7D,OAAO,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAC;AACnD,OAAO,EAEL,eAAe,EACf,iBAAiB,EAEjB,kBAAkB,EAElB,cAAc,GACf,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAG3C;;;;;;GAMG;AACH,MAAM,cAAc,GAAG,CAAC,WAAmB,EAAE,EAAE,CAAC;;oBAE5B,SAAS;0DAC6B,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC;CACpF,CAAC;AAIF,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"}

package/dist/lower/templates.d.ts

@@ -0,0 +1,61 @@
+import type { Position } from "@nola-lang/ast";
+import { type CompanionImport } from "../schema-expr.js";
+/**
+ * Every piece of TS text the lowering emits lives here; the Lowerer decides
+ * WHERE each piece lands (span mechanics), this module decides WHAT it says.
+ */
+/**
+ * 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.
+ */
+export declare const runtimeImport: (displayFile: string) => string;
+/**
+ * Appendix accessor for a named type. A `function` declaration for the same TDZ
+ * reason as `__nola_file_ctx`: a top-level extractor evaluates during module
+ * evaluation, before any appendix statement runs. 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 ambient stub and the runtime.
+ */
+export declare const typeAccessorDecl: (name: string, expr: string) => string;
+/**
+ * Appendix import binding a companion accessor. Hoists like any ESM import;
+ * the binding is a function, initialized before module evaluation (cycle-safe).
+ */
+export declare const companionImportDecl: (localName: string, imp: CompanionImport) => string;
+/** Human-facing `"line:col"` with BOTH 1-based (AST columns are 0-based). */
+export declare const locText: ({ line, column }: Position) => string;
+export declare const ASK_OPEN = "await __nola.ask(";
+/** Closes `__nola.ask(`; the `ask with <name>` alias re-enters as the third argument. */
+export declare const askClose: (providerName?: string) => string;
+/**
+ * The wrapper opener. The `void` read of every named param forces the
+ * executor closure to capture them: V8 drops variables an arrow never
+ * references, so a `..user` the body does not mention would otherwise be
+ * unavailable to the debugger's evaluate — hover over the param showed
+ * nothing. One statement per param (a comma expression is TS2695 under
+ * strict); they ride the unmapped wrapper line, so stepping never sees them.
+ */
+export declare const invocationOpen: (paramNames: string[]) => string;
+/** One FunctionScopeInit args entry; only contextual (`..`) params carry the live value. */
+export declare const invocationArgEntry: (name: string, typeExpr: string | undefined, contextual: boolean) => string;
+export declare const invocationClose: (fnName: string, instruction: string, argEntries: string[]) => string;
+/** Result type argument recovered from the tagged callee (simple tags only). */
+export declare const callIntentTypeText: (tagText: string) => string;
+export declare const callIntentOpen: (typeText: string) => string;
+export declare const callIntentArgsHead: (tagText: string, instruction: string, loc: Position) => string;
+export declare const CALL_INTENT_CLOSE = "] })";
+/** An untyped extractor resolves as a string. */
+export declare const EXTRACT_DEFAULT_TYPE_EXPR = "__nola.types.string()";
+export declare const EXTRACT_DEFAULT_TYPE_TEXT = "<any>";
+/** The extractor's `<T>` echoed as written in the source. */
+export declare const typeArgsText: (sourceText: string) => string;
+export declare const extractOpen: (typeText: string) => string;
+/** Wraps each `${expr}` substitution in the extractor template. */
+export declare const FMT_OPEN = "__nola.fmt(";
+export declare const FMT_CLOSE = ")";
+export declare const extractClose: (typeExpr: string, loc: Position) => string;
+//# sourceMappingURL=templates.d.ts.map

package/dist/lower/templates.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"templates.d.ts","sourceRoot":"","sources":["../../src/lower/templates.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAG/C,OAAO,EAAmB,KAAK,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAE1E;;;GAGG;AAEH;;;;;;GAMG;AACH,eAAO,MAAM,aAAa,GAAI,aAAa,MAAM,WAIhD,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,gBAAgB,GAAI,MAAM,MAAM,EAAE,MAAM,MAAM,WACmD,CAAC;AAE/G;;;GAGG;AACH,eAAO,MAAM,mBAAmB,GAAI,WAAW,MAAM,EAAE,KAAK,eAAe,WACwD,CAAC;AAEpI,6EAA6E;AAC7E,eAAO,MAAM,OAAO,GAAI,kBAAkB,QAAQ,WAA4B,CAAC;AAE/E,eAAO,MAAM,QAAQ,sBAAsB,CAAC;AAE5C,yFAAyF;AACzF,eAAO,MAAM,QAAQ,GAAI,eAAe,MAAM,WAC0B,CAAC;AAEzE;;;;;;;GAOG;AACH,eAAO,MAAM,cAAc,GAAI,YAAY,MAAM,EAAE,WACsD,CAAC;AAE1G,4FAA4F;AAC5F,eAAO,MAAM,kBAAkB,GAAI,MAAM,MAAM,EAAE,UAAU,MAAM,GAAG,SAAS,EAAE,YAAY,OAAO,WACoC,CAAC;AAEvI,eAAO,MAAM,eAAe,GAAI,QAAQ,MAAM,EAAE,aAAa,MAAM,EAAE,YAAY,MAAM,EAAE,WAGxF,CAAC;AAEF,gFAAgF;AAChF,eAAO,MAAM,kBAAkB,GAAI,SAAS,MAAM,WAA+C,CAAC;AAElG,eAAO,MAAM,cAAc,GAAI,UAAU,MAAM,WAA6D,CAAC;AAE7G,eAAO,MAAM,kBAAkB,GAAI,SAAS,MAAM,EAAE,aAAa,MAAM,EAAE,KAAK,QAAQ,WAErC,CAAC;AAElD,eAAO,MAAM,iBAAiB,SAAS,CAAC;AAExC,iDAAiD;AACjD,eAAO,MAAM,yBAAyB,0BAA0B,CAAC;AACjE,eAAO,MAAM,yBAAyB,UAAU,CAAC;AAEjD,6DAA6D;AAC7D,eAAO,MAAM,YAAY,GAAI,YAAY,MAAM,WAAsB,CAAC;AAEtE,eAAO,MAAM,WAAW,GAAI,UAAU,MAAM,WAA8D,CAAC;AAE3G,mEAAmE;AACnE,eAAO,MAAM,QAAQ,gBAAgB,CAAC;AACtC,eAAO,MAAM,SAAS,MAAM,CAAC;AAE7B,eAAO,MAAM,YAAY,GAAI,UAAU,MAAM,EAAE,KAAK,QAAQ,WACI,CAAC"}

package/dist/lower/templates.js

@@ -0,0 +1,70 @@
+import { NOLA_EMIT } from "@nola-lang/core";
+import { companionSpecifierFor } from "../companion-name.js";
+import { accessorNameFor } from "../schema-expr.js";
+/**
+ * Every piece of TS text the lowering emits lives here; the Lowerer decides
+ * WHERE each piece lands (span mechanics), this module decides WHAT it says.
+ */
+/**
+ * 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.
+ */
+export const runtimeImport = (displayFile) => `
+import { __nola } from "@nola-lang/runtime";
+__nola.useRuntime(${NOLA_EMIT});
+function __nola_file_ctx() { return __nola.context.file(${JSON.stringify(displayFile)}); }
+`;
+/**
+ * Appendix accessor for a named type. A `function` declaration for the same TDZ
+ * reason as `__nola_file_ctx`: a top-level extractor evaluates during module
+ * evaluation, before any appendix statement runs. 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 ambient stub and the runtime.
+ */
+export const typeAccessorDecl = (name, expr) => `function ${accessorNameFor(name)}(): import("@nola-lang/runtime").InferType<unknown> { return ${expr}; }\n`;
+/**
+ * Appendix import binding a companion accessor. Hoists like any ESM import;
+ * the binding is a function, initialized before module evaluation (cycle-safe).
+ */
+export const companionImportDecl = (localName, imp) => `import { ${imp.importedName} as ${accessorNameFor(localName)} } from ${JSON.stringify(companionSpecifierFor(imp.specifier))};\n`;
+/** Human-facing `"line:col"` with BOTH 1-based (AST columns are 0-based). */
+export const locText = ({ line, column }) => `${line}:${column + 1}`;
+export const ASK_OPEN = "await __nola.ask(";
+/** Closes `__nola.ask(`; the `ask with <name>` alias re-enters as the third argument. */
+export const askClose = (providerName) => `, __frame${providerName ? `, ${JSON.stringify(providerName)}` : ""})`;
+/**
+ * The wrapper opener. The `void` read of every named param forces the
+ * executor closure to capture them: V8 drops variables an arrow never
+ * references, so a `..user` the body does not mention would otherwise be
+ * unavailable to the debugger's evaluate — hover over the param showed
+ * nothing. One statement per param (a comma expression is TS2695 under
+ * strict); they ride the unmapped wrapper line, so stepping never sees them.
+ */
+export const invocationOpen = (paramNames) => `\n  return __nola.intents.Intent(async (__frame) => {${paramNames.map((n) => ` void ${n};`).join("")}`;
+/** One FunctionScopeInit args entry; only contextual (`..`) params carry the live value. */
+export const invocationArgEntry = (name, typeExpr, contextual) => `{ name: ${JSON.stringify(name)}${typeExpr ? `, type: ${typeExpr}` : ""}${contextual ? `, contextual: true, value: ${name}` : ""} }`;
+export const invocationClose = (fnName, instruction, argEntries) => {
+    const argsField = argEntries.length > 0 ? `, args: [${argEntries.join(", ")}]` : "";
+    return `  }, __nola_file_ctx().func({ fn: ${JSON.stringify(fnName)}, instruction: ${JSON.stringify(instruction)}${argsField} }));\n`;
+};
+/** Result type argument recovered from the tagged callee (simple tags only). */
+export const callIntentTypeText = (tagText) => `<Awaited<ReturnType<typeof ${tagText}>>>`;
+export const callIntentOpen = (typeText) => `__nola.intents.FunctionCallingIntent${typeText}({ fn: `;
+export const callIntentArgsHead = (tagText, instruction, loc) => `, name: ${JSON.stringify(tagText)}, instruction: ${JSON.stringify(instruction)}, ` +
+    `loc: ${JSON.stringify(locText(loc))}, args: [`;
+export const CALL_INTENT_CLOSE = "] })";
+/** An untyped extractor resolves as a string. */
+export const EXTRACT_DEFAULT_TYPE_EXPR = "__nola.types.string()";
+export const EXTRACT_DEFAULT_TYPE_TEXT = "<any>";
+/** The extractor's `<T>` echoed as written in the source. */
+export const typeArgsText = (sourceText) => `<${sourceText}>`;
+export const extractOpen = (typeText) => `__nola.intents.ExtractIntent${typeText}({ instruction: `;
+/** Wraps each `${expr}` substitution in the extractor template. */
+export const FMT_OPEN = "__nola.fmt(";
+export const FMT_CLOSE = ")";
+export const extractClose = (typeExpr, loc) => `, type: ${typeExpr}, loc: ${JSON.stringify(locText(loc))} })`;
+//# sourceMappingURL=templates.js.map

package/dist/lower/templates.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"templates.js","sourceRoot":"","sources":["../../src/lower/templates.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAC7D,OAAO,EAAE,eAAe,EAAwB,MAAM,mBAAmB,CAAC;AAE1E;;;GAGG;AAEH;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,WAAmB,EAAE,EAAE,CAAC;;oBAElC,SAAS;0DAC6B,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC;CACpF,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,IAAY,EAAE,IAAY,EAAE,EAAE,CAC7D,YAAY,eAAe,CAAC,IAAI,CAAC,gEAAgE,IAAI,OAAO,CAAC;AAE/G;;;GAGG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,SAAiB,EAAE,GAAoB,EAAE,EAAE,CAC7E,YAAY,GAAG,CAAC,YAAY,OAAO,eAAe,CAAC,SAAS,CAAC,WAAW,IAAI,CAAC,SAAS,CAAC,qBAAqB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC;AAEpI,6EAA6E;AAC7E,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,EAAY,EAAE,EAAE,CAAC,GAAG,IAAI,IAAI,MAAM,GAAG,CAAC,EAAE,CAAC;AAE/E,MAAM,CAAC,MAAM,QAAQ,GAAG,mBAAmB,CAAC;AAE5C,yFAAyF;AACzF,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,YAAqB,EAAE,EAAE,CAChD,YAAY,YAAY,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC;AAEzE;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,UAAoB,EAAE,EAAE,CACrD,wDAAwD,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;AAE1G,4FAA4F;AAC5F,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,IAAY,EAAE,QAA4B,EAAE,UAAmB,EAAE,EAAE,CACpG,WAAW,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,WAAW,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,8BAA8B,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;AAEvI,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,MAAc,EAAE,WAAmB,EAAE,UAAoB,EAAE,EAAE;IAC3F,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IACpF,OAAO,qCAAqC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,kBAAkB,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,GAAG,SAAS,SAAS,CAAC;AACvI,CAAC,CAAC;AAEF,gFAAgF;AAChF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,OAAe,EAAE,EAAE,CAAC,8BAA8B,OAAO,KAAK,CAAC;AAElG,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,QAAgB,EAAE,EAAE,CAAC,uCAAuC,QAAQ,SAAS,CAAC;AAE7G,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,OAAe,EAAE,WAAmB,EAAE,GAAa,EAAE,EAAE,CACxF,WAAW,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,kBAAkB,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI;IACnF,QAAQ,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,WAAW,CAAC;AAElD,MAAM,CAAC,MAAM,iBAAiB,GAAG,MAAM,CAAC;AAExC,iDAAiD;AACjD,MAAM,CAAC,MAAM,yBAAyB,GAAG,uBAAuB,CAAC;AACjE,MAAM,CAAC,MAAM,yBAAyB,GAAG,OAAO,CAAC;AAEjD,6DAA6D;AAC7D,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,UAAkB,EAAE,EAAE,CAAC,IAAI,UAAU,GAAG,CAAC;AAEtE,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,QAAgB,EAAE,EAAE,CAAC,+BAA+B,QAAQ,kBAAkB,CAAC;AAE3G,mEAAmE;AACnE,MAAM,CAAC,MAAM,QAAQ,GAAG,aAAa,CAAC;AACtC,MAAM,CAAC,MAAM,SAAS,GAAG,GAAG,CAAC;AAE7B,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,QAAgB,EAAE,GAAa,EAAE,EAAE,CAC9D,WAAW,QAAQ,UAAU,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC"}

package/dist/lower.d.ts

@@ -0,0 +1,4 @@
+import { type BaseNode } from "@nola-lang/ast";
+import type { CompileResult } from "./types.js";
+export declare function lower(source: string, file: string, ast: BaseNode, displayFile?: string): CompileResult;
+//# sourceMappingURL=lower.d.ts.map

package/dist/lower.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lower.d.ts","sourceRoot":"","sources":["../src/lower.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,KAAK,QAAQ,EAYd,MAAM,gBAAgB,CAAC;AAcxB,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAehD,wBAAgB,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,QAAQ,EAAE,WAAW,GAAE,MAAa,GAAG,aAAa,CAE5G"}