openalgo-script 0.1.0-alpha.1 → 0.2.0

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

@@ -0,0 +1,23 @@
+/**
+ * An expression, as instructions.
+ *
+ * Every expression is emitted left to right and leaves exactly one value on the
+ * stack. That is not a style: `compiled-program.md` 4.1 has no swap and no
+ * rotate precisely so that there is one way to compile an expression, and two
+ * compilers that agree about the language cannot then disagree about the
+ * program.
+ *
+ * The three places this file makes a decision rather than following a rule are
+ * marked where they are made: where a name's value lives, what a history read
+ * of something that is not a name reads from, and how a named colour reaches a
+ * bar.
+ */
+import type { Expression, NameReference } from '../ast/index.js';
+import type { Span } from '../span/index.js';
+import type { Binding } from '../check/index.js';
+import type { Emitter, Frame } from './context.js';
+export declare function emitExpression(e: Emitter, f: Frame, expression: Expression): void;
+/** Where a name's value lives, which the checker decided and this reads off. */
+export declare function emitNameRead(e: Emitter, f: Frame, node: NameReference): void;
+export declare function emitBindingRead(e: Emitter, f: Frame, binding: Binding, at: Span): void;
+//# sourceMappingURL=expressions.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"expressions.d.ts","sourceRoot":"","sources":["../../../src/core/emit/expressions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,KAAK,EAAU,UAAU,EAAS,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAChF,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAG7C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAGjD,OAAO,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,cAAc,CAAC;AAwBnD,wBAAgB,cAAc,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,UAAU,GAAG,IAAI,CAkEjF;AAgDD,gFAAgF;AAChF,wBAAgB,YAAY,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,aAAa,GAAG,IAAI,CAO5E;AAED,wBAAgB,eAAe,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,GAAG,IAAI,CAuCtF"}

package/dist/core/emit/expressions.js

