openalgo-script 0.1.0-alpha.1 → 0.4.0

package/dist/core/emit/sha256.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sha256.js","sourceRoot":"","sources":["../../../src/core/emit/sha256.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,MAAM,CAAC,GAAsB;IAC3B,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IAC9F,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IAC9F,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IAC9F,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IAC9F,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IAC9F,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IAC9F,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;IAC9F,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;CAC/F,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,UAAU,IAAI,CAAC,IAAY;IAC/B,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,SAAS,IAAI,IAAI,EAAE,CAAC;QAC7B,IAAI,KAAK,GAAG,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC;QAC/C,IAAI,KAAK,IAAI,MAAM,IAAI,KAAK,IAAI,MAAM;YAAE,KAAK,GAAG,MAAM,CAAC;QACvD,IAAI,KAAK,GAAG,IAAI,EAAE,CAAC;YACjB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC;aAAM,IAAI,KAAK,GAAG,KAAK,EAAE,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,KAAK,IAAI,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC;QACzD,CAAC;aAAM,IAAI,KAAK,GAAG,OAAO,EAAE,CAAC;YAC3B,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,IAAI,GAAG,CAAC,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC;QACxF,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CACR,IAAI,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,EACpB,IAAI,GAAG,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC,EAC7B,IAAI,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,EAC5B,IAAI,GAAG,CAAC,KAAK,GAAG,IAAI,CAAC,CACtB,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,WAAW,CAAC,CAAS,EAAE,CAAS;IACvC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;AAC7C,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,IAAY;IACjC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3B,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;IAErC,6EAA6E;IAC7E,wCAAwC;IACxC,MAAM,MAAM,GAAG,IAAI,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACrE,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACpB,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;IAC9B,MAAM,IAAI,GAAG,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACzC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,WAAW,CAAC,EAAE,KAAK,CAAC,CAAC;IAC9E,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,SAAS,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;IAE1D,MAAM,CAAC,GAAG;QACR,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;KAC/F,CAAC;IACF,MAAM,CAAC,GAAG,IAAI,KAAK,CAAS,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAExC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,IAAI,EAAE,EAAE,CAAC;QACvD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC;YAAE,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;QAC5E,KAAK,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;YACzB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;YACxB,MAAM,EAAE,GAAG,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;YAC9D,MAAM,EAAE,GAAG,WAAW,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;YAChE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAW,CAAC;QAC1E,CAAC;QAED,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAE1H,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,MAAM,EAAE,GAAG,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACvE,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;YACnC,MAAM,KAAK,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACnE,MAAM,EAAE,GAAG,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACvE,MAAM,QAAQ,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAC7C,MAAM,KAAK,GAAG,CAAC,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;YACpC,EAAE,GAAG,EAAE,CAAC;YACR,EAAE,GAAG,CAAC,CAAC;YACP,CAAC,GAAG,CAAC,CAAC;YACN,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;YACtB,CAAC,GAAG,CAAC,CAAC;YACN,CAAC,GAAG,CAAC,CAAC;YACN,CAAC,GAAG,CAAC,CAAC;YACN,CAAC,GAAG,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;QAC5B,CAAC;QAED,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;QAC/B,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;QAC/B,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;QAC/B,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;QAC/B,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;QAC/B,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;QAC/B,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;QAChC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;IAClC,CAAC;IAED,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACpE,CAAC"}

package/dist/core/emit/statements.d.ts

@@ -0,0 +1,20 @@
+/**
+ * Statements, as instructions.
+ *
+ * Every statement leaves the operand stack as it found it, which is what
+ * `compiled-program.md` 3.2 means by the stack being empty at the start of
+ * every top-level statement and what the verifier's stack walk checks.
+ *
+ * The one shape worth reading twice is the assignment. Three of them emit no
+ * store at all: a name holding an `input()`, whose slot the engine writes at
+ * step 5 of every bar; a name holding a declaration handle, which is a
+ * compile-time value; and a name holding a grid, which the engine puts in the
+ * slot the declaration names. Each is a declaration wearing an assignment's
+ * clothes, and an emitter that stored them would be emitting per-bar work for
+ * something settled before bar 0.
+ */
+import type { Block, Statement } from '../ast/index.js';
+import type { Emitter, Frame } from './context.js';
+export declare function emitBlock(e: Emitter, f: Frame, block: Block): void;
+export declare function emitStatement(e: Emitter, f: Frame, statement: Statement): void;
+//# sourceMappingURL=statements.d.ts.map

