@procedures/compiler 0.0.0-stage → 0.3.0

package/dist/checks.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"checks.js","sourceRoot":"","sources":["../src/checks.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,iBAAiB,EAAwE,MAAM,4BAA4B,CAAC;AACrI,OAAO,EAAE,UAAU,EAAe,IAAI,EAAE,MAAM,SAAS,CAAC;AACxD,OAAO,EAAE,YAAY,EAAuB,MAAM,YAAY,CAAC;AAC/D,OAAO,EAAE,SAAS,EAAE,SAAS,EAAwB,MAAM,cAAc,CAAC;AAC1E,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAQ7D,6FAA6F;AAC7F,SAAS,eAAe,CAAC,UAA2C;IAClE,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,QAAQ,KAAK,SAAS;QAAE,OAAO,UAAU,CAAC;IACxE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,IAAI,EAAE,GAAG,UAAU,CAAC;IACpD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,kGAAkG;AAClG,SAAS,aAAa,CAAC,UAA2C;IAChE,MAAM,SAAS,GAAG,UAAU,EAAE,OAAO,CAAC;IACtC,IAAI,CAAC,SAAS;QAAE,OAAO,KAAK,CAAC;IAC7B,MAAM,OAAO,GAAG,CAAC,MAA6C,EAAW,EAAE,CAAC,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,KAAK,CAAC;IACrH,OAAO,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,SAAS,CAAC,WAAW,KAAK,KAAK,CAAC;AAClG,CAAC;AAED,+EAA+E;AAC/E,SAAS,WAAW,CAAC,IAAmB,EAAE,OAA4B;IACpE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,EAA6B,CAAC;AACnF,CAAC;AAED,kDAAkD;AAClD,MAAM,UAAU,UAAU,CAAC,IAAY,EAAE,KAAqB,EAAE,OAAwB,EAAE,OAAO,GAAqB,EAAE;IACtH,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,UAAU,GAAG,eAAe,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IACvD,MAAM,OAAO,GAAG,aAAa,CAAC,UAAU,CAAC,CAAC;IAE1C,MAAM,KAAK,GAAG,CAAC,IAAY,EAAQ,EAAE;QACnC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC7B,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC/E,WAAW,CAAC,IAAI,CAAC;oBACf,QAAQ,EAAE,SAAS;oBACnB,IAAI,EAAE,mBAAmB;oBACzB,OAAO,EAAE,6BAA6B,IAAI,CAAC,GAAG,mEAAmE;oBACjH,OAAO,EAAE,IAAI,CAAC,OAAO;iBACtB,CAAC,CAAC;YACL,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;YAAE,OAAO;QAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK;YAAE,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACnE,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;QACvB,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC;YAAE,OAAO;QACrG,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,WAAW,CAAC,IAAI,CAAC;gBACf,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,mBAAmB;gBACzB,OAAO,EAAE,6BAA6B,IAAI,CAAC,GAAG,wDAAwD;gBACtG,OAAO,EAAE,IAAI,CAAC,OAAO;aACtB,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YACzB,WAAW,CAAC,IAAI,CAAC;gBACf,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,aAAa;gBACnB,OAAO,EAAE,4BAA4B,IAAI,CAAC,GAAG,uGAAuG;gBACpJ,OAAO,EAAE,IAAI,CAAC,OAAO;aACtB,CAAC,CAAC;QACL,CAAC;QACD,IAAI,UAAU,EAAE,CAAC;YACf,MAAM,OAAO,GAAG,iBAAiB,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE,UAAU,CAAC,CAAC;YAChF,IAAI,OAAO,EAAE,CAAC;gBACZ,WAAW,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,oBAAoB,EAAE,OAAO,EAAE,qCAAqC,OAAO,CAAC,MAAM,MAAM,OAAO,CAAC,OAAO,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;YACnL,CAAC;QACH,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACpD,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACtC,IAAI,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC5B,WAAW,CAAC,IAAI,CAAC;oBACf,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM;oBACpC,IAAI,EAAE,iBAAiB;oBACvB,OAAO,EAAE,OAAO;wBACd,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,oKAAoK;wBACjL,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,4FAA4F;oBAC3G,OAAO,EAAE,IAAI,CAAC,OAAO;iBACtB,CAAC,CAAC;YACL,CAAC;iBAAM,IAAI,IAAI,IAAI,UAAU,EAAE,CAAC;gBAC9B,MAAM,OAAO,GAAG,iBAAiB,CAAC,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;gBACtF,IAAI,OAAO,EAAE,CAAC;oBACZ,WAAW,CAAC,IAAI,CAAC;wBACf,QAAQ,EAAE,OAAO;wBACjB,IAAI,EAAE,oBAAoB;wBAC1B,OAAO,EAAE,sCAAsC,IAAI,CAAC,GAAG,UAAU,OAAO,CAAC,MAAM,MAAM,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,kBAAkB,IAAI,CAAC,GAAG,EAAE,CAAC,GAAG;wBACvJ,OAAO,EAAE,IAAI,CAAC,OAAO;qBACtB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,sBAAsB,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC;gBACvG,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;oBACxF,WAAW,CAAC,IAAI,CAAC;wBACf,QAAQ,EAAE,OAAO;wBACjB,IAAI,EAAE,cAAc;wBACpB,OAAO,EAAE,gBAAgB,IAAI,CAAC,GAAG,oCAAoC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,OAAO,GAAG;wBAC3H,OAAO,EAAE,KAAK,CAAC,OAAO;qBACvB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IACF,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAClB,OAAO,WAAW,CAAC;AACrB,CAAC"}