@@ -0,0 +1,253 @@
+import { withoutGrouping } from '../ast/index.js';
+import { endOffset } from '../span/index.js';
+import { elementOf } from '../check/index.js';
+import { emitCall, emitLibraryValue } from './calls.js';
+import { hexColour } from './colours.js';
+import { placementOf, registerOfName, shadowRegister } from './registers.js';
+const ARITHMETIC = {
+    '+': 'ADD',
+    '-': 'SUB',
+    '*': 'MUL',
+    '/': 'DIV',
+    '%': 'MOD',
+};
+/** A line comment, which is the only thing that can hide an operator token. */
+const COMMENT = /\/\/[^\r\n]*/g;
+const COMPARISON = {
+    '<': 'LT',
+    '<=': 'LE',
+    '>': 'GT',
+    '>=': 'GE',
+    '==': 'EQ',
+    '!=': 'NE',
+};
+export function emitExpression(e, f, expression) {
+    const node = withoutGrouping(expression);
+    f.builder.at(node.span);
+    switch (node.kind) {
+        case 'numberLiteral':
+            f.builder.push('CONST', e.pool.number(node.value));
+            return;
+        case 'stringLiteral':
+            f.builder.push('CONST', e.pool.string(node.value));
+            return;
+        case 'booleanLiteral':
+            f.builder.push('CONST', e.pool.bool(node.value));
+            return;
+        case 'noneLiteral':
+        case 'missingExpression':
+            f.builder.push('CONST', e.pool.absent());
+            return;
+        case 'colorLiteral': {
+            const colour = hexColour(node.text);
+            f.builder.push('CONST', colour === undefined ? e.pool.absent() : e.pool.colour(colour));
+            return;
+        }
+        case 'arrayLiteral':
+            // A new array on every evaluation, which is why it is never pooled (2.9).
+            for (const element of node.elements)
+                emitExpression(e, f, element);
+            f.builder.at(node.span);
+            f.builder.push('ARRAY', node.elements.length);
+            return;
+        case 'nameReference':
+            emitNameRead(e, f, node);
+            return;
+        case 'member':
+            emitLibraryValue(e, f, node);
+            return;
+        case 'unary': {
+            emitExpression(e, f, node.operand);
+            f.builder.at(node.span);
+            // There is no instruction for unary plus: on a number it is the identity
+            // and its type is already checked, so it compiles to nothing at all (4.5).
+            if (node.operator === '-')
+                f.builder.push('NEG');
+            else if (node.operator === 'not')
+                f.builder.push('NOT');
+            return;
+        }
+        case 'binary':
+            emitBinary(e, f, node);
+            return;
+        case 'ternary': {
+            emitExpression(e, f, node.condition);
+            f.builder.at(node.span);
+            const toElse = f.builder.push('JUMP_FALSE', 0);
+            emitExpression(e, f, node.whenTrue);
+            f.builder.at(node.span);
+            const toEnd = f.builder.push('JUMP', 0);
+            f.builder.patch(toElse, 0, f.builder.here);
+            emitExpression(e, f, node.whenFalse);
+            f.builder.patch(toEnd, 0, f.builder.here);
+            return;
+        }
+        case 'call':
+            emitCall(e, f, node);
+            return;
+        case 'index':
+            emitIndex(e, f, node);
+            return;
+    }
+}
+/**
+ * Where an operator's instruction is said to be, for `debug.pos`.
+ *
+ * The caret an engine draws for a runtime error comes from this table, and 12.2
+ * puts a `GT` under the `>` and an `ADD` under the `+` rather than under the
+ * start of the expression they are part of. The tree carries no span for the
+ * operator token, so it is found in the gap between the two operands, where the
+ * only thing that can stand between them is a comment or a line continuation.
+ */
+function operatorAt(e, node) {
+    const from = endOffset(node.left.span);
+    const to = node.right.span.offset;
+    const gap = e.file.text.slice(from, to);
+    const cleaned = gap.replace(COMMENT, (match) => ' '.repeat(match.length));
+    const found = cleaned.indexOf(node.operator);
+    return found < 0 ? node.span : e.file.spanAt(from + found, node.operator.length);
+}
+function emitBinary(e, f, node) {
+    const operator = operatorAt(e, node);
+    if (node.operator === 'and' || node.operator === 'or') {
+        // Each operator short-circuits on the one value that decides the answer by
+        // itself and leaves it on the stack; absence short-circuits neither,
+        // because the other side can still decide (4.7).
+        emitExpression(e, f, node.left);
+        f.builder.at(operator);
+        const short = f.builder.push(node.operator === 'and' ? 'AND_SHORT' : 'OR_SHORT', 0);
+        emitExpression(e, f, node.right);
+        f.builder.at(operator);
+        f.builder.push(node.operator === 'and' ? 'AND' : 'OR');
+        f.builder.patch(short, 0, f.builder.here);
+        return;
+    }
+    emitExpression(e, f, node.left);
+    emitExpression(e, f, node.right);
+    f.builder.at(operator);
+    const arithmetic = ARITHMETIC[node.operator];
+    if (arithmetic !== undefined) {
+        f.builder.push(arithmetic);
+        return;
+    }
+    const comparison = COMPARISON[node.operator];
+    if (comparison !== undefined)
+        f.builder.push(comparison);
+}
+/** Where a name's value lives, which the checker decided and this reads off. */
+export function emitNameRead(e, f, node) {
+    const binding = e.bindingAt(node);
+    if (binding === undefined) {
+        emitLibraryValue(e, f, node);
+        return;
+    }
+    emitBindingRead(e, f, binding, node.span);
+}
+export function emitBindingRead(e, f, binding, at) {
+    f.builder.at(at);
+    // Inside a read's expression a setting is a register of the body's own table
+    // (2.16), reachable from the body and from any function it calls. The only
+    // other file-scope name admitted there is OS6003, which the checker reported.
+    const setting = e.request?.registerFor(e, binding);
+    if (setting !== undefined) {
+        f.builder.push('SLOAD', setting);
+        return;
+    }
+    const placement = placementOf(e, binding);
+    if (placement === 'cell') {
+        if (!f.layout.hasCellFor(binding) && !f.topLevel) {
+            // A frame reaches its own cells through its base, so a body cannot name
+            // a cell of the frame that called it (2.11, 3.3). The register beside the
+            // cell is what it reads instead, and `registers.ts` says how it is filled.
+            const carried = e.carried.has(binding.id) ? e.layout.registerFor(binding) : undefined;
+            if (carried !== undefined) {
+                f.builder.push('SLOAD', carried);
+                return;
+            }
+            e.gap('a function body reads a `var` declared at the file scope, and a cell operand is ' +
+                "relative to the frame's cellBase, so no instruction can reach it", 'compiled-program.md 2.11 and 3.3, against language.md 12.2', at, true);
+            f.builder.push('CONST', e.pool.absent());
+            return;
+        }
+        f.builder.push('LOADC', f.layout.cellFor(binding));
+        return;
+    }
+    if (placement === 'register') {
+        f.builder.push('SLOAD', e.layout.computedFor(binding));
+        return;
+    }
+    f.builder.push('LOAD', f.layout.slotFor(binding));
+}
+/**
+ * `target[index]`: an element of an array, or a value some bars back.
+ *
+ * The checker has already decided which of the two this is, from the target's
+ * type, so there is no run-time dispatch and no third meaning (`language.md`
+ * 9.6). What is left is where the history comes from, and only a register has
+ * any (2.10).
+ */
+function emitIndex(e, f, node) {
+    const type = e.checked.types.get(node.target);
+    if (type !== undefined && elementOf(type).kind === 'array') {
+        emitExpression(e, f, node.target);
+        emitExpression(e, f, node.index);
+        f.builder.at(node.span);
+        f.builder.push('ELEM');
+        return;
+    }
+    const target = withoutGrouping(node.target);
+    if (target.kind === 'nameReference') {
+        const binding = e.bindingAt(target);
+        if (binding !== undefined) {
+            const parameter = f.parameters.get(binding.id);
+            if (parameter !== undefined) {
+                emitExpression(e, f, node.index);
+                f.builder.at(node.span);
+                f.builder.push('HISTP', parameter);
+                return;
+            }
+            emitExpression(e, f, node.index);
+            f.builder.at(node.span);
+            f.builder.push('HIST', shadowRegister(e, binding));
+            return;
+        }
+        const register = registerOfName(e, target.name);
+        if (register !== undefined) {
+            emitExpression(e, f, node.index);
+            f.builder.at(node.span);
+            f.builder.push('HIST', register);
+            return;
+        }
+    }
+    if (target.kind === 'member') {
+        const register = registerOfName(e, memberText(target));
+        if (register !== undefined) {
+            emitExpression(e, f, node.index);
+            f.builder.at(node.span);
+            f.builder.push('HIST', register);
+            return;
+        }
+    }
+    // Anything else with history is a call or a namespace read the language
+    // allows `[]` on (`language.md` 5.2). The format has no register kind for an
+    // expression that is not a name, so one is allocated as a `computed` and the
+    // value is written to it where it is produced. That is the honest reading of
+    // 2.10 and not a spelling it states.
+    e.gap('a history read of an expression that is not a name needs a register, and 2.10 names ' +
+        'a computed register for a top-level name only', 'compiled-program.md 2.10', node.span, false);
+    const register = e.layout.computed(textOf(e, node.target));
+    emitExpression(e, f, node.target);
+    f.builder.at(node.span);
+    f.builder.push('SSTORE', register);
+    emitExpression(e, f, node.index);
+    f.builder.at(node.span);
+    f.builder.push('HIST', register);
+}
+function memberText(node) {
+    const object = withoutGrouping(node.object);
+    return object.kind === 'nameReference' ? `${object.name}.${node.member.text}` : node.member.text;
+}
+function textOf(e, expression) {
+    return e.file.text.slice(expression.span.offset, expression.span.offset + expression.span.length);
+}
+//# sourceMappingURL=expressions.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"expressions.js","sourceRoot":"","sources":["../../../src/core/emit/expressions.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAE7C,OAAO,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAC9C,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAExD,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AACzC,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAE7E,MAAM,UAAU,GAAoE;IAClF,GAAG,EAAE,KAAK;IACV,GAAG,EAAE,KAAK;IACV,GAAG,EAAE,KAAK;IACV,GAAG,EAAE,KAAK;IACV,GAAG,EAAE,KAAK;CACX,CAAC;AAEF,+EAA+E;AAC/E,MAAM,OAAO,GAAG,eAAe,CAAC;AAEhC,MAAM,UAAU,GAAsE;IACpF,GAAG,EAAE,IAAI;IACT,IAAI,EAAE,IAAI;IACV,GAAG,EAAE,IAAI;IACT,IAAI,EAAE,IAAI;IACV,IAAI,EAAE,IAAI;IACV,IAAI,EAAE,IAAI;CACX,CAAC;AAEF,MAAM,UAAU,cAAc,CAAC,CAAU,EAAE,CAAQ,EAAE,UAAsB;IACzE,MAAM,IAAI,GAAG,eAAe,CAAC,UAAU,CAAC,CAAC;IACzC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAExB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,eAAe;YAClB,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;YACnD,OAAO;QACT,KAAK,eAAe;YAClB,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;YACnD,OAAO;QACT,KAAK,gBAAgB;YACnB,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;YACjD,OAAO;QACT,KAAK,aAAa,CAAC;QACnB,KAAK,mBAAmB;YACtB,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;YACzC,OAAO;QACT,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACpC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;YACxF,OAAO;QACT,CAAC;QACD,KAAK,cAAc;YACjB,0EAA0E;YAC1E,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ;gBAAE,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC;YACnE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxB,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YAC9C,OAAO;QACT,KAAK,eAAe;YAClB,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;YACzB,OAAO;QACT,KAAK,QAAQ;YACX,gBAAgB,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;YAC7B,OAAO;QACT,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;YACnC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxB,yEAAyE;YACzE,2EAA2E;YAC3E,IAAI,IAAI,CAAC,QAAQ,KAAK,GAAG;gBAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;iBAC5C,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK;gBAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACxD,OAAO;QACT,CAAC;QACD,KAAK,QAAQ;YACX,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;YACvB,OAAO;QACT,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;YACrC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxB,MAAM,MAAM,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC;YAC/C,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;YACpC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxB,MAAM,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YACxC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAC3C,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;YACrC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAC1C,OAAO;QACT,CAAC;QACD,KAAK,MAAM;YACT,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;YACrB,OAAO;QACT,KAAK,OAAO;YACV,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;YACtB,OAAO;IACX,CAAC;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,UAAU,CAAC,CAAU,EAAE,IAAY;IAC1C,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC;IAClC,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACxC,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IAC1E,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC7C,OAAO,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,GAAG,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;AACnF,CAAC;AAED,SAAS,UAAU,CAAC,CAAU,EAAE,CAAQ,EAAE,IAA6C;IACrF,MAAM,QAAQ,GAAG,UAAU,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IACrC,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtD,2EAA2E;QAC3E,qEAAqE;QACrE,iDAAiD;QACjD,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;QACvB,MAAM,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;QACpF,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;QACvB,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACvD,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC1C,OAAO;IACT,CAAC;IAED,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAChC,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IACjC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;IACvB,MAAM,UAAU,GAAG,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC7C,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC3B,OAAO;IACT,CAAC;IACD,MAAM,UAAU,GAAG,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC7C,IAAI,UAAU,KAAK,SAAS;QAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;AAC3D,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,YAAY,CAAC,CAAU,EAAE,CAAQ,EAAE,IAAmB;IACpE,MAAM,OAAO,GAAG,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAClC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,gBAAgB,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;QAC7B,OAAO;IACT,CAAC;IACD,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;AAC5C,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,CAAU,EAAE,CAAQ,EAAE,OAAgB,EAAE,EAAQ;IAC9E,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IACjB,6EAA6E;IAC7E,2EAA2E;IAC3E,8EAA8E;IAC9E,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IACnD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACjC,OAAO;IACT,CAAC;IACD,MAAM,SAAS,GAAG,WAAW,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IAC1C,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;YACjD,wEAAwE;YACxE,0EAA0E;YAC1E,2EAA2E;YAC3E,MAAM,OAAO,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;YACtF,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC1B,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;gBACjC,OAAO;YACT,CAAC;YACD,CAAC,CAAC,GAAG,CACH,kFAAkF;gBAChF,kEAAkE,EACpE,4DAA4D,EAC5D,EAAE,EACF,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,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;QACnD,OAAO;IACT,CAAC;IACD,IAAI,SAAS,KAAK,UAAU,EAAE,CAAC;QAC7B,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC;QACvD,OAAO;IACT,CAAC;IACD,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;AACpD,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,SAAS,CAAC,CAAU,EAAE,CAAQ,EAAE,IAAW;IAClD,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC9C,IAAI,IAAI,KAAK,SAAS,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC3D,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QAClC,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACvB,OAAO;IACT,CAAC;IAED,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC5C,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACpC,MAAM,OAAO,GAAG,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QACpC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,SAAS,GAAG,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YAC/C,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBAC5B,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;gBACjC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACxB,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;gBACnC,OAAO;YACT,CAAC;YACD,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;YACjC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxB,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;YACnD,OAAO;QACT,CAAC;QACD,MAAM,QAAQ,GAAG,cAAc,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;QAChD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;YACjC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxB,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;YACjC,OAAO;QACT,CAAC;IACH,CAAC;IAED,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,MAAM,QAAQ,GAAG,cAAc,CAAC,CAAC,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;QACvD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;YACjC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxB,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;YACjC,OAAO;QACT,CAAC;IACH,CAAC;IAED,wEAAwE;IACxE,6EAA6E;IAC7E,6EAA6E;IAC7E,6EAA6E;IAC7E,qCAAqC;IACrC,CAAC,CAAC,GAAG,CACH,sFAAsF;QACpF,+CAA+C,EACjD,0BAA0B,EAC1B,IAAI,CAAC,IAAI,EACT,KAAK,CACN,CAAC;IACF,MAAM,QAAQ,GAAG,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;IAC3D,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;IAClC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IACnC,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IACjC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;AACnC,CAAC;AAED,SAAS,UAAU,CAAC,IAA6C;IAC/D,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC5C,OAAO,MAAM,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;AACnG,CAAC;AAED,SAAS,MAAM,CAAC,CAAU,EAAE,UAAsB;IAChD,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AACpG,CAAC"}

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