package/dist/core/emit/statements.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"statements.d.ts","sourceRoot":"","sources":["../../../src/core/emit/statements.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,KAAK,EAAE,KAAK,EAAoB,SAAS,EAAmB,MAAM,iBAAiB,CAAC;AAK3F,OAAO,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,cAAc,CAAC;AAanD,wBAAgB,SAAS,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,GAAG,IAAI,CAKlE;AAED,wBAAgB,aAAa,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,GAAG,IAAI,CAuE9E"}

package/dist/core/emit/statements.js

@@ -0,0 +1,393 @@
+import { withoutGrouping } from '../ast/index.js';
+import { libraryEntries } from '../check/index.js';
+import { isInputCall, leavesValue } from './calls.js';
+import { emitBindingRead, emitExpression } from './expressions.js';
+import { emitDeclarationCall } from './outputs.js';
+import { placementOf } from './registers.js';
+const COMPOUND = {
+    '+=': 'ADD',
+    '-=': 'SUB',
+    '*=': 'MUL',
+    '/=': 'DIV',
+    '%=': 'MOD',
+};
+export function emitBlock(e, f, block) {
+    for (const statement of block.statements) {
+        if (statement.kind === 'functionDeclaration')
+            continue;
+        emitStatement(e, f, statement);
+    }
+}
+export function emitStatement(e, f, statement) {
+    switch (statement.kind) {
+        case 'versionLine':
+        case 'scriptDeclaration':
+        case 'limitsLine':
+            // The header describes the file. It is `meta` and `limits`, read once.
+            return;
+        case 'expressionStatement': {
+            // A declaration written as a statement of its own, `plot(close, "C")`
+            // being the ordinary one, goes straight to the declaration path rather
+            // than through the expression path that would reach the same function a
+            // step later. The instructions are the same either way, and what it buys
+            // is the invariant `outputs.ts` argues from: a declaration call reaches
+            // `emitCall` only where a value is wanted.
+            const declared = declarationIn(e, statement.expression);
+            if (declared !== undefined) {
+                emitDeclarationCall(e, f, declared.call, declared.name, undefined);
+                return;
+            }
+            emitExpression(e, f, statement.expression);
+            if (!leavesValue(e, statement.expression))
+                return;
+            f.builder.at(statement.span);
+            f.builder.push('POP');
+            return;
+        }
+        case 'assignment':
+            emitAssignment(e, f, statement);
+            return;
+        case 'varDeclaration':
+            emitVarDeclaration(e, f, statement);
+            return;
+        case 'ifStatement':
+            emitIf(e, f, statement);
+            return;
+        case 'forRangeStatement':
+            emitForRange(e, f, statement);
+            return;
+        case 'forInStatement':
+            emitForIn(e, f, statement);
+            return;
+        case 'whileStatement':
+            emitWhile(e, f, statement);
+            return;
+        case 'switchStatement':
+            emitSwitch(e, f, statement);
+            return;
+        case 'breakStatement': {
+            const loop = f.loops[f.loops.length - 1];
+            f.builder.at(statement.span);
+            const jump = f.builder.push('JUMP', 0);
+            loop?.breaks.push(jump);
+            return;
+        }
+        case 'continueStatement': {
+            const loop = f.loops[f.loops.length - 1];
+            f.builder.at(statement.span);
+            const jump = f.builder.push('JUMP', 0);
+            loop?.continues.push(jump);
+            return;
+        }
+        case 'returnStatement': {
+            f.builder.at(statement.span);
+            // A bare return is `CONST 0` and `RET`, so every function returns a value
+            // and `RET` never has to decide (4.10).
+            if (statement.value === undefined)
+                f.builder.push('CONST', e.pool.absent());
+            else
+                emitExpression(e, f, statement.value);
+            f.builder.at(statement.span);
+            f.builder.push('RET');
+            return;
+        }
+    }
+}
+/** The resolved declaration call a statement is entirely one of, or nothing. */
+function declarationIn(e, expression) {
+    const inner = withoutGrouping(expression);
+    if (inner.kind !== 'call')
+        return undefined;
+    const name = e.callAt(inner)?.name;
+    return name !== undefined && e.isDeclaration(name) ? { call: inner, name } : undefined;
+}
+function emitStore(e, f, binding) {
+    const placement = placementOf(e, binding);
+    if (placement === 'cell')
+        storeCell(e, f, binding);
+    else if (placement === 'register')
+        f.builder.push('SSTORE', e.layout.computedFor(binding));
+    else
+        f.builder.push('STORE', f.layout.slotFor(binding));
+}
+/**
+ * A cell, and the register beside it when a function body reads the name.
+ *
+ * The register is written here as well as at the end of the bar, because a body
+ * called between two assignments has to read the value the second one has not
+ * written yet rather than the one the bar ended with.
+ */
+function storeCell(e, f, binding) {
+    const register = e.carried.has(binding.id) ? e.layout.registerFor(binding) : undefined;
+    if (register !== undefined)
+        f.builder.push('DUP');
+    f.builder.push('STOREC', f.layout.cellFor(binding));
+    if (register !== undefined)
+        f.builder.push('SSTORE', register);
+}
+function emitAssignment(e, f, statement) {
+    const binding = e.checked.targets.get(statement.target);
+    if (binding === undefined)
+        return;
+    // A declaration wearing an assignment's clothes: emit whatever the call does
+    // per bar, which for an input and a grid is nothing, and store nothing. The
+    // target is handed over because two declarations need it: a grid's handle
+    // lives in the name's slot, and a plot's key is what `fill` later names.
+    if (!leavesValue(e, statement.value)) {
+        const inner = withoutGrouping(statement.value);
+        if (inner.kind !== 'call')
+            return;
+        const name = e.callAt(inner)?.name ?? '';
+        const key = emitDeclarationCall(e, f, inner, name, binding);
+        if (key !== undefined)
+            e.handleKeys.set(binding.id, key);
+        return;
+    }
+    const compound = COMPOUND[statement.operator];
+    if (compound !== undefined) {
+        emitBindingRead(e, f, binding, statement.target.span);
+        emitExpression(e, f, statement.value);
+        f.builder.at(statement.span);
+        f.builder.push(compound);
+    }
+    else {
+        emitExpression(e, f, statement.value);
+    }
+    f.builder.at(statement.span);
+    emitStore(e, f, binding);
+}
+/**
+ * `var name = initial`, `compiled-program.md` 4.3.
+ *
+ * `CELL_INIT` marks the cell before the initialiser runs rather than after, so
+ * the flag is set by one instruction rather than by a pair that has to stay
+ * together across a jump.
+ */
+function emitVarDeclaration(e, f, statement) {
+    const binding = e.checked.targets.get(statement.name);
+    if (binding === undefined)
+        return;
+    // The same declaration wearing a declaration's own clothes: `var grid =
+    // table(...)` declares a grid and keeps its handle, and a table is an
+    // ordinary value a name may hold (`language.md` 5.4). The call leaves nothing
+    // on the stack, so a cell to store into is a cell with nothing to put in it,
+    // and the initialiser, the call and the store below would underflow.
+    //
+    // `input()` is the exception and it is the reason the second test is here.
+    // Its row and its slot are declared before any statement is emitted, and what
+    // is written where a value belongs is a read of that slot, so `var len =
+    // input(14, "Length")` has a value to initialise the cell with and means what
+    // every other `var` means. Without this it compiled to a cell nothing wrote
+    // and a settings row a user could move that did nothing at all.
+    if (!leavesValue(e, statement.initialiser) && !isInputCall(e, statement.initialiser)) {
+        const inner = withoutGrouping(statement.initialiser);
+        if (inner.kind !== 'call')
+            return;
+        const name = e.callAt(inner)?.name ?? '';
+        const key = emitDeclarationCall(e, f, inner, name, binding);
+        if (key !== undefined)
+            e.handleKeys.set(binding.id, key);
+        return;
+    }
+    const cell = f.layout.cellFor(binding);
+    f.builder.at(statement.span);
+    const init = f.builder.push('CELL_INIT', cell, 0);
+    emitExpression(e, f, statement.initialiser);
+    f.builder.at(statement.span);
+    storeCell(e, f, binding);
+    f.builder.patch(init, 1, f.builder.here);
+}
+function emitIf(e, f, statement) {
+    const ends = [];
+    statement.branches.forEach((branch, index) => {
+        emitExpression(e, f, branch.condition);
+        f.builder.at(branch.span);
+        const next = f.builder.push('JUMP_FALSE', 0);
+        emitBlock(e, f, branch.body);
+        // A branch with nothing after it falls where its jump would have sent it,
+        // which is why 12.2's worked example ends an `if` at its last instruction.
+        const more = index + 1 < statement.branches.length || statement.elseBranch !== undefined;
+        if (more) {
+            f.builder.at(branch.span);
+            ends.push(f.builder.push('JUMP', 0));
+        }
+        f.builder.patch(next, 0, f.builder.here);
+    });
+    if (statement.elseBranch !== undefined)
+        emitBlock(e, f, statement.elseBranch.body);
+    for (const end of ends)
+        f.builder.patch(end, 0, f.builder.here);
+}
+function emitForRange(e, f, statement) {
+    const binding = e.checked.targets.get(statement.variable);
+    const variable = binding === undefined ? f.layout.slot('i') : f.layout.slotFor(binding);
+    const limit = f.layout.slot('');
+    const step = f.layout.slot('');
+    const id = e.newLoop('for', statement.span);
+    emitExpression(e, f, statement.from);
+    emitExpression(e, f, statement.to);
+    if (statement.step === undefined) {
+        f.builder.at(statement.span);
+        f.builder.push('CONST', e.pool.number(1));
+    }
+    else {
+        emitExpression(e, f, statement.step);
+    }
+    f.builder.at(statement.span);
+    const init = f.builder.push('FOR_INIT', id, variable, limit, step, 0);
+    const tick = f.builder.here;
+    f.builder.push('TICK', id);
+    const frame = { id, breaks: [], continues: [] };
+    f.loops.push(frame);
+    emitBlock(e, f, statement.body);
+    f.loops.pop();
+    f.builder.at(statement.span);
+    const next = f.builder.here;
+    f.builder.push('FOR_NEXT', id, variable, limit, step, tick);
+    const exit = f.builder.push('JUMP', 0);
+    const after = f.builder.here;
+    f.builder.patch(init, 4, after);
+    f.builder.patch(exit, 0, after);
+    for (const jump of frame.breaks)
+        f.builder.patch(jump, 0, after);
+    for (const jump of frame.continues)
+        f.builder.patch(jump, 0, next);
+}
+/**
+ * `for x in arr`, which has no instructions of its own (4.8).
+ *
+ * It compiles to a `while` over a hidden cursor, because its semantics already
+ * are a `while`: the element count is read when the loop is entered, elements
+ * appended during the loop are not visited, and the loop stops early if the
+ * array shrinks past the cursor. The iterable is stored in a hidden slot first,
+ * which 4.8's worked example does not show because its iterable is a bare name;
+ * an expression evaluated three times would run its calls three times.
+ */
+function emitForIn(e, f, statement) {
+    const binding = e.checked.targets.get(statement.variable);
+    const variable = binding === undefined ? f.layout.slot('x') : f.layout.slotFor(binding);
+    const source = f.layout.slot('');
+    const limit = f.layout.slot('');
+    const cursor = f.layout.slot('');
+    const id = e.newLoop('forIn', statement.span);
+    const size = libraryEntries('size').find((one) => one.callable);
+    emitExpression(e, f, statement.iterable);
+    f.builder.at(statement.span);
+    f.builder.push('STORE', source);
+    const sizeOf = () => {
+        f.builder.push('LOAD', source);
+        if (size === undefined) {
+            e.gap('a `for x in` loop re-reads the array size each iteration and this file never calls ' +
+                '`size`, so there is no entry of `lib.functions` for it to name', 'compiled-program.md 4.8 and 2.5', statement.span, true);
+            f.builder.push('CONST', e.pool.absent());
+            return;
+        }
+        f.builder.push('CALL_LIB', e.libraryFunction(size), 1, -1);
+    };
+    sizeOf();
+    f.builder.push('STORE', limit);
+    f.builder.push('CONST', e.pool.number(0));
+    f.builder.push('STORE', cursor);
+    const tick = f.builder.here;
+    f.builder.push('TICK', id);
+    f.builder.push('LOAD', cursor);
+    f.builder.push('LOAD', limit);
+    f.builder.push('LT');
+    const done = f.builder.push('JUMP_FALSE', 0);
+    f.builder.push('LOAD', cursor);
+    sizeOf();
+    f.builder.push('LT');
+    const shrunk = f.builder.push('JUMP_FALSE', 0);
+    f.builder.push('LOAD', source);
+    f.builder.push('LOAD', cursor);
+    f.builder.push('ELEM');
+    f.builder.push('STORE', variable);
+    const frame = { id, breaks: [], continues: [] };
+    f.loops.push(frame);
+    emitBlock(e, f, statement.body);
+    f.loops.pop();
+    f.builder.at(statement.span);
+    const advance = f.builder.here;
+    f.builder.push('LOAD', cursor);
+    f.builder.push('CONST', e.pool.number(1));
+    f.builder.push('ADD');
+    f.builder.push('STORE', cursor);
+    f.builder.push('JUMP', tick);
+    const after = f.builder.here;
+    f.builder.patch(done, 0, after);
+    f.builder.patch(shrunk, 0, after);
+    for (const jump of frame.breaks)
+        f.builder.patch(jump, 0, after);
+    for (const jump of frame.continues)
+        f.builder.patch(jump, 0, advance);
+}
+function emitWhile(e, f, statement) {
+    const id = e.newLoop('while', statement.span);
+    f.builder.at(statement.span);
+    const tick = f.builder.here;
+    f.builder.push('TICK', id);
+    emitExpression(e, f, statement.condition);
+    f.builder.at(statement.span);
+    const done = f.builder.push('JUMP_FALSE', 0);
+    const frame = { id, breaks: [], continues: [] };
+    f.loops.push(frame);
+    emitBlock(e, f, statement.body);
+    f.loops.pop();
+    f.builder.at(statement.span);
+    f.builder.push('JUMP', tick);
+    const after = f.builder.here;
+    f.builder.patch(done, 0, after);
+    for (const jump of frame.breaks)
+        f.builder.patch(jump, 0, after);
+    for (const jump of frame.continues)
+        f.builder.patch(jump, 0, tick);
+}
+/**
+ * `switch`, in both forms of `language.md` 10.6.
+ *
+ * The arms do not fall through, so each one ends in a jump past the rest. With
+ * a subject, the subject is evaluated once into a hidden slot and each case
+ * value is compared against it; without one, each case value is a condition.
+ */
+function emitSwitch(e, f, statement) {
+    let subject;
+    if (statement.subject !== undefined) {
+        subject = f.layout.slot('');
+        emitExpression(e, f, statement.subject);
+        f.builder.at(statement.span);
+        f.builder.push('STORE', subject);
+    }
+    const ends = [];
+    statement.cases.forEach((arm, armIndex) => {
+        arm.values.forEach((value, index) => {
+            if (subject === undefined) {
+                emitExpression(e, f, value);
+            }
+            else {
+                f.builder.at(value.span);
+                f.builder.push('LOAD', subject);
+                emitExpression(e, f, value);
+                f.builder.at(value.span);
+                f.builder.push('EQ');
+            }
+            if (index === 0)
+                return;
+            f.builder.at(value.span);
+            f.builder.push('OR');
+        });
+        f.builder.at(arm.span);
+        const next = f.builder.push('JUMP_FALSE', 0);
+        emitBlock(e, f, arm.body);
+        const more = armIndex + 1 < statement.cases.length || statement.defaultCase !== undefined;
+        if (more) {
+            f.builder.at(arm.span);
+            ends.push(f.builder.push('JUMP', 0));
+        }
+        f.builder.patch(next, 0, f.builder.here);
+    });
+    if (statement.defaultCase !== undefined)
+        emitBlock(e, f, statement.defaultCase.body);
+    for (const end of ends)
+        f.builder.patch(end, 0, f.builder.here);
+}
+//# sourceMappingURL=statements.js.map