package/dist/codegen-closure.d.ts

@@ -0,0 +1,19 @@
+/**
+ * The closure code: the IR to a JavaScript function made of closures. A host runs it without
+ * `eval` and without `new Function`.
+ *
+ * The function does the steps of the interpreter in the same order. Each call goes through
+ * `ctx.client.call`, so it keeps its admission, validation, deadline and interceptors. The
+ * control-flow procedures do not start: the function does their work in line. A dynamic node
+ * calls its procedure with the raw input, and the interpreter of the client runs it.
+ */
+import type { ProgramIR } from "./ir.js";
+import { type CompiledProgram } from "./runtime.js";
+/** The options of the closure code. */
+export interface ClosureOptions {
+    /** The keys of the procedures that take raw input, for `client.exec(program, input)`. */
+    readonly rawKeys: readonly string[];
+}
+/** This function makes the closure code of a program. */
+export declare function compileClosure(ir: ProgramIR, options: ClosureOptions): CompiledProgram;
+//# sourceMappingURL=codegen-closure.d.ts.map

package/dist/codegen-closure.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"codegen-closure.d.ts","sourceRoot":"","sources":["../src/codegen-closure.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAqB,SAAS,EAAiB,MAAM,SAAS,CAAC;AAC3E,OAAO,EAcL,KAAK,eAAe,EAGrB,MAAM,cAAc,CAAC;AAUtB,uCAAuC;AACvC,MAAM,WAAW,cAAc;IAC7B,yFAAyF;IACzF,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC;AAED,yDAAyD;AACzD,wBAAgB,cAAc,CAAC,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,cAAc,GAAG,eAAe,CAUtF"}

package/dist/codegen-closure.js

@@ -0,0 +1,200 @@
+/**
+ * The closure code: the IR to a JavaScript function made of closures. A host runs it without
+ * `eval` and without `new Function`.
+ *
+ * The function does the steps of the interpreter in the same order. Each call goes through
+ * `ctx.client.call`, so it keeps its admission, validation, deadline and interceptors. The
+ * control-flow procedures do not start: the function does their work in line. A dynamic node
+ * calls its procedure with the raw input, and the interpreter of the client runs it.
+ */
+import { call, callRaw, deferred, execWithInput, fail, get, items as itemsOf, merge, message, object, parallel, truthy, unknownName, } from "./runtime.js";
+/** This function makes the closure code of a program. */
+export function compileClosure(ir, options) {
+    const root = compile(ir.root);
+    const { mode, program, input: inputBinding, bindingCount } = ir;
+    const rawKeys = [...options.rawKeys];
+    return async (ctx, input) => {
+        if (mode === "exec" && input !== undefined)
+            return execWithInput(ctx, program, input, rawKeys);
+        const state = { ctx, vars: new Array(bindingCount) };
+        if (inputBinding)
+            state.vars[inputBinding.id] = input;
+        return root(state);
+    };
+}
+/** The frames of a scope with the values of a run, for `withScope()`. */
+function framesOf(snapshot, vars) {
+    if (!snapshot)
+        return undefined;
+    return snapshot.map((frame) => ({
+        names: frame.names.map(([name, binding]) => [name, vars[binding.id]]),
+        ...(frame.last ? { last: [vars[frame.last.id]] } : {}),
+    }));
+}
+function compileItems(spec) {
+    if (spec.kind === "list") {
+        const runs = spec.items.map(compile);
+        return async (state) => {
+            const values = [];
+            for (const run of runs)
+                values.push(await run(state));
+            return values;
+        };
+    }
+    const run = compile(spec.value);
+    return async (state) => itemsOf(await run(state));
+}
+function compile(node) {
+    switch (node.kind) {
+        case "literal": {
+            const value = node.value;
+            return async () => value;
+        }
+        case "object": {
+            const parts = node.entries.map((entry) => [entry.key, compile(entry.value)]);
+            return async (state) => {
+                const entries = [];
+                for (const [key, run] of parts)
+                    entries.push([key, await run(state)]);
+                return object(entries);
+            };
+        }
+        case "array": {
+            const runs = node.items.map(compile);
+            return async (state) => {
+                const values = [];
+                for (const run of runs)
+                    values.push(await run(state));
+                return values;
+            };
+        }
+        case "reference": {
+            const { binding, fields, text, deferred: isDeferred, source } = node;
+            if (binding) {
+                const id = binding.id;
+                return fields.length === 0 ? async (state) => state.vars[id] : async (state) => get(state.vars[id], fields);
+            }
+            if (isDeferred)
+                return async () => source;
+            return async () => unknownName(text);
+        }
+        case "call": {
+            const input = compile(node.input);
+            const { path, extra } = node;
+            return async (state) => call(state.ctx, path, merge(await input(state), extra));
+        }
+        case "deferred": {
+            const input = compile(node.input);
+            const source = node.source;
+            return async (state) => deferred(source, await input(state));
+        }
+        case "dynamic": {
+            const input = compile(node.input);
+            const { path, extra, scope } = node;
+            return async (state) => callRaw(state.ctx, path, merge(await input(state), extra), framesOf(scope, state.vars));
+        }
+        case "fail": {
+            const text = node.message;
+            return async () => fail(text);
+        }
+        case "chain": {
+            const initial = node.initialInput ? compile(node.initialInput) : undefined;
+            const initialId = node.initial?.id;
+            const steps = node.steps.map((step) => [step.result.id, compile(step.node)]);
+            return async (state) => {
+                if (initial && initialId !== undefined)
+                    state.vars[initialId] = await initial(state);
+                const results = [];
+                for (const [id, run] of steps) {
+                    const result = await run(state);
+                    state.vars[id] = result;
+                    results.push(result);
+                }
+                return { results, final: results[results.length - 1] };
+            };
+        }
+        case "parallel": {
+            const tasks = node.tasks.map(compile);
+            const { concurrency, failFast } = node;
+            return async (state) => parallel(tasks.map((task) => () => task(state)), concurrency, failFast);
+        }
+        case "conditional": {
+            const condition = compile(node.condition);
+            const thenRun = node.then ? compile(node.then) : undefined;
+            const elseRun = node.else ? compile(node.else) : undefined;
+            return async (state) => {
+                const branch = truthy(await condition(state)) ? thenRun : elseRun;
+                return branch ? branch(state) : undefined;
+            };
+        }
+        case "try": {
+            const tried = compile(node.try);
+            const caught = compile(node.catch);
+            const errorId = node.error.id;
+            return async (state) => {
+                try {
+                    const value = await tried(state);
+                    return { success: true, value };
+                }
+                catch (error) {
+                    const text = message(error);
+                    state.vars[errorId] = text;
+                    const value = await caught(state);
+                    return { success: false, value, error: text };
+                }
+            };
+        }
+        case "and":
+        case "or": {
+            const values = node.values.map(compile);
+            const stop = node.kind === "and" ? (value) => !value : (value) => Boolean(value);
+            return async (state) => {
+                let last = undefined;
+                for (const run of values) {
+                    last = await run(state);
+                    if (stop(last))
+                        return last;
+                }
+                return last;
+            };
+        }
+        case "map": {
+            const list = compileItems(node.items);
+            const fn = node.fn ? compile(node.fn) : undefined;
+            const itemId = node.item.id;
+            const indexId = node.index.id;
+            return async (state) => {
+                const values = await list(state);
+                if (!fn)
+                    return { results: values };
+                const results = [];
+                for (const [index, item] of values.entries()) {
+                    state.vars[itemId] = item;
+                    state.vars[indexId] = index;
+                    results.push(await fn(state));
+                }
+                return { results };
+            };
+        }
+        case "reduce": {
+            const initial = compile(node.initial);
+            if (!node.fn || !node.items)
+                return initial;
+            const list = compileItems(node.items);
+            const fn = compile(node.fn);
+            const { acc: accBinding, item: itemBinding, index: indexBinding } = node;
+            return async (state) => {
+                const values = await list(state);
+                let acc = await initial(state);
+                for (const [index, item] of values.entries()) {
+                    state.vars[accBinding.id] = acc;
+                    state.vars[itemBinding.id] = item;
+                    state.vars[indexBinding.id] = index;
+                    acc = await fn(state);
+                }
+                return acc;
+            };
+        }
+    }
+}
+//# sourceMappingURL=codegen-closure.js.map