@@ -0,0 +1,30 @@
+import type { Emitter, Site } from './context.js';
+import { Frame } from './context.js';
+import type { Cell, StateRegion } from './program.js';
+/** The `functions` entry a call site should name, emitting the body if needed. */
+export declare function bodyFor(e: Emitter, checkedFunction: number, site: Site): number;
+/**
+ * The cell and state base of every call site, once the top level's own totals
+ * are known.
+ *
+ * A body numbers its cells and its state regions from zero and the site adds
+ * the base, so the only requirement is that the blocks do not overlap. Walking
+ * the sites depth first with one counter is the whole of it: a site's own block
+ * is taken, then the blocks of every site its body reaches.
+ */
+export declare function assignBases(e: Emitter, topCells: number, topStates: number): void;
+/**
+ * `cells` and `states`, once one frame and every call path reached from it are
+ * counted.
+ *
+ * A body numbers its own from zero and the call site adds the base, so the two
+ * tables are that frame's own block followed by one block per site, in the
+ * order the bases were handed out. It is the same arithmetic for the top level
+ * of a program and for the body of a read (2.16), which evaluates on its own
+ * bars and so counts its own regions from zero.
+ */
+export declare function assignRegions(e: Emitter, top: Frame): {
+    readonly cells: readonly Cell[];
+    readonly states: readonly StateRegion[];
+};
+//# sourceMappingURL=functions.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"functions.d.ts","sourceRoot":"","sources":["../../../src/core/emit/functions.ts"],"names":[],"mappings":"AAoBA,OAAO,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AAClD,OAAO,EAAE,KAAK,EAAE,MAAM,cAAc,CAAC;AAGrC,OAAO,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAGtD,kFAAkF;AAClF,wBAAgB,OAAO,CAAC,CAAC,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,MAAM,CA6B/E;AA0ED;;;;;;;;GAQG;AACH,wBAAgB,WAAW,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,IAAI,CAkBjF;AAED;;;;;;;;;GASG;AACH,wBAAgB,aAAa,CAC3B,CAAC,EAAE,OAAO,EACV,GAAG,EAAE,KAAK,GACT;IAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,WAAW,EAAE,CAAA;CAAE,CAqB9E"}