package/dist/core/emit/statements.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"statements.js","sourceRoot":"","sources":["../../../src/core/emit/statements.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAElD,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAEtD,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AACnE,OAAO,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAC;AACnD,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAE7C,MAAM,QAAQ,GAAoE;IAChF,IAAI,EAAE,KAAK;IACX,IAAI,EAAE,KAAK;IACX,IAAI,EAAE,KAAK;IACX,IAAI,EAAE,KAAK;IACX,IAAI,EAAE,KAAK;CACZ,CAAC;AAEF,MAAM,UAAU,SAAS,CAAC,CAAU,EAAE,CAAQ,EAAE,KAAY;IAC1D,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QACzC,IAAI,SAAS,CAAC,IAAI,KAAK,qBAAqB;YAAE,SAAS;QACvD,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC;IACjC,CAAC;AACH,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,CAAU,EAAE,CAAQ,EAAE,SAAoB;IACtE,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;QACvB,KAAK,aAAa,CAAC;QACnB,KAAK,mBAAmB,CAAC;QACzB,KAAK,YAAY;YACf,uEAAuE;YACvE,OAAO;QACT,KAAK,qBAAqB,CAAC,CAAC,CAAC;YAC3B,sEAAsE;YACtE,uEAAuE;YACvE,wEAAwE;YACxE,yEAAyE;YACzE,wEAAwE;YACxE,2CAA2C;YAC3C,MAAM,QAAQ,GAAG,aAAa,CAAC,CAAC,EAAE,SAAS,CAAC,UAAU,CAAC,CAAC;YACxD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,mBAAmB,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;gBACnE,OAAO;YACT,CAAC;YACD,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,UAAU,CAAC,CAAC;YAC3C,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE,SAAS,CAAC,UAAU,CAAC;gBAAE,OAAO;YAClD,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;YAC7B,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACtB,OAAO;QACT,CAAC;QACD,KAAK,YAAY;YACf,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC;YAChC,OAAO;QACT,KAAK,gBAAgB;YACnB,kBAAkB,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC;YACpC,OAAO;QACT,KAAK,aAAa;YAChB,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC;YACxB,OAAO;QACT,KAAK,mBAAmB;YACtB,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC;YAC9B,OAAO;QACT,KAAK,gBAAgB;YACnB,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC;YAC3B,OAAO;QACT,KAAK,gBAAgB;YACnB,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC;YAC3B,OAAO;QACT,KAAK,iBAAiB;YACpB,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC;YAC5B,OAAO;QACT,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YACzC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;YAC7B,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YACvC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxB,OAAO;QACT,CAAC;QACD,KAAK,mBAAmB,CAAC,CAAC,CAAC;YACzB,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YACzC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;YAC7B,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YACvC,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC3B,OAAO;QACT,CAAC;QACD,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;YAC7B,0EAA0E;YAC1E,wCAAwC;YACxC,IAAI,SAAS,CAAC,KAAK,KAAK,SAAS;gBAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;;gBACvE,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC;YAC3C,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;YAC7B,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACtB,OAAO;QACT,CAAC;IACH,CAAC;AACH,CAAC;AAED,gFAAgF;AAChF,SAAS,aAAa,CACpB,CAAU,EACV,UAAsB;IAEtB,MAAM,KAAK,GAAG,eAAe,CAAC,UAAU,CAAC,CAAC;IAC1C,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,SAAS,CAAC;IAC5C,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC;IACnC,OAAO,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AACzF,CAAC;AAED,SAAS,SAAS,CAAC,CAAU,EAAE,CAAQ,EAAE,OAAgB;IACvD,MAAM,SAAS,GAAG,WAAW,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IAC1C,IAAI,SAAS,KAAK,MAAM;QAAE,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC;SAC9C,IAAI,SAAS,KAAK,UAAU;QAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC;;QACtF,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;AAC1D,CAAC;AAED;;;;;;GAMG;AACH,SAAS,SAAS,CAAC,CAAU,EAAE,CAAQ,EAAE,OAAgB;IACvD,MAAM,QAAQ,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACvF,IAAI,QAAQ,KAAK,SAAS;QAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClD,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;IACpD,IAAI,QAAQ,KAAK,SAAS;QAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,cAAc,CACrB,CAAU,EACV,CAAQ,EACR,SAAqD;IAErD,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IACxD,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO;IAElC,6EAA6E;IAC7E,4EAA4E;IAC5E,0EAA0E;IAC1E,yEAAyE;IACzE,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QACrC,MAAM,KAAK,GAAG,eAAe,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC/C,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO;QAClC,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,IAAI,IAAI,EAAE,CAAC;QACzC,MAAM,GAAG,GAAG,mBAAmB,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QAC5D,IAAI,GAAG,KAAK,SAAS;YAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QACzD,OAAO;IACT,CAAC;IAED,MAAM,QAAQ,GAAG,QAAQ,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC9C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACtD,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC;QACtC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC7B,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3B,CAAC;SAAM,CAAC;QACN,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC;IACxC,CAAC;IACD,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAC7B,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC;AAC3B,CAAC;AAED;;;;;;GAMG;AACH,SAAS,kBAAkB,CACzB,CAAU,EACV,CAAQ,EACR,SAAyD;IAEzD,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACtD,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO;IAElC,wEAAwE;IACxE,sEAAsE;IACtE,8EAA8E;IAC9E,6EAA6E;IAC7E,qEAAqE;IACrE,EAAE;IACF,2EAA2E;IAC3E,8EAA8E;IAC9E,yEAAyE;IACzE,8EAA8E;IAC9E,4EAA4E;IAC5E,gEAAgE;IAChE,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE,SAAS,CAAC,WAAW,CAAC,EAAE,CAAC;QACrF,MAAM,KAAK,GAAG,eAAe,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QACrD,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO;QAClC,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,IAAI,IAAI,EAAE,CAAC;QACzC,MAAM,GAAG,GAAG,mBAAmB,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QAC5D,IAAI,GAAG,KAAK,SAAS;YAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QACzD,OAAO;IACT,CAAC;IAED,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACvC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAC7B,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAClD,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,WAAW,CAAC,CAAC;IAC5C,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAC7B,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC;IACzB,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;AAC3C,CAAC;AAED,SAAS,MAAM,CAAC,CAAU,EAAE,CAAQ,EAAE,SAAsD;IAC1F,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE;QAC3C,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;QACvC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC1B,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC;QAC7C,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;QAC7B,0EAA0E;QAC1E,2EAA2E;QAC3E,MAAM,IAAI,GAAG,KAAK,GAAG,CAAC,GAAG,SAAS,CAAC,QAAQ,CAAC,MAAM,IAAI,SAAS,CAAC,UAAU,KAAK,SAAS,CAAC;QACzF,IAAI,IAAI,EAAE,CAAC;YACT,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAC1B,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;QACvC,CAAC;QACD,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IACH,IAAI,SAAS,CAAC,UAAU,KAAK,SAAS;QAAE,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnF,KAAK,MAAM,GAAG,IAAI,IAAI;QAAE,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;AAClE,CAAC;AAED,SAAS,YAAY,CACnB,CAAU,EACV,CAAQ,EACR,SAA4D;IAE5D,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC1D,MAAM,QAAQ,GAAG,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACxF,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAChC,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC/B,MAAM,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;IAE5C,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;IACrC,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,EAAE,CAAC,CAAC;IACnC,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACjC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC7B,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5C,CAAC;SAAM,CAAC;QACN,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC;IACD,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAC7B,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,EAAE,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAEtE,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC;IAC5B,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAC3B,MAAM,KAAK,GAAG,EAAE,EAAE,EAAE,MAAM,EAAE,EAAc,EAAE,SAAS,EAAE,EAAc,EAAE,CAAC;IACxE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpB,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;IAChC,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;IAEd,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAC7B,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC;IAC5B,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,EAAE,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC5D,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACvC,MAAM,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC;IAC7B,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IAChC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IAChC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,MAAM;QAAE,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IACjE,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,SAAS;QAAE,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;AACrE,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,SAAS,CAChB,CAAU,EACV,CAAQ,EACR,SAAyD;IAEzD,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC1D,MAAM,QAAQ,GAAG,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACxF,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjC,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAChC,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjC,MAAM,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;IAC9C,MAAM,IAAI,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAEhE,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,QAAQ,CAAC,CAAC;IACzC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAEhC,MAAM,MAAM,GAAG,GAAS,EAAE;QACxB,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC/B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,CAAC,CAAC,GAAG,CACH,qFAAqF;gBACnF,gEAAgE,EAClE,iCAAiC,EACjC,SAAS,CAAC,IAAI,EACd,IAAI,CACL,CAAC;YACF,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;YACzC,OAAO;QACT,CAAC;QACD,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC7D,CAAC,CAAC;IAEF,MAAM,EAAE,CAAC;IACT,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAEhC,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC;IAC5B,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAC3B,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/B,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC9B,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrB,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/B,MAAM,EAAE,CAAC;IACT,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrB,MAAM,MAAM,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/B,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/B,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACvB,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IAElC,MAAM,KAAK,GAAG,EAAE,EAAE,EAAE,MAAM,EAAE,EAAc,EAAE,SAAS,EAAE,EAAc,EAAE,CAAC;IACxE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpB,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;IAChC,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;IAEd,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAC7B,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC;IAC/B,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/B,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtB,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAChC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC7B,MAAM,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC;IAC7B,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IAChC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IAClC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,MAAM;QAAE,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IACjE,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,SAAS;QAAE,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC;AACxE,CAAC;AAED,SAAS,SAAS,CAChB,CAAU,EACV,CAAQ,EACR,SAAyD;IAEzD,MAAM,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAC7B,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC;IAC5B,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAC3B,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,SAAS,CAAC,CAAC;IAC1C,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAC7B,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC;IAE7C,MAAM,KAAK,GAAG,EAAE,EAAE,EAAE,MAAM,EAAE,EAAc,EAAE,SAAS,EAAE,EAAc,EAAE,CAAC;IACxE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpB,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;IAChC,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;IAEd,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC7B,MAAM,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC;IAC7B,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IAChC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,MAAM;QAAE,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IACjE,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,SAAS;QAAE,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;AACrE,CAAC;AAED;;;;;;GAMG;AACH,SAAS,UAAU,CAAC,CAAU,EAAE,CAAQ,EAAE,SAA0B;IAClE,IAAI,OAA2B,CAAC;IAChC,IAAI,SAAS,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QACpC,OAAO,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC5B,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC;QACxC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC7B,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACnC,CAAC;IAED,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,QAAQ,EAAE,EAAE;QACxC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;YAClC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC1B,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;YAC9B,CAAC;iBAAM,CAAC;gBACN,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACzB,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;gBAChC,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;gBAC5B,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACzB,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACvB,CAAC;YACD,IAAI,KAAK,KAAK,CAAC;gBAAE,OAAO;YACxB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACzB,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvB,CAAC,CAAC,CAAC;QACH,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACvB,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC;QAC7C,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QAC1B,MAAM,IAAI,GAAG,QAAQ,GAAG,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,MAAM,IAAI,SAAS,CAAC,WAAW,KAAK,SAAS,CAAC;QAC1F,IAAI,IAAI,EAAE,CAAC;YACT,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACvB,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;QACvC,CAAC;QACD,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAI,SAAS,CAAC,WAAW,KAAK,SAAS;QAAE,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IACrF,KAAK,MAAM,GAAG,IAAI,IAAI;QAAE,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;AAClE,CAAC"}