package/dist/codegen-closure.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"codegen-closure.js","sourceRoot":"","sources":["../src/codegen-closure.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,EACL,IAAI,EACJ,OAAO,EACP,QAAQ,EACR,aAAa,EACb,IAAI,EACJ,GAAG,EACH,KAAK,IAAI,OAAO,EAChB,KAAK,EACL,OAAO,EACP,MAAM,EACN,QAAQ,EACR,MAAM,EACN,WAAW,GAIZ,MAAM,cAAc,CAAC;AAgBtB,yDAAyD;AACzD,MAAM,UAAU,cAAc,CAAC,EAAa,EAAE,OAAuB;IACnE,MAAM,IAAI,GAAG,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAC9B,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,YAAY,EAAE,GAAG,EAAE,CAAC;IAChE,MAAM,OAAO,GAAG,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IACrC,OAAO,KAAK,EAAE,GAAmB,EAAE,KAAe,EAAoB,EAAE;QACtE,IAAI,IAAI,KAAK,MAAM,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,aAAa,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;QAC/F,MAAM,KAAK,GAAU,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,KAAK,CAAU,YAAY,CAAC,EAAE,CAAC;QACrE,IAAI,YAAY;YAAE,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC;QACtD,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC;IACrB,CAAC,CAAC;AACJ,CAAC;AAED,yEAAyE;AACzE,SAAS,QAAQ,CAAC,QAAuB,EAAE,IAAwB;IACjE,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAChC,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC9B,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,EAA8B,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;QACjG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAChE,CAAC,CAAC,CAAC;AACN,CAAC;AAED,SAAS,YAAY,CAAC,IAAe;IACnC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACrC,OAAO,KAAK,EAAE,KAAK,EAAE,EAAE;YACrB,MAAM,MAAM,GAAc,EAAE,CAAC;YAC7B,KAAK,MAAM,GAAG,IAAI,IAAI;gBAAE,MAAM,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;YACtD,OAAO,MAAM,CAAC;QAChB,CAAC,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChC,OAAO,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;AACpD,CAAC;AAED,SAAS,OAAO,CAAC,IAAY;IAC3B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,SAAS,EAAE,CAAC;YACf,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;YACzB,OAAO,KAAK,IAAI,EAAE,CAAC,KAAK,CAAC;QAC3B,CAAC;QACD,KAAK,QAAQ,EAAE,CAAC;YACd,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAU,CAAC,CAAC;YACtF,OAAO,KAAK,EAAE,KAAK,EAAE,EAAE;gBACrB,MAAM,OAAO,GAAsC,EAAE,CAAC;gBACtD,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,KAAK;oBAAE,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,MAAM,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBACtE,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC;YACzB,CAAC,CAAC;QACJ,CAAC;QACD,KAAK,OAAO,EAAE,CAAC;YACb,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACrC,OAAO,KAAK,EAAE,KAAK,EAAE,EAAE;gBACrB,MAAM,MAAM,GAAc,EAAE,CAAC;gBAC7B,KAAK,MAAM,GAAG,IAAI,IAAI;oBAAE,MAAM,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;gBACtD,OAAO,MAAM,CAAC;YAChB,CAAC,CAAC;QACJ,CAAC;QACD,KAAK,WAAW,EAAE,CAAC;YACjB,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;YACrE,IAAI,OAAO,EAAE,CAAC;gBACZ,MAAM,EAAE,GAAG,OAAO,CAAC,EAAE,CAAC;gBACtB,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;YAC9G,CAAC;YACD,IAAI,UAAU;gBAAE,OAAO,KAAK,IAAI,EAAE,CAAC,MAAM,CAAC;YAC1C,OAAO,KAAK,IAAI,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;QACvC,CAAC;QACD,KAAK,MAAM,EAAE,CAAC;YACZ,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAClC,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC;YAC7B,OAAO,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,MAAM,KAAK,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;QAClF,CAAC;QACD,KAAK,UAAU,EAAE,CAAC;YAChB,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAClC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;YAC3B,OAAO,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;QAC/D,CAAC;QACD,KAAK,SAAS,EAAE,CAAC;YACf,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAClC,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC;YACpC,OAAO,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,MAAM,KAAK,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,EAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QAClH,CAAC;QACD,KAAK,MAAM,EAAE,CAAC;YACZ,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC;YAC1B,OAAO,KAAK,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,CAAC;QACD,KAAK,OAAO,EAAE,CAAC;YACb,MAAM,OAAO,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAC3E,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;YACnC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAU,CAAC,CAAC;YACtF,OAAO,KAAK,EAAE,KAAK,EAAE,EAAE;gBACrB,IAAI,OAAO,IAAI,SAAS,KAAK,SAAS;oBAAE,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,MAAM,OAAO,CAAC,KAAK,CAAC,CAAC;gBACrF,MAAM,OAAO,GAAc,EAAE,CAAC;gBAC9B,KAAK,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC;oBAC9B,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,KAAK,CAAC,CAAC;oBAChC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC;oBACxB,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACvB,CAAC;gBACD,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;YACzD,CAAC,CAAC;QACJ,CAAC;QACD,KAAK,UAAU,EAAE,CAAC;YAChB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACtC,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC;YACvC,OAAO,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,WAAW,EAAE,QAAQ,CAAC,CAAC;QAClG,CAAC;QACD,KAAK,aAAa,EAAE,CAAC;YACnB,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAC1C,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAC3D,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAC3D,OAAO,KAAK,EAAE,KAAK,EAAE,EAAE;gBACrB,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;gBAClE,OAAO,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAC5C,CAAC,CAAC;QACJ,CAAC;QACD,KAAK,KAAK,EAAE,CAAC;YACX,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAChC,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACnC,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAC9B,OAAO,KAAK,EAAE,KAAK,EAAE,EAAE;gBACrB,IAAI,CAAC;oBACH,MAAM,KAAK,GAAG,MAAM,KAAK,CAAC,KAAK,CAAC,CAAC;oBACjC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;gBAClC,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBACf,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;oBAC5B,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC;oBAC3B,MAAM,KAAK,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC,CAAC;oBAClC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;gBAChD,CAAC;YACH,CAAC,CAAC;QACJ,CAAC;QACD,KAAK,KAAK,CAAC;QACX,KAAK,IAAI,EAAE,CAAC;YACV,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACxC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,KAAc,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAc,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YACnG,OAAO,KAAK,EAAE,KAAK,EAAE,EAAE;gBACrB,IAAI,IAAI,GAAY,SAAS,CAAC;gBAC9B,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;oBACzB,IAAI,GAAG,MAAM,GAAG,CAAC,KAAK,CAAC,CAAC;oBACxB,IAAI,IAAI,CAAC,IAAI,CAAC;wBAAE,OAAO,IAAI,CAAC;gBAC9B,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC,CAAC;QACJ,CAAC;QACD,KAAK,KAAK,EAAE,CAAC;YACX,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACtC,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAClD,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAC9B,OAAO,KAAK,EAAE,KAAK,EAAE,EAAE;gBACrB,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,CAAC;gBACjC,IAAI,CAAC,EAAE;oBAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;gBACpC,MAAM,OAAO,GAAc,EAAE,CAAC;gBAC9B,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;oBAC7C,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;oBAC1B,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,KAAK,CAAC;oBAC5B,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;gBAChC,CAAC;gBACD,OAAO,EAAE,OAAO,EAAE,CAAC;YACrB,CAAC,CAAC;QACJ,CAAC;QACD,KAAK,QAAQ,EAAE,CAAC;YACd,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACtC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK;gBAAE,OAAO,OAAO,CAAC;YAC5C,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACtC,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC5B,MAAM,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,YAAY,EAAE,GAAG,IAAI,CAAC;YACzE,OAAO,KAAK,EAAE,KAAK,EAAE,EAAE;gBACrB,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,CAAC;gBACjC,IAAI,GAAG,GAAG,MAAM,OAAO,CAAC,KAAK,CAAC,CAAC;gBAC/B,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;oBAC7C,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC;oBAChC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC;oBAClC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC;oBACpC,GAAG,GAAG,MAAM,EAAE,CAAC,KAAK,CAAC,CAAC;gBACxB,CAAC;gBACD,OAAO,GAAG,CAAC;YACb,CAAC,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/codegen-text.d.ts

@@ -0,0 +1,44 @@
+/**
+ * The source text: the IR to the text of an ES module (JavaScript or TypeScript).
+ *
+ * The text does the same steps as the closure code, with the functions of
+ * `@procedures/compiler/runtime`. Each literal goes into the text through `JSON.stringify` or
+ * through a number or a keyword, so a value of the program cannot change the code. Each key of
+ * an object is a computed key, so `__proto__` stays an own property.
+ */
+import type { Pointer, ProgramIR } from "./ir.js";
+import type { Diagnostic } from "./diagnostics.js";
+/** The options of the source text. */
+export interface TextOptions {
+    /** `js` (the default) or `ts`: TypeScript adds the types that a strict configuration needs. */
+    readonly language?: "js" | "ts" | undefined;
+    /** The import specifier of the runtime. The default is `@procedures/compiler/runtime`. */
+    readonly runtime?: string | undefined;
+    /** The hash of the manifest that the code was compiled against. */
+    readonly registryHash: string;
+    /** The keys of the procedures that take raw input, for `client.exec(program, input)`. */
+    readonly rawKeys: readonly string[];
+}
+/** One line of the source map: a line of the module and the pointer of its part of the program. */
+export interface SourceMapLine {
+    /** The line number in the module, from 1. */
+    readonly line: number;
+    readonly pointer: Pointer;
+}
+/** The source text of a program. */
+export interface ProgramText {
+    /** The ES module: its default export is `async (ctx, input) => output`. */
+    readonly module: string;
+    /**
+     * The body of an async function with the parameters `rt` (the runtime), `ctx` and `input`, in
+     * JavaScript. A host that can evaluate code (a test, a playground) uses it.
+     */
+    readonly body: string;
+    /** The lines of the module that start a part of the program. */
+    readonly sourceMap: SourceMapLine[];
+    /** The literals that have no source text. Then the text is not complete. */
+    readonly diagnostics: Diagnostic[];
+}
+/** This function writes the source text of a program. */
+export declare function emitText(ir: ProgramIR, options: TextOptions): ProgramText;
+//# sourceMappingURL=codegen-text.d.ts.map

package/dist/codegen-text.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"codegen-text.d.ts","sourceRoot":"","sources":["../src/codegen-text.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,KAAK,EAA8B,OAAO,EAAE,SAAS,EAAiB,MAAM,SAAS,CAAC;AAE7F,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAEnD,sCAAsC;AACtC,MAAM,WAAW,WAAW;IAC1B,+FAA+F;IAC/F,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,GAAG,IAAI,GAAG,SAAS,CAAC;IAC5C,0FAA0F;IAC1F,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACtC,mEAAmE;IACnE,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,yFAAyF;IACzF,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC;AAED,mGAAmG;AACnG,MAAM,WAAW,aAAa;IAC5B,6CAA6C;IAC7C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC3B;AAED,oCAAoC;AACpC,MAAM,WAAW,WAAW;IAC1B,2EAA2E;IAC3E,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB;;;OAGG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,gEAAgE;IAChE,QAAQ,CAAC,SAAS,EAAE,aAAa,EAAE,CAAC;IACpC,4EAA4E;IAC5E,QAAQ,CAAC,WAAW,EAAE,UAAU,EAAE,CAAC;CACpC;AA4RD,yDAAyD;AACzD,wBAAgB,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,WAAW,GAAG,WAAW,CAgEzE"}

package/dist/codegen-text.js

@@ -0,0 +1,360 @@
+/**
+ * The source text: the IR to the text of an ES module (JavaScript or TypeScript).
+ *
+ * The text does the same steps as the closure code, with the functions of
+ * `@procedures/compiler/runtime`. Each literal goes into the text through `JSON.stringify` or
+ * through a number or a keyword, so a value of the program cannot change the code. Each key of
+ * an object is a computed key, so `__proto__` stays an own property.
+ */
+import { isPlainObject } from "@procedures/client/browser";
+import { childrenOf, walk } from "./ir.js";
+/** The deepest literal that the text writes: a deeper value is not serializable (no stack overflow). */
+const MAX_LITERAL_DEPTH = 2000;
+const LINE_SEPARATOR = String.fromCharCode(0x2028);
+const PARAGRAPH_SEPARATOR = String.fromCharCode(0x2029);
+const BACKSLASH = String.fromCharCode(0x5c);
+/** A string literal: JSON, and the two line separators that a comment does not permit. */
+function str(value) {
+    return JSON.stringify(value).split(LINE_SEPARATOR).join(BACKSLASH + "u2028").split(PARAGRAPH_SEPARATOR).join(BACKSLASH + "u2029");
+}
+/**
+ * The key of a property in an object literal: a name, or a computed key. `__proto__` is always a
+ * computed key: as a name or a string, it sets the prototype and makes no property.
+ */
+function propertyKey(key) {
+    return /^[A-Za-z_$][A-Za-z0-9_$]*$/.test(key) && key !== "__proto__" ? key : `[${str(key)}]`;
+}
+/** The comment that names the pointer of a line, for the source map. */
+function pointerComment(pointer) {
+    return ` // ${str(pointer)}`;
+}
+class Emitter {
+    ts;
+    diagnostics = [];
+    temps = 0;
+    /** The bindings that a reference or a scope reads: only these get a variable. */
+    used = new Set();
+    usesContext = false;
+    usesRuntime = false;
+    constructor(ts) {
+        this.ts = ts;
+    }
+    temp() {
+        return `t${this.temps++}`;
+    }
+    rt(name) {
+        this.usesRuntime = true;
+        return `rt.${name}`;
+    }
+    ctx() {
+        this.usesContext = true;
+        return "ctx";
+    }
+    type(annotation) {
+        return this.ts ? `: ${annotation}` : "";
+    }
+    /** The source of a literal value, or undefined when the value has none. */
+    literal(value, pointer, seen = new Set()) {
+        switch (typeof value) {
+            case "undefined":
+                return "undefined";
+            case "boolean":
+                return value ? "true" : "false";
+            case "number":
+                if (Number.isNaN(value))
+                    return "NaN";
+                if (value === Infinity)
+                    return "Infinity";
+                if (value === -Infinity)
+                    return "-Infinity";
+                if (Object.is(value, -0))
+                    return "-0";
+                return String(value);
+            case "bigint":
+                return `${value}n`;
+            case "string":
+                return str(value);
+            case "object": {
+                if (value === null)
+                    return "null";
+                if (seen.has(value))
+                    return this.unserializable(pointer, "the value contains itself");
+                if (seen.size > MAX_LITERAL_DEPTH)
+                    return this.unserializable(pointer, `the value nests deeper than ${MAX_LITERAL_DEPTH} levels`);
+                seen.add(value);
+                try {
+                    if (Array.isArray(value))
+                        return `[${Array.from(value, (item) => this.literal(item, pointer, seen)).join(", ")}]`;
+                    if (isPlainObject(value) && Object.getOwnPropertySymbols(value).length === 0) {
+                        const entries = Object.entries(value);
+                        if (entries.length === 0)
+                            return "{}";
+                        return `{ ${entries.map(([key, item]) => `${propertyKey(key)}: ${this.literal(item, pointer, seen)}`).join(", ")} }`;
+                    }
+                    return this.unserializable(pointer, "the value is not plain data (a class instance or a runtime ref)");
+                }
+                finally {
+                    seen.delete(value);
+                }
+            }
+            default:
+                return this.unserializable(pointer, `a ${typeof value} has no source text`);
+        }
+    }
+    unserializable(pointer, why) {
+        this.diagnostics.push({
+            severity: "warning",
+            code: "not-serializable",
+            message: `The source text cannot hold this literal: ${why}. The text has undefined in its place. The closure code is complete.`,
+            pointer,
+        });
+        return "undefined";
+    }
+    path(path) {
+        return `[${path.map((segment) => str(segment)).join(", ")}]`;
+    }
+    frames(snapshot) {
+        if (!snapshot)
+            return "undefined";
+        return `[${snapshot
+            .map((frame) => {
+            const names = frame.names.map(([name, binding]) => `[${str(name)}, ${this.binding(binding)}]`).join(", ");
+            return `{ names: [${names}]${frame.last ? `, last: [${this.binding(frame.last)}]` : ""} }`;
+        })
+            .join(", ")}]`;
+    }
+    binding(binding) {
+        return `b${binding.id}`;
+    }
+    /** An async block that gives a value: `(await (async () => { ... })())`. */
+    block(lines, indent, pointer, what) {
+        const inner = lines.map((line) => `${indent}  ${line}`).join("\n");
+        return `(await (async () => {${pointerComment(pointer)} ${what}\n${inner}\n${indent}})())`;
+    }
+    items(spec, indent) {
+        if (spec.kind === "list")
+            return `[${spec.items.map((item) => this.expr(item, indent)).join(", ")}]`;
+        return `${this.rt("items")}(${this.expr(spec.value, indent)})`;
+    }
+    /** The expression of a node. `indent` is the indent of the line that holds it. */
+    expr(node, indent) {
+        const deeper = `${indent}  `;
+        switch (node.kind) {
+            case "literal":
+                return this.literal(node.value, node.pointer);
+            case "object":
+                if (node.entries.length === 0)
+                    return "{}";
+                return `${this.rt("object")}([${node.entries.map((entry) => `[${str(entry.key)}, ${this.expr(entry.value, indent)}]`).join(", ")}])`;
+            case "array":
+                return `[${node.items.map((item) => this.expr(item, indent)).join(", ")}]`;
+            case "reference": {
+                if (node.binding) {
+                    const variable = this.binding(node.binding);
+                    return node.fields.length === 0 ? variable : `${this.rt("get")}(${variable}, [${node.fields.map(str).join(", ")}])`;
+                }
+                if (node.deferred)
+                    return this.literal(node.source, node.pointer);
+                return `${this.rt("unknownName")}(${str(node.text)})`;
+            }
+            case "call": {
+                const input = this.expr(node.input, indent);
+                const merged = Object.keys(node.extra).length > 0 ? `${this.rt("merge")}(${input}, ${this.literal(node.extra, node.pointer)})` : input;
+                return `(await ${this.rt("call")}(${this.ctx()}, ${this.path(node.path)}, ${merged}))`;
+            }
+            case "deferred":
+                return `${this.rt("deferred")}(${this.literal(node.source, node.pointer)}, ${this.expr(node.input, indent)})`;
+            case "dynamic": {
+                const input = this.expr(node.input, indent);
+                const merged = Object.keys(node.extra).length > 0 ? `${this.rt("merge")}(${input}, ${this.literal(node.extra, node.pointer)})` : input;
+                return `(await ${this.rt("callRaw")}(${this.ctx()}, ${this.path(node.path)}, ${merged}, ${this.frames(node.scope)}))`;
+            }
+            case "fail":
+                return `${this.rt("fail")}(${str(node.message)})`;
+            case "chain": {
+                const lines = [];
+                if (node.initialInput && node.initial) {
+                    const initial = this.expr(node.initialInput, deeper);
+                    lines.push(this.used.has(node.initial.id) ? `const ${this.binding(node.initial)} = ${initial};` : `void ${initial};`);
+                }
+                for (const step of node.steps) {
+                    lines.push(`const ${this.binding(step.result)} = ${this.expr(step.node, deeper)};${pointerComment(step.pointer)}`);
+                }
+                const results = this.temp();
+                lines.push(`const ${results}${this.type("unknown[]")} = [${node.steps.map((step) => this.binding(step.result)).join(", ")}];`);
+                lines.push(`return { results: ${results}, final: ${results}[${results}.length - 1] };`);
+                return this.block(lines, indent, node.pointer, node.implicit ? "implicit chain" : "client.chain");
+            }
+            case "parallel": {
+                const tasks = node.tasks.map((task) => `async () => (${this.expr(task, deeper)})`);
+                const concurrency = node.concurrency === undefined ? "undefined" : String(node.concurrency);
+                return `(await ${this.rt("parallel")}([${tasks.join(", ")}], ${concurrency}, ${node.failFast ? "true" : "false"}))`;
+            }
+            case "conditional": {
+                const lines = [
+                    `if (${this.rt("truthy")}(${this.expr(node.condition, deeper)})) return ${node.then ? this.expr(node.then, deeper) : "undefined"};`,
+                    `return ${node.else ? this.expr(node.else, deeper) : "undefined"};`,
+                ];
+                return this.block(lines, indent, node.pointer, "client.conditional");
+            }
+            case "try": {
+                const error = this.temp();
+                const tried = this.temp();
+                const lines = [`try {`, `  const ${tried} = ${this.expr(node.try, `${deeper}  `)};`];
+                lines.push(`  return { success: true, value: ${tried} };`);
+                lines.push(`} catch (${error}) {`);
+                lines.push(`  const ${this.binding(node.error)} = ${this.rt("message")}(${error});`);
+                const caught = this.temp();
+                lines.push(`  const ${caught} = ${this.expr(node.catch, `${deeper}  `)};`);
+                lines.push(`  return { success: false, value: ${caught}, error: ${this.binding(node.error)} };`);
+                lines.push(`}`);
+                return this.block(lines, indent, node.pointer, "client.tryCatch");
+            }
+            case "and":
+            case "or": {
+                const last = this.temp();
+                const lines = [`let ${last}${this.type("unknown")};`];
+                node.values.forEach((value, index) => {
+                    lines.push(`${last} = ${this.expr(value, deeper)};${pointerComment(value.pointer)}`);
+                    if (index < node.values.length - 1)
+                        lines.push(`if (${node.kind === "and" ? "!" : ""}${last}) return ${last};`);
+                });
+                lines.push(`return ${last};`);
+                return this.block(lines, indent, node.pointer, `client.${node.kind}`);
+            }
+            case "map": {
+                const values = this.temp();
+                const lines = [`const ${values}${this.type("unknown[]")} = ${this.items(node.items, deeper)};`];
+                if (!node.fn) {
+                    lines.push(`return { results: ${values} };`);
+                }
+                else {
+                    const results = this.temp();
+                    lines.push(`const ${results}${this.type("unknown[]")} = [];`);
+                    lines.push(`for (const [${this.declare(node.index)}, ${this.declare(node.item)}] of ${values}.entries()) {`);
+                    lines.push(`  ${results}.push(${this.expr(node.fn, `${deeper}  `)});${pointerComment(node.fn.pointer)}`);
+                    lines.push(`}`);
+                    lines.push(`return { results: ${results} };`);
+                }
+                return this.block(lines, indent, node.pointer, "client.map");
+            }
+            case "reduce": {
+                if (!node.fn || !node.items)
+                    return this.expr(node.initial, indent);
+                const values = this.temp();
+                const acc = this.temp();
+                const lines = [
+                    `const ${values}${this.type("unknown[]")} = ${this.items(node.items, deeper)};`,
+                    `let ${acc}${this.type("unknown")} = ${this.expr(node.initial, deeper)};`,
+                    `for (const [${this.declare(node.index)}, ${this.declare(node.item)}] of ${values}.entries()) {`,
+                ];
+                if (this.used.has(node.acc.id))
+                    lines.push(`  const ${this.binding(node.acc)} = ${acc};`);
+                lines.push(`  ${acc} = ${this.expr(node.fn, `${deeper}  `)};${pointerComment(node.fn.pointer)}`);
+                lines.push(`}`);
+                lines.push(`return ${acc};`);
+                return this.block(lines, indent, node.pointer, "client.reduce");
+            }
+        }
+    }
+    /** The name of a binding in a declaration, or nothing when no reference reads it. */
+    declare(binding) {
+        return this.used.has(binding.id) ? this.binding(binding) : "";
+    }
+}
+/** The bindings that the code reads: the resolved references and the scopes of the dynamic nodes. */
+function usedBindings(root) {
+    const used = new Set();
+    walk(root, (node) => {
+        if (node.kind === "reference" && node.binding)
+            used.add(node.binding.id);
+        if (node.kind === "dynamic" && node.scope) {
+            for (const frame of node.scope) {
+                for (const [, binding] of frame.names)
+                    used.add(binding.id);
+                if (frame.last)
+                    used.add(frame.last.id);
+            }
+        }
+    });
+    return used;
+}
+/** The nesting above which the source text gets a warning. V8 refuses a text of approximately 1000 levels. */
+const MAX_TEXT_DEPTH = 300;
+/** The deepest nesting of the nodes. */
+function depthOf(root) {
+    let deepest = 0;
+    const visit = (node, depth) => {
+        deepest = Math.max(deepest, depth);
+        for (const child of childrenOf(node))
+            visit(child, depth + 1);
+    };
+    visit(root, 1);
+    return deepest;
+}
+/** This function writes the source text of a program. */
+export function emitText(ir, options) {
+    const ts = options.language === "ts";
+    const runtime = options.runtime ?? "@procedures/compiler/runtime";
+    const emitter = new Emitter(ts);
+    for (const id of usedBindings(ir.root))
+        emitter.used.add(id);
+    const depth = depthOf(ir.root);
+    if (depth > MAX_TEXT_DEPTH) {
+        emitter.diagnostics.push({
+            severity: "warning",
+            code: "text-depth",
+            message: `The program nests ${depth} levels deep: a JavaScript parser can refuse a source text this deep. The closure code has no such limit.`,
+            pointer: ir.root.pointer,
+        });
+    }
+    const bodyLines = [];
+    /** The constants of the exec mode: the module has them one time, the function body has them in the body. */
+    const constants = [];
+    let inputUsed = false;
+    if (ir.mode === "exec") {
+        inputUsed = true;
+        constants.push(`const PROGRAM${emitter.type("unknown")} = ${emitter.literal(ir.program, "")};`);
+        constants.push(`const RAW_KEYS${emitter.type("string[]")} = [${options.rawKeys.map(str).join(", ")}];`);
+        bodyLines.push(`if (input !== undefined) return ${emitter.rt("execWithInput")}(${emitter.ctx()}, PROGRAM, input, RAW_KEYS);`);
+    }
+    else if (ir.input && emitter.used.has(ir.input.id)) {
+        inputUsed = true;
+        bodyLines.push(`const ${emitter.binding(ir.input)} = input;`);
+    }
+    bodyLines.push(`return ${emitter.expr(ir.root, "  ")};${pointerComment(ir.root.pointer)}`);
+    const body = bodyLines.map((line) => `  ${line}`).join("\n");
+    const ctxName = emitter.usesContext ? "ctx" : "_ctx";
+    const inputName = inputUsed ? "input" : "_input";
+    const header = [
+        "// Generated by @procedures/compiler from a program. Compile the program again after a change.",
+        `// The registry hash: ${options.registryHash}`,
+        ...(emitter.usesRuntime ? [`import * as rt from ${str(runtime)};`] : []),
+        ...(ts ? [`import type { ProgramContext } from ${str(runtime)};`] : []),
+        "",
+        `export const registryHash${ts ? ": string" : ""} = ${str(options.registryHash)};`,
+        ...(constants.length > 0 ? ["", "// The program, for client.exec(program, input): the input changes the program, so the interpreter runs it", ...constants] : []),
+        "",
+        ts
+            ? `export default async function program(${ctxName}: ProgramContext, ${inputName}?: unknown): Promise<unknown> {`
+            : `export default async function program(${ctxName}, ${inputName}) {`,
+    ];
+    const moduleText = `${[...header, body, "}"].join("\n")}\n`;
+    // The function body for `new AsyncFunction("rt", "ctx", "input", body)`: always JavaScript
+    const jsEmitter = ts ? emitText(ir, { ...options, language: "js" }) : undefined;
+    const functionBody = jsEmitter ? jsEmitter.body : [...constants, ...bodyLines].join("\n");
+    const sourceMap = [];
+    moduleText.split("\n").forEach((line, index) => {
+        const match = /\/\/ ("(?:[^"\\]|\\.)*")(?: [a-zA-Z. ]*)?$/.exec(line);
+        if (match?.[1]) {
+            try {
+                sourceMap.push({ line: index + 1, pointer: JSON.parse(match[1]) });
+            }
+            catch {
+                // Not a pointer comment
+            }
+        }
+    });
+    return { module: moduleText, body: functionBody, sourceMap, diagnostics: emitter.diagnostics };
+}
+//# sourceMappingURL=codegen-text.js.map