package/dist/core/emit/functions.js

@@ -0,0 +1,171 @@
+/**
+ * Function bodies, and the call sites that give one body many pieces of state.
+ *
+ * `compiled-program.md` 2.12 allocates state per **call path** rather than per
+ * syntactic call, so a stateful helper called from two places keeps two
+ * independent counters. A body addresses its cells and its state regions
+ * relative to the frame's bases and the call site supplies them, which is what
+ * lets one body serve both.
+ *
+ * There is one place where that arrangement does not close, and it is the
+ * reason this file is not four lines long. A `CALL_FN` names a call site by an
+ * absolute index into `callSites`, so a body holding a call to another function
+ * names one site and not one per path. A body that calls nothing therefore
+ * serves every path and is emitted once; a body that calls something is emitted
+ * once per path, so that its inner `CALL_FN` can name the site belonging to that
+ * path. Both are legal: nothing in the format says two entries of `functions`
+ * may not share a name. The emitter reports the tension rather than leaving a
+ * reader to find it.
+ */
+import { leavesValue } from './calls.js';
+import { Frame } from './context.js';
+import { emitExpression } from './expressions.js';
+import { cellsOf } from './layout.js';
+import { emitBlock } from './statements.js';
+/** The `functions` entry a call site should name, emitting the body if needed. */
+export function bodyFor(e, checkedFunction, site) {
+    const shared = e.shareableBody(checkedFunction);
+    if (shared !== undefined) {
+        site.frame = e.functionFrames[shared];
+        return shared;
+    }
+    const declared = e.checked.functions[checkedFunction];
+    if (declared === undefined)
+        return 0;
+    if (e.emitting.has(checkedFunction)) {
+        // Recursion is an error the checker reports, and the call graph it leaves
+        // is acyclic. A cycle reaching here is a defect, not a program.
+        e.gap('a function reaches itself, so the set of call paths is not finite and no call site ' +
+            'table can enumerate it', 'compiled-program.md 2.12, against language.md 11.4', declared.declaration.span, true);
+        return 0;
+    }
+    e.emitting.add(checkedFunction);
+    try {
+        return emitBody(e, checkedFunction, site);
+    }
+    finally {
+        e.emitting.delete(checkedFunction);
+    }
+}
+function emitBody(e, checkedFunction, site) {
+    const declared = e.checked.functions[checkedFunction];
+    if (declared === undefined)
+        return 0;
+    const f = new Frame(false);
+    // Parameters occupy slots 0 to params - 1, in declaration order (2.12).
+    declared.parameters.forEach((parameter, index) => {
+        f.layout.slotFor(parameter);
+        f.parameters.set(parameter.id, index);
+    });
+    const body = declared.declaration.body;
+    if (body.kind === 'block') {
+        // The last statement of a body, when it is a bare expression, is the return
+        // value (`language.md` 11.3). So it is emitted and returned rather than
+        // emitted and discarded, which is what every other expression statement is.
+        const statements = body.statements;
+        const last = statements[statements.length - 1];
+        const returns = last !== undefined && last.kind === 'expressionStatement' && leavesValue(e, last.expression)
+            ? last
+            : undefined;
+        emitBlock(e, f, returns === undefined ? body : { ...body, statements: statements.slice(0, -1) });
+        if (returns !== undefined) {
+            emitExpression(e, f, returns.expression);
+            f.builder.at(returns.span);
+            f.builder.push('RET');
+        }
+        const emitted = f.builder.code[f.builder.code.length - 1];
+        if (emitted?.[0] !== 'RET') {
+            // A body that ends without an expression returns absent, so every
+            // function returns a value and `RET` never has to decide (4.10).
+            f.builder.at(declared.declaration.span);
+            f.builder.push('CONST', e.pool.absent());
+            f.builder.push('RET');
+        }
+    }
+    else {
+        emitExpression(e, f, body);
+        f.builder.at(declared.declaration.span);
+        f.builder.push('RET');
+    }
+    const index = e.functions.length;
+    e.functions.push({
+        name: declared.declaration.name.text,
+        params: declared.parameters.length,
+        slots: f.layout.slotCount,
+        code: f.builder.code,
+    });
+    e.functionFrames.push(f.layout);
+    e.functionPos.push([index, f.builder.pos]);
+    site.frame = f.layout;
+    site.children = f.sites;
+    if (f.sites.length === 0) {
+        e.rememberShareableBody(checkedFunction, index);
+    }
+    else {
+        e.gap('a function body holding a call to another function is emitted once per call path, ' +
+            'because a CALL_FN names a call site by an absolute index and a shared body could ' +
+            'only name one', 'compiled-program.md 2.12 and 4.10', declared.declaration.span, false);
+    }
+    return index;
+}
+/**
+ * The cell and state base of every call site, once the top level's own totals
+ * are known.
+ *
+ * A body numbers its cells and its state regions from zero and the site adds
+ * the base, so the only requirement is that the blocks do not overlap. Walking
+ * the sites depth first with one counter is the whole of it: a site's own block
+ * is taken, then the blocks of every site its body reaches.
+ */
+export function assignBases(e, topCells, topStates) {
+    let cell = topCells;
+    let state = topStates;
+    const done = new Set();
+    const assign = (index) => {
+        if (done.has(index))
+            return;
+        done.add(index);
+        const site = e.sites[index];
+        if (site === undefined)
+            return;
+        site.cellBase = cell;
+        site.stateBase = state;
+        cell += site.frame?.cellNames.length ?? 0;
+        state += site.frame?.stateFns.length ?? 0;
+        for (const child of site.children)
+            assign(child);
+    };
+    for (let i = 0; i < e.sites.length; i += 1)
+        assign(i);
+}
+/**
+ * `cells` and `states`, once one frame and every call path reached from it are
+ * counted.
+ *
+ * A body numbers its own from zero and the call site adds the base, so the two
+ * tables are that frame's own block followed by one block per site, in the
+ * order the bases were handed out. It is the same arithmetic for the top level
+ * of a program and for the body of a read (2.16), which evaluates on its own
+ * bars and so counts its own regions from zero.
+ */
+export function assignRegions(e, top) {
+    const topCells = top.layout.cellNames.length;
+    const topStates = top.layout.stateFns.length;
+    assignBases(e, topCells, topStates);
+    const cells = cellsOf(top.layout, 0);
+    const states = top.layout.stateFns.map((fn, index) => ({ id: index, fn }));
+    const ordered = [...e.sites].sort((a, b) => a.cellBase - b.cellBase || a.stateBase - b.stateBase);
+    for (const site of ordered) {
+        const frame = site.frame;
+        if (frame === undefined)
+            continue;
+        cells.push(...cellsOf(frame, site.cellBase));
+        frame.stateFns.forEach((fn, index) => {
+            states.push({ id: site.stateBase + index, fn });
+        });
+    }
+    cells.sort((a, b) => a.id - b.id);
+    states.sort((a, b) => a.id - b.id);
+    return { cells, states };
+}
+//# sourceMappingURL=functions.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"functions.js","sourceRoot":"","sources":["../../../src/core/emit/functions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AACH,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAEzC,OAAO,EAAE,KAAK,EAAE,MAAM,cAAc,CAAC;AACrC,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAEtC,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAE5C,kFAAkF;AAClF,MAAM,UAAU,OAAO,CAAC,CAAU,EAAE,eAAuB,EAAE,IAAU;IACrE,MAAM,MAAM,GAAG,CAAC,CAAC,aAAa,CAAC,eAAe,CAAC,CAAC;IAChD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;QACtC,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,MAAM,QAAQ,GAAG,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;IACtD,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC;IAErC,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,eAAe,CAAC,EAAE,CAAC;QACpC,0EAA0E;QAC1E,gEAAgE;QAChE,CAAC,CAAC,GAAG,CACH,qFAAqF;YACnF,wBAAwB,EAC1B,oDAAoD,EACpD,QAAQ,CAAC,WAAW,CAAC,IAAI,EACzB,IAAI,CACL,CAAC;QACF,OAAO,CAAC,CAAC;IACX,CAAC;IAED,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;IAChC,IAAI,CAAC;QACH,OAAO,QAAQ,CAAC,CAAC,EAAE,eAAe,EAAE,IAAI,CAAC,CAAC;IAC5C,CAAC;YAAS,CAAC;QACT,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;IACrC,CAAC;AACH,CAAC;AAED,SAAS,QAAQ,CAAC,CAAU,EAAE,eAAuB,EAAE,IAAU;IAC/D,MAAM,QAAQ,GAAG,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;IACtD,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC;IACrC,MAAM,CAAC,GAAG,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC;IAE3B,wEAAwE;IACxE,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE;QAC/C,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QAC5B,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,MAAM,IAAI,GAAG,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC;IACvC,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,4EAA4E;QAC5E,wEAAwE;QACxE,4EAA4E;QAC5E,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC;QACnC,MAAM,IAAI,GAAG,UAAU,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAC/C,MAAM,OAAO,GACX,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,WAAW,CAAC,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC;YAC1F,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,SAAS,CAAC;QAEhB,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACjG,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;YACzC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAC3B,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxB,CAAC;QAED,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAC1D,IAAI,OAAO,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC;YAC3B,kEAAkE;YAClE,iEAAiE;YACjE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;YACxC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;YACzC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxB,CAAC;IACH,CAAC;SAAM,CAAC;QACN,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;QAC3B,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;QACxC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxB,CAAC;IAED,MAAM,KAAK,GAAG,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC;IACjC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC;QACf,IAAI,EAAE,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI;QACpC,MAAM,EAAE,QAAQ,CAAC,UAAU,CAAC,MAAM;QAClC,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,SAAS;QACzB,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI;KACrB,CAAC,CAAC;IACH,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAChC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;IAE3C,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC;IACtB,IAAI,CAAC,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC;IAExB,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,CAAC,CAAC,qBAAqB,CAAC,eAAe,EAAE,KAAK,CAAC,CAAC;IAClD,CAAC;SAAM,CAAC;QACN,CAAC,CAAC,GAAG,CACH,oFAAoF;YAClF,mFAAmF;YACnF,eAAe,EACjB,mCAAmC,EACnC,QAAQ,CAAC,WAAW,CAAC,IAAI,EACzB,KAAK,CACN,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,WAAW,CAAC,CAAU,EAAE,QAAgB,EAAE,SAAiB;IACzE,IAAI,IAAI,GAAG,QAAQ,CAAC;IACpB,IAAI,KAAK,GAAG,SAAS,CAAC;IACtB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAE/B,MAAM,MAAM,GAAG,CAAC,KAAa,EAAQ,EAAE;QACrC,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,OAAO;QAC5B,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAChB,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC5B,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO;QAC/B,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;QACrB,IAAI,CAAC,SAAS,GAAG,KAAK,CAAC;QACvB,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,MAAM,IAAI,CAAC,CAAC;QAC1C,KAAK,IAAI,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,IAAI,CAAC,CAAC;QAC1C,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ;YAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IACnD,CAAC,CAAC;IAEF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC;QAAE,MAAM,CAAC,CAAC,CAAC,CAAC;AACxD,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,aAAa,CAC3B,CAAU,EACV,GAAU;IAEV,MAAM,QAAQ,GAAG,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC;IAC7C,MAAM,SAAS,GAAG,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC;IAC7C,WAAW,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;IAEpC,MAAM,KAAK,GAAW,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAC7C,MAAM,MAAM,GAAkB,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;IAE1F,MAAM,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;IAClG,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QACzB,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAClC,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC7C,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE;YACnC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,SAAS,GAAG,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;QAClD,CAAC,CAAC,CAAC;IACL,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;IAClC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;IACnC,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;AAC3B,CAAC"}

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