package/dist/core/emit/values.d.ts

@@ -0,0 +1,80 @@
+/**
+ * Values the compiler can work out before bar 0, and the folding that gets
+ * there.
+ *
+ * Two parts of the format need this and nothing else does. A constant pool
+ * entry is a value (`compiled-program.md` 2.9), and every declaration field is
+ * written with the value its option resolved to, defaults included (2.3). So a
+ * plot's colour, a study's precision and a table's corner all have to be a
+ * value here or they cannot be carried at all.
+ *
+ * The one thing that is a field and is not a value is the reference form
+ * `{ "input": "<key>" }`, which is why it is a member of this union rather than
+ * something a later stage substitutes. It may stand **in place of** a value and
+ * may not take part in one: `opacity = dim` is carried, `opacity = dim * 2` has
+ * nowhere in the format to live, and folding says so by refusing rather than by
+ * inventing a number from the input's default.
+ *
+ * The colour arithmetic is here because `stdlib.md` 11.2 defines it exactly:
+ * `fade(c, p)` is `withAlpha(c, (100 - p) / 100)`, and every call that computes
+ * a colour rounds the three channels with the language's own rounding, halves
+ * away from zero. Both are written out rather than approximated, because a
+ * colour folded here and the same colour computed by an engine have to be the
+ * same bits.
+ */
+import type { Argument, Call, Expression, NameReference } from '../ast/index.js';
+import type { Colour, Field } from './program.js';
+export type Value = {
+    readonly kind: 'absent';
+} | {
+    readonly kind: 'bool';
+    readonly value: boolean;
+} | {
+    readonly kind: 'number';
+    readonly value: number;
+} | {
+    readonly kind: 'string';
+    readonly value: string;
+} | {
+    readonly kind: 'colour';
+    readonly value: Colour;
+} | {
+    readonly kind: 'array';
+    readonly values: readonly Value[];
+}
+/** Carried into a declaration field as the reference of 2.3, never computed with. */
+ | {
+    readonly kind: 'input';
+    readonly key: string;
+};
+export declare const ABSENT: Value;
+export interface FoldEnvironment {
+    /** What a bare name denotes before bar 0, or nothing when it denotes a bar. */
+    name(reference: NameReference): Value | undefined;
+    /** A resolved call: its library name and its arguments in parameter order. */
+    call(call: Call): {
+        readonly name: string;
+        readonly args: readonly (Argument | undefined)[];
+    } | undefined;
+    /** The input an `input()` call declares, as the reference that names it. */
+    input(call: Call): Value | undefined;
+}
+/** The language's own rounding, halves away from zero, `stdlib.md` 8.1. */
+export declare function roundHalfAway(x: number): number;
+/**
+ * The value an expression has before bar 0, or nothing when it has none.
+ *
+ * Nothing here reports a diagnostic. An expression the checker already accepted
+ * as a compile-time constant and this refuses is a shape the format cannot
+ * carry, and the caller is the one that knows which field it was going into.
+ */
+export declare function fold(expression: Expression, environment: FoldEnvironment): Value | undefined;
+/**
+ * A folded value as a declaration field, `compiled-program.md` 2.3.
+ *
+ * Absence is null, because absence is what an argument a script named none for
+ * resolves to and null is the effective value rather than a missing one. An
+ * input is carried as its reference and is resolved away before bar 0.
+ */
+export declare function fieldOf(value: Value | undefined): Field;
+//# sourceMappingURL=values.d.ts.map