@@ -0,0 +1,34 @@
+/**
+ * What the emitter could not do, and which specification asked for it.
+ *
+ * Every diagnostic in this compiler carries a catalogue code, and the catalogue
+ * is closed: a stage that meets something it cannot express reports a gap
+ * rather than inventing a code for it. A gap is not a diagnostic. It is a note
+ * from one part of the project to the people who write the other parts, saying
+ * that two specifications, or a specification and the catalogue, do not yet meet.
+ *
+ * It carries a span when one exists, because the fastest way to understand a
+ * gap is to look at the line that provoked it. `blocking` is what separates
+ * "this program is emitted and something about it is unresolved" from "this
+ * program is not emitted at all", and an emitter that returned a program while
+ * a blocking gap stood would be handing somebody an artifact that computes the
+ * wrong numbers.
+ */
+import type { Span } from '../span/index.js';
+export interface Gap {
+    /** What could not be done, in one sentence, in the compiler's own voice. */
+    readonly what: string;
+    /** The section that asks for it, so a reader can go and check. */
+    readonly specification: string;
+    readonly span: Span | undefined;
+    /** Whether it stopped a faithful program from being produced. */
+    readonly blocking: boolean;
+}
+export declare class GapLog {
+    private readonly seen;
+    readonly gaps: Gap[];
+    /** Records a gap once per distinct sentence, however many lines provoke it. */
+    add(gap: Gap): void;
+    get blocked(): boolean;
+}
+//# sourceMappingURL=gaps.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"gaps.d.ts","sourceRoot":"","sources":["../../../src/core/emit/gaps.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAE7C,MAAM,WAAW,GAAG;IAClB,4EAA4E;IAC5E,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,kEAAkE;IAClE,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,SAAS,CAAC;IAChC,iEAAiE;IACjE,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B;AAED,qBAAa,MAAM;IACjB,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAqB;IAC1C,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE,CAAM;IAE1B,+EAA+E;IAC/E,GAAG,CAAC,GAAG,EAAE,GAAG,GAAG,IAAI;IAOnB,IAAI,OAAO,IAAI,OAAO,CAErB;CACF"}

package/dist/core/emit/gaps.js

@@ -0,0 +1,16 @@
+export class GapLog {
+    seen = new Set();
+    gaps = [];
+    /** Records a gap once per distinct sentence, however many lines provoke it. */
+    add(gap) {
+        const key = `${gap.specification}|${gap.what}`;
+        if (this.seen.has(key))
+            return;
+        this.seen.add(key);
+        this.gaps.push(gap);
+    }
+    get blocked() {
+        return this.gaps.some((one) => one.blocking);
+    }
+}
+//# sourceMappingURL=gaps.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"gaps.js","sourceRoot":"","sources":["../../../src/core/emit/gaps.ts"],"names":[],"mappings":"AA4BA,MAAM,OAAO,MAAM;IACA,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,IAAI,GAAU,EAAE,CAAC;IAE1B,+EAA+E;IAC/E,GAAG,CAAC,GAAQ;QACV,MAAM,GAAG,GAAG,GAAG,GAAG,CAAC,aAAa,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC;QAC/C,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO;QAC/B,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACnB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACtB,CAAC;IAED,IAAI,OAAO;QACT,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC/C,CAAC;CACF"}

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

@@ -0,0 +1,29 @@
+/**
+ * The compiled program emitter: the artifact this whole project exists to
+ * produce.
+ *
+ * Everything else in `src/core` serves one compiler. This produces the thing
+ * somebody else's engine reads, in Java, in Go or in Python, from
+ * `spec/compiled-program.md` and nothing else. So the surface here is narrow on
+ * purpose: a function that emits one, the types that describe one, and the
+ * canonical encoding that makes a hash of one mean something.
+ *
+ * `COMPILED_FORMAT_VERSION` is generated from the specification and the release
+ * refuses to publish if the compiler and the specification disagree, which is why
+ * nothing here writes a version literal.
+ */
+export { emit } from './emit.js';
+export type { EmitResult } from './emit.js';
+export type { EmitOptions } from './context.js';
+export { DECLARATION_CALLS, arityOf, effectOf } from './context.js';
+export { BAR_FACTS, BAR_FIELDS } from './registers.js';
+export { REQUEST_CALLS, REQUEST_STATUS_CALLS } from './requests.js';
+export type { Gap } from './gaps.js';
+export { canonicalise, canonicalNumber, canonicalString, programHash, sourceHash } from './canonical.js';
+export { sha256, utf8 } from './sha256.js';
+export { OPCODES, depthChange, isOpcode, operandCount, targetPositions } from './opcodes.js';
+export type { Opcode } from './opcodes.js';
+export { walkDepths } from './code.js';
+export type { Walk } from './code.js';
+export type { Alert, Band, CallSite, CandleChannels, Cell, Channel, Colour, CompiledFunction, CompiledInput, CompiledProgram, CompilerStamp, Constant, Debug, DebugNames, Field, FormatVersion, Frame, Grid, InputReference, Instruction, Level, Library, LibraryFunction, Limits, Loop, Marker, Meta, Outputs, Paint, Plot, Position, Register, Request, RequestBody, RequestField, RequestInput, SourceStamp, StateRegion, StrategyMeta, TableOptions, } from './program.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/core/emit/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,YAAY,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAC5C,YAAY,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,EAAE,iBAAiB,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACpE,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAEpE,YAAY,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAErC,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,eAAe,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AACzG,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AAE3C,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC7F,YAAY,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAE3C,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AACvC,YAAY,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEtC,YAAY,EACV,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,cAAc,EACd,IAAI,EACJ,OAAO,EACP,MAAM,EACN,gBAAgB,EAChB,aAAa,EACb,eAAe,EACf,aAAa,EACb,QAAQ,EACR,KAAK,EACL,UAAU,EACV,KAAK,EACL,aAAa,EACb,KAAK,EACL,IAAI,EACJ,cAAc,EACd,WAAW,EACX,KAAK,EACL,OAAO,EACP,eAAe,EACf,MAAM,EACN,IAAI,EACJ,MAAM,EACN,IAAI,EACJ,OAAO,EACP,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,QAAQ,EACR,OAAO,EACP,WAAW,EACX,YAAY,EACZ,YAAY,EACZ,WAAW,EACX,WAAW,EACX,YAAY,EACZ,YAAY,GACb,MAAM,cAAc,CAAC"}