package/dist/core/emit/values.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"values.d.ts","sourceRoot":"","sources":["../../../src/core/emit/values.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAGjF,OAAO,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,cAAc,CAAC;AAGlD,MAAM,MAAM,KAAK,GACb;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,GAC3B;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GAClD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACnD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACnD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACnD;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,KAAK,EAAE,CAAA;CAAE;AAC/D,qFAAqF;GACnF;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,CAAC;AAErD,eAAO,MAAM,MAAM,EAAE,KAA0B,CAAC;AAEhD,MAAM,WAAW,eAAe;IAC9B,+EAA+E;IAC/E,IAAI,CAAC,SAAS,EAAE,aAAa,GAAG,KAAK,GAAG,SAAS,CAAC;IAClD,8EAA8E;IAC9E,IAAI,CACF,IAAI,EAAE,IAAI,GACT;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,QAAQ,GAAG,SAAS,CAAC,EAAE,CAAA;KAAE,GAAG,SAAS,CAAC;IAC3F,4EAA4E;IAC5E,KAAK,CAAC,IAAI,EAAE,IAAI,GAAG,KAAK,GAAG,SAAS,CAAC;CACtC;AAED,2EAA2E;AAC3E,wBAAgB,aAAa,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAE/C;AAgHD;;;;;;GAMG;AACH,wBAAgB,IAAI,CAAC,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,eAAe,GAAG,KAAK,GAAG,SAAS,CA+E5F;AAED;;;;;;GAMG;AACH,wBAAgB,OAAO,CAAC,KAAK,EAAE,KAAK,GAAG,SAAS,GAAG,KAAK,CAoBvD"}