package/dist/core/emit/index.js

@@ -0,0 +1,23 @@
+/**
+ * The compiled program emitter: the artifact this whole project exists to
+ * produce.
+ *
+ * Everything else in `src/core` serves one compiler. This produces the thing
+ * somebody else's engine reads, in Java, in Go or in Python, from
+ * `spec/compiled-program.md` and nothing else. So the surface here is narrow on
+ * purpose: a function that emits one, the types that describe one, and the
+ * canonical encoding that makes a hash of one mean something.
+ *
+ * `COMPILED_FORMAT_VERSION` is generated from the specification and the release
+ * refuses to publish if the compiler and the specification disagree, which is why
+ * nothing here writes a version literal.
+ */
+export { emit } from './emit.js';
+export { DECLARATION_CALLS, arityOf, effectOf } from './context.js';
+export { BAR_FACTS, BAR_FIELDS } from './registers.js';
+export { REQUEST_CALLS, REQUEST_STATUS_CALLS } from './requests.js';
+export { canonicalise, canonicalNumber, canonicalString, programHash, sourceHash } from './canonical.js';
+export { sha256, utf8 } from './sha256.js';
+export { OPCODES, depthChange, isOpcode, operandCount, targetPositions } from './opcodes.js';
+export { walkDepths } from './code.js';
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/core/emit/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAGjC,OAAO,EAAE,iBAAiB,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACpE,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAIpE,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,eAAe,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AACzG,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AAE3C,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAG7F,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC"}