openalgo-script 0.1.0-alpha.1 → 0.4.0

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

@@ -0,0 +1 @@
+{"version":3,"file":"meta.js","sourceRoot":"","sources":["../../../src/core/emit/meta.ts"],"names":[],"mappings":"AAYA,OAAO,EACL,WAAW,EACX,iBAAiB,EACjB,gBAAgB,EAChB,cAAc,GACf,MAAM,eAAe,CAAC;AAEvB,OAAO,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAGtC,SAAS,WAAW,CAClB,CAAU,EACV,OAAwC,EACxC,IAAY,EACZ,QAAyC;IAEzC,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAClC,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1D,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC9B,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC;IAC/C,CAAC,CAAC,GAAG,CACH,yFAAyF;QACvF,gEAAgE,EAClE,mDAAmD,EACnD,OAAO,CAAC,IAAI,EACZ,IAAI,CACL,CAAC;IACF,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,CAAU;IAClC,MAAM,WAAW,GAAG,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC;IAC1C,MAAM,OAAO,GAAG,WAAW,EAAE,OAAO,IAAI,IAAI,GAAG,EAAsB,CAAC;IACtE,MAAM,KAAK,GAAG,WAAW,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;IAEnD,MAAM,IAAI,GAAG;QACX,IAAI,EAAE,WAAW,EAAE,IAAI,IAAI,OAAO;QAClC,KAAK;QACL,0EAA0E;QAC1E,4DAA4D;QAC5D,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK;QAC1E,OAAO,EAAE,WAAW,CAAC,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,cAAc,CAAC;QAC3D,SAAS,EAAE,WAAW,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,cAAc,CAAC;QAC/D,MAAM,EAAE,WAAW,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,cAAc,CAAC;QACzD,KAAK,EAAE,WAAW,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,cAAc,CAAC;QACvD,KAAK,EAAE,WAAW,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,cAAc,CAAC;QACvD,KAAK,EAAE,WAAW,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,cAAc,CAAC;QACvD,aAAa,EAAE,WAAW,CAAC,CAAC,EAAE,OAAO,EAAE,eAAe,EAAE,cAAc,CAAC;KAC/D,CAAC;IAEX,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,IAAI,CAAC;IAE1C,MAAM,QAAQ,GAA0B,EAAE,CAAC;IAC3C,KAAK,MAAM,MAAM,IAAI,gBAAgB,EAAE,CAAC;QACtC,QAAQ,CAAC,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,iBAAiB,CAAC,CAAC;IACxE,CAAC;IACD,OAAO,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,QAAmC,EAAE,CAAC;AACpE,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,WAAW,CAAC,CAAU;IACpC,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;IAC/E,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACrD,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAC/C,CAAC;IACD,OAAO;QACL,KAAK,EAAE,aAAa,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,IAAI,WAAW;QAC7D,OAAO,EAAE,aAAa,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,IAAI,IAAI;KAC3D,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CACpB,CAAU,EACV,IAAyB,EACzB,IAAY,EACZ,QAAgB;IAEhB,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,KAAK,IAAI,CAAC,CAAC;IAC9D,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,QAAQ,CAAC,CAAC;IAC3E,MAAM,MAAM,GAAG,QAAQ,IAAI,UAAU,CAAC;IACtC,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC3C,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACnC,OAAO,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AAClF,CAAC"}

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

@@ -0,0 +1,28 @@
+/**
+ * The forty-one instructions of `compiled-program.md` section 4, and the two
+ * facts an emitter has to get right about each one.
+ *
+ * The operand count is here so that a mistyped instruction is caught where it
+ * is built rather than by an engine's verifier three systems away. The depth
+ * change is here because section 3.5 check 5 requires the stack depth to be
+ * computable by walking the list, to agree at every join and to be zero at
+ * `HALT`; a compiler that cannot compute it cannot know it emitted a program
+ * any engine will load, and this is the table that makes it computable.
+ *
+ * `ARRAY`, `CALL_LIB` and `CALL_FN` have a depth that depends on an operand, so
+ * their entries carry the rule rather than a number.
+ */
+export declare const OPCODES: readonly ["CONST", "DUP", "POP", "LOAD", "STORE", "CELL_INIT", "LOADC", "STOREC", "SLOAD", "SSTORE", "HIST", "HISTP", "ADD", "SUB", "MUL", "DIV", "MOD", "NEG", "LT", "LE", "GT", "GE", "EQ", "NE", "NOT", "AND", "OR", "AND_SHORT", "OR_SHORT", "JUMP", "JUMP_FALSE", "TICK", "FOR_INIT", "FOR_NEXT", "ARRAY", "ELEM", "CALL_LIB", "CALL_FN", "RET", "EMIT", "HALT"];
+export type Opcode = (typeof OPCODES)[number];
+export declare function operandCount(opcode: Opcode): number;
+/**
+ * The stack depth change of one instruction.
+ *
+ * `argcOf` answers for a `CALL_FN`, because its count lives in the call site
+ * table rather than in the instruction, and the walker is the only caller that
+ * has that table in hand.
+ */
+export declare function depthChange(opcode: Opcode, operands: readonly number[], argcOf: (site: number) => number): number;
+export declare function targetPositions(opcode: Opcode): readonly number[];
+export declare function isOpcode(name: string): name is Opcode;
+//# sourceMappingURL=opcodes.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"opcodes.d.ts","sourceRoot":"","sources":["../../../src/core/emit/opcodes.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,eAAO,MAAM,OAAO,uWA0CV,CAAC;AAEX,MAAM,MAAM,MAAM,GAAG,CAAC,OAAO,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC;AA4D9C,wBAAgB,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAEnD;AAED;;;;;;GAMG;AACH,wBAAgB,WAAW,CACzB,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,SAAS,MAAM,EAAE,EAC3B,MAAM,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,GAC/B,MAAM,CAMR;AAaD,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAEjE;AAED,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,IAAI,MAAM,CAErD"}

package/dist/core/emit/opcodes.js

@@ -0,0 +1,137 @@
+/**
+ * The forty-one instructions of `compiled-program.md` section 4, and the two
+ * facts an emitter has to get right about each one.
+ *
+ * The operand count is here so that a mistyped instruction is caught where it
+ * is built rather than by an engine's verifier three systems away. The depth
+ * change is here because section 3.5 check 5 requires the stack depth to be
+ * computable by walking the list, to agree at every join and to be zero at
+ * `HALT`; a compiler that cannot compute it cannot know it emitted a program
+ * any engine will load, and this is the table that makes it computable.
+ *
+ * `ARRAY`, `CALL_LIB` and `CALL_FN` have a depth that depends on an operand, so
+ * their entries carry the rule rather than a number.
+ */
+export const OPCODES = [
+    'CONST',
+    'DUP',
+    'POP',
+    'LOAD',
+    'STORE',
+    'CELL_INIT',
+    'LOADC',
+    'STOREC',
+    'SLOAD',
+    'SSTORE',
+    'HIST',
+    'HISTP',
+    'ADD',
+    'SUB',
+    'MUL',
+    'DIV',
+    'MOD',
+    'NEG',
+    'LT',
+    'LE',
+    'GT',
+    'GE',
+    'EQ',
+    'NE',
+    'NOT',
+    'AND',
+    'OR',
+    'AND_SHORT',
+    'OR_SHORT',
+    'JUMP',
+    'JUMP_FALSE',
+    'TICK',
+    'FOR_INIT',
+    'FOR_NEXT',
+    'ARRAY',
+    'ELEM',
+    'CALL_LIB',
+    'CALL_FN',
+    'RET',
+    'EMIT',
+    'HALT',
+];
+const SHAPES = {
+    CONST: { operands: 1, depth: 1 },
+    DUP: { operands: 0, depth: 1 },
+    POP: { operands: 0, depth: -1 },
+    LOAD: { operands: 1, depth: 1 },
+    STORE: { operands: 1, depth: -1 },
+    CELL_INIT: { operands: 2, depth: 0 },
+    LOADC: { operands: 1, depth: 1 },
+    STOREC: { operands: 1, depth: -1 },
+    SLOAD: { operands: 1, depth: 1 },
+    SSTORE: { operands: 1, depth: -1 },
+    HIST: { operands: 1, depth: 0 },
+    HISTP: { operands: 1, depth: 0 },
+    ADD: { operands: 0, depth: -1 },
+    SUB: { operands: 0, depth: -1 },
+    MUL: { operands: 0, depth: -1 },
+    DIV: { operands: 0, depth: -1 },
+    MOD: { operands: 0, depth: -1 },
+    NEG: { operands: 0, depth: 0 },
+    LT: { operands: 0, depth: -1 },
+    LE: { operands: 0, depth: -1 },
+    GT: { operands: 0, depth: -1 },
+    GE: { operands: 0, depth: -1 },
+    EQ: { operands: 0, depth: -1 },
+    NE: { operands: 0, depth: -1 },
+    NOT: { operands: 0, depth: 0 },
+    AND: { operands: 0, depth: -1 },
+    OR: { operands: 0, depth: -1 },
+    AND_SHORT: { operands: 1, depth: 0 },
+    OR_SHORT: { operands: 1, depth: 0 },
+    JUMP: { operands: 1, depth: 0 },
+    JUMP_FALSE: { operands: 1, depth: -1 },
+    TICK: { operands: 1, depth: 0 },
+    FOR_INIT: { operands: 5, depth: -3 },
+    FOR_NEXT: { operands: 5, depth: 0 },
+    ARRAY: { operands: 1, depth: 'arrayCount' },
+    ELEM: { operands: 0, depth: -1 },
+    CALL_LIB: { operands: 3, depth: 'callCount' },
+    CALL_FN: { operands: 1, depth: 'callSite' },
+    RET: { operands: 0, depth: -1 },
+    EMIT: { operands: 1, depth: -1 },
+    HALT: { operands: 0, depth: 0 },
+};
+export function operandCount(opcode) {
+    return SHAPES[opcode].operands;
+}
+/**
+ * The stack depth change of one instruction.
+ *
+ * `argcOf` answers for a `CALL_FN`, because its count lives in the call site
+ * table rather than in the instruction, and the walker is the only caller that
+ * has that table in hand.
+ */
+export function depthChange(opcode, operands, argcOf) {
+    const shape = SHAPES[opcode];
+    if (shape.depth === 'arrayCount')
+        return 1 - (operands[0] ?? 0);
+    if (shape.depth === 'callCount')
+        return 1 - (operands[1] ?? 0);
+    if (shape.depth === 'callSite')
+        return 1 - argcOf(operands[0] ?? 0);
+    return shape.depth;
+}
+/** The operand positions that hold a jump target, for the verifier's check 3. */
+const TARGETS = {
+    CELL_INIT: [1],
+    AND_SHORT: [0],
+    OR_SHORT: [0],
+    JUMP: [0],
+    JUMP_FALSE: [0],
+    FOR_INIT: [4],
+    FOR_NEXT: [4],
+};
+export function targetPositions(opcode) {
+    return TARGETS[opcode] ?? [];
+}
+export function isOpcode(name) {
+    return OPCODES.includes(name);
+}
+//# sourceMappingURL=opcodes.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"opcodes.js","sourceRoot":"","sources":["../../../src/core/emit/opcodes.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,MAAM,CAAC,MAAM,OAAO,GAAG;IACrB,OAAO;IACP,KAAK;IACL,KAAK;IACL,MAAM;IACN,OAAO;IACP,WAAW;IACX,OAAO;IACP,QAAQ;IACR,OAAO;IACP,QAAQ;IACR,MAAM;IACN,OAAO;IACP,KAAK;IACL,KAAK;IACL,KAAK;IACL,KAAK;IACL,KAAK;IACL,KAAK;IACL,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,KAAK;IACL,KAAK;IACL,IAAI;IACJ,WAAW;IACX,UAAU;IACV,MAAM;IACN,YAAY;IACZ,MAAM;IACN,UAAU;IACV,UAAU;IACV,OAAO;IACP,MAAM;IACN,UAAU;IACV,SAAS;IACT,KAAK;IACL,MAAM;IACN,MAAM;CACE,CAAC;AAkBX,MAAM,MAAM,GAAoC;IAC9C,KAAK,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;IAChC,GAAG,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;IAC9B,GAAG,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE;IAC/B,IAAI,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;IAC/B,KAAK,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE;IACjC,SAAS,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;IACpC,KAAK,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;IAChC,MAAM,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE;IAClC,KAAK,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;IAChC,MAAM,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE;IAClC,IAAI,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;IAC/B,KAAK,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;IAChC,GAAG,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE;IAC/B,GAAG,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE;IAC/B,GAAG,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE;IAC/B,GAAG,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE;IAC/B,GAAG,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE;IAC/B,GAAG,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;IAC9B,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE;IAC9B,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE;IAC9B,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE;IAC9B,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE;IAC9B,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE;IAC9B,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE;IAC9B,GAAG,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;IAC9B,GAAG,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE;IAC/B,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE;IAC9B,SAAS,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;IACpC,QAAQ,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;IACnC,IAAI,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;IAC/B,UAAU,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE;IACtC,IAAI,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;IAC/B,QAAQ,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE;IACpC,QAAQ,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;IACnC,KAAK,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,YAAY,EAAE;IAC3C,IAAI,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE;IAChC,QAAQ,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE;IAC7C,OAAO,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE;IAC3C,GAAG,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE;IAC/B,IAAI,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE;IAChC,IAAI,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;CAChC,CAAC;AAEF,MAAM,UAAU,YAAY,CAAC,MAAc;IACzC,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC;AACjC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,WAAW,CACzB,MAAc,EACd,QAA2B,EAC3B,MAAgC;IAEhC,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;IAC7B,IAAI,KAAK,CAAC,KAAK,KAAK,YAAY;QAAE,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAChE,IAAI,KAAK,CAAC,KAAK,KAAK,WAAW;QAAE,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC/D,IAAI,KAAK,CAAC,KAAK,KAAK,UAAU;QAAE,OAAO,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACpE,OAAO,KAAK,CAAC,KAAK,CAAC;AACrB,CAAC;AAED,iFAAiF;AACjF,MAAM,OAAO,GAA+C;IAC1D,SAAS,EAAE,CAAC,CAAC,CAAC;IACd,SAAS,EAAE,CAAC,CAAC,CAAC;IACd,QAAQ,EAAE,CAAC,CAAC,CAAC;IACb,IAAI,EAAE,CAAC,CAAC,CAAC;IACT,UAAU,EAAE,CAAC,CAAC,CAAC;IACf,QAAQ,EAAE,CAAC,CAAC,CAAC;IACb,QAAQ,EAAE,CAAC,CAAC,CAAC;CACd,CAAC;AAEF,MAAM,UAAU,eAAe,CAAC,MAAc;IAC5C,OAAO,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;AAC/B,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,IAAY;IACnC,OAAQ,OAA6B,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AACvD,CAAC"}

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

@@ -0,0 +1,67 @@
+/**
+ * The declarations that give the file its fixed shape, and the one instruction
+ * per bar each of them still needs.
+ *
+ * **A declaration is not a per-bar instruction.** A `plot` call becomes a fixed
+ * entry in `outputs.plots` plus one `EMIT` per bar, and the two halves are
+ * decided at different times: the entry is settled before bar 0 because a
+ * legend, a settings dialog and a pane have to exist before the first bar runs
+ * (`language.md` 7.1), while the value is whatever the expression produced on
+ * this bar. That split is why a declaration handle is a compile-time value with
+ * nothing to compile into, and an emitter that treated the two alike would
+ * break the type system the checker enforces.
+ *
+ * `table` is the far end of the same idea: it is a declaration with **no**
+ * per-bar instruction at all. Its grid is declared here and its handle is one
+ * of the things 2.11 says a slot holds, which the engine writes as it writes an
+ * input's value.
+ */
+import type { Argument, Call } from '../ast/index.js';
+import type { Binding } from '../check/index.js';
+import type { Emitter, Frame } from './context.js';
+import type { Field } from './program.js';
+import type { Value } from './values.js';
+/** The argument written for one parameter of a declaration call, or nothing. */
+export declare function argumentFor(e: Emitter, call: Call, name: string): Argument | undefined;
+/**
+ * A declaration field: what the script wrote, or the effective default.
+ *
+ * `compiled-program.md` 2.3 wants the value the option resolved to, defaults
+ * included, so an option a script left out is written with its default rather
+ * than omitted. An option the compiler cannot fold has nowhere in the format to
+ * live, and that is a gap rather than a guess.
+ */
+export declare function fieldFor(e: Emitter, call: Call, name: string, defaults: Readonly<Record<string, Value>>): Field;
+/**
+ * The per-bar work one declaration needs, which for two of them is none.
+ *
+ * **Every caller of this is a statement that is entirely one declaration call**:
+ * `plot(close, "C")` written on a line of its own, `panel = table(...)`, and
+ * `len = input(14, "Length")`. `statements.ts` sends all three forms here
+ * directly and `emitCall` sends nothing else, so reaching this function means
+ * the call declares and nothing is waiting for a value from it.
+ *
+ * That invariant is here for one case, and it is worth the paragraph because
+ * the case is easy to get subtly wrong in both directions. An `input()` is a
+ * row of the settings dialog and a slot the engine writes at step 5 of every
+ * bar, and 12.2 says in as many words that there is no instruction for one. But
+ * that is the reading of `len = input(14, "Length")` only, where the name and
+ * the input share one slot and the engine's write is the assignment. The same
+ * call written inside an expression, which `language.md` 13.2 asks for on the
+ * declaration line itself and 13.4 allows anywhere at the top level, has to
+ * leave its value on the stack like any other expression, and an emitter that
+ * emitted nothing there left the stack one value short and produced a program
+ * refused at 3.5 check 5 with OS6018: a correct script told it had met a broken
+ * compiler.
+ *
+ * So the two are told apart by **which caller they arrive through**, and never
+ * by inspecting the call. The statement is the only place that can see whether
+ * the call is the whole of itself, and it is the place that already knows: it
+ * had to decide that anyway to know whether to emit a store. Asking here
+ * instead would mean re-deriving from the checker's tables, at the one point
+ * with the least context, a fact the caller was holding when it called.
+ *
+ * `inputs.ts` has the other half, which is the read.
+ */
+export declare function emitDeclarationCall(e: Emitter, f: Frame, call: Call, name: string, target: Binding | undefined): string | undefined;
+//# sourceMappingURL=outputs.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"outputs.d.ts","sourceRoot":"","sources":["../../../src/core/emit/outputs.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAC;AAEtD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,cAAc,CAAC;AAYnD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,cAAc,CAAC;AAE1C,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAEzC,gFAAgF;AAChF,wBAAgB,WAAW,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,QAAQ,GAAG,SAAS,CAItF;AAED;;;;;;;GAOG;AACH,wBAAgB,QAAQ,CACtB,CAAC,EAAE,OAAO,EACV,IAAI,EAAE,IAAI,EACV,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,GACxC,KAAK,CAaP;AAyBD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,wBAAgB,mBAAmB,CACjC,CAAC,EAAE,OAAO,EACV,CAAC,EAAE,KAAK,EACR,IAAI,EAAE,IAAI,EACV,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,OAAO,GAAG,SAAS,GAC1B,MAAM,GAAG,SAAS,CAuBpB"}

package/dist/core/emit/outputs.js

@@ -0,0 +1,293 @@
+import { withoutGrouping } from '../ast/index.js';
+import { argumentAt } from './context.js';
+import { emitEventCall } from './events.js';
+import { emitExpression } from './expressions.js';
+import { CANDLE_DEFAULTS, FILL_DEFAULTS, LEVEL_DEFAULTS, PLOT_DEFAULTS, PLOT_LINE_STYLE, TABLE_DEFAULTS, } from './defaults.js';
+import { fieldOf } from './values.js';
+/** The argument written for one parameter of a declaration call, or nothing. */
+export function argumentFor(e, call, name) {
+    const checked = e.callAt(call);
+    if (checked?.entry === undefined)
+        return undefined;
+    return argumentAt(checked, checked.entry, name);
+}
+/**
+ * A declaration field: what the script wrote, or the effective default.
+ *
+ * `compiled-program.md` 2.3 wants the value the option resolved to, defaults
+ * included, so an option a script left out is written with its default rather
+ * than omitted. An option the compiler cannot fold has nowhere in the format to
+ * live, and that is a gap rather than a guess.
+ */
+export function fieldFor(e, call, name, defaults) {
+    const argument = argumentFor(e, call, name);
+    if (argument === undefined)
+        return fieldOf(defaults[name]);
+    const value = e.fold(argument.value);
+    if (value !== undefined)
+        return fieldOf(value);
+    e.gap('a declaration option written as an expression over an input cannot be carried: a field ' +
+        'holds a value or a reference to one input, and this is neither', 'compiled-program.md 2.3, against language.md 13.2', argument.span, true);
+    return null;
+}
+/** A colour that is constant lands on the declaration; one that is not, on a channel. */
+function colourFor(e, f, call, name, defaults, channelName) {
+    const argument = argumentFor(e, call, name);
+    if (argument === undefined)
+        return { colour: fieldOf(defaults[name]), channel: null };
+    const value = e.fold(argument.value);
+    if (value !== undefined)
+        return { colour: fieldOf(value), channel: null };
+    // A series colour lands on the contract's per-bar colour callback instead
+    // (stdlib.md 14.2), which is how a script paints a histogram by sign.
+    const channel = e.layout.channel('color', false, true, channelName);
+    emitExpression(e, f, argument.value);
+    f.builder.at(call.span);
+    f.builder.push('EMIT', channel);
+    return { colour: null, channel };
+}
+/**
+ * The per-bar work one declaration needs, which for two of them is none.
+ *
+ * **Every caller of this is a statement that is entirely one declaration call**:
+ * `plot(close, "C")` written on a line of its own, `panel = table(...)`, and
+ * `len = input(14, "Length")`. `statements.ts` sends all three forms here
+ * directly and `emitCall` sends nothing else, so reaching this function means
+ * the call declares and nothing is waiting for a value from it.
+ *
+ * That invariant is here for one case, and it is worth the paragraph because
+ * the case is easy to get subtly wrong in both directions. An `input()` is a
+ * row of the settings dialog and a slot the engine writes at step 5 of every
+ * bar, and 12.2 says in as many words that there is no instruction for one. But
+ * that is the reading of `len = input(14, "Length")` only, where the name and
+ * the input share one slot and the engine's write is the assignment. The same
+ * call written inside an expression, which `language.md` 13.2 asks for on the
+ * declaration line itself and 13.4 allows anywhere at the top level, has to
+ * leave its value on the stack like any other expression, and an emitter that
+ * emitted nothing there left the stack one value short and produced a program
+ * refused at 3.5 check 5 with OS6018: a correct script told it had met a broken
+ * compiler.
+ *
+ * So the two are told apart by **which caller they arrive through**, and never
+ * by inspecting the call. The statement is the only place that can see whether
+ * the call is the whole of itself, and it is the place that already knows: it
+ * had to decide that anyway to know whether to emit a store. Asking here
+ * instead would mean re-deriving from the checker's tables, at the one point
+ * with the least context, a fact the caller was holding when it called.
+ *
+ * `inputs.ts` has the other half, which is the read.
+ */
+export function emitDeclarationCall(e, f, call, name, target) {
+    switch (name) {
+        case 'input':
+            // The row and the slot are made before any statement is emitted, and the
+            // engine writes the slot; the assignment itself has nothing to do (2.6).
+            return undefined;
+        case 'plot':
+            return declarePlot(e, f, call);
+        case 'plotCandles':
+            return declareCandles(e, f, call);
+        case 'fill':
+            declareFill(e, f, call);
+            return undefined;
+        case 'level':
+            declareLevel(e, f, call);
+            return undefined;
+        case 'table':
+            declareTable(e, f, call, target);
+            return undefined;
+        default:
+            emitEventCall(e, f, call, name);
+            return undefined;
+    }
+}
+function titleOf(e, call) {
+    const field = fieldFor(e, call, 'title', {});
+    return { field, text: typeof field === 'string' ? field : '' };
+}
+function declarePlot(e, f, call) {
+    const key = `p${e.plots.length}`;
+    const title = titleOf(e, call);
+    const channel = e.layout.channel('number', false, true, title.text);
+    const value = argumentFor(e, call, 'value');
+    if (value === undefined) {
+        f.builder.at(call.span);
+        f.builder.push('CONST', e.pool.absent());
+    }
+    else {
+        emitExpression(e, f, value.value);
+    }
+    f.builder.at(call.span);
+    f.builder.push('EMIT', channel);
+    const colour = colourFor(e, f, call, 'color', PLOT_DEFAULTS, title.text);
+    const style = fieldFor(e, call, 'style', PLOT_DEFAULTS);
+    e.plots.push({
+        key,
+        title: title.field,
+        type: typeof style === 'string' ? style : 'line',
+        channel,
+        color: colour.colour,
+        colorChannel: colour.channel,
+        width: fieldFor(e, call, 'width', PLOT_DEFAULTS),
+        lineStyle: fieldOf(PLOT_LINE_STYLE),
+        offset: fieldFor(e, call, 'offset', PLOT_DEFAULTS),
+        overlay: fieldFor(e, call, 'overlay', PLOT_DEFAULTS),
+        scale: fieldFor(e, call, 'scale', PLOT_DEFAULTS),
+        precision: fieldFor(e, call, 'precision', PLOT_DEFAULTS),
+        priceFormat: fieldFor(e, call, 'format', PLOT_DEFAULTS),
+        ohlc: null,
+    });
+    return key;
+}
+/**
+ * `plotCandles`, which is one plot and not four.
+ *
+ * Four declared plots with one of them nominated as the candle's identity would
+ * put four rows in a legend for one column and would need a flag to hide three
+ * of them (2.8). The entry's own channel is the close channel, which is what
+ * makes a band drawn to the handle follow the close column.
+ */
+function declareCandles(e, f, call) {
+    const key = `p${e.plots.length}`;
+    const title = titleOf(e, call);
+    const part = (name) => {
+        const channel = e.layout.channel('number', false, true, `${title.text} ${name}`);
+        const argument = argumentFor(e, call, name);
+        if (argument === undefined) {
+            f.builder.at(call.span);
+            f.builder.push('CONST', e.pool.absent());
+        }
+        else {
+            emitExpression(e, f, argument.value);
+        }
+        f.builder.at(call.span);
+        f.builder.push('EMIT', channel);
+        return channel;
+    };
+    const open = part('open');
+    const high = part('high');
+    const low = part('low');
+    const close = part('close');
+    const up = colourFor(e, f, call, 'colorUp', CANDLE_DEFAULTS, `${title.text} up`);
+    const down = colourFor(e, f, call, 'colorDown', CANDLE_DEFAULTS, `${title.text} down`);
+    const wick = colourFor(e, f, call, 'wickColor', CANDLE_DEFAULTS, `${title.text} wick`);
+    const border = colourFor(e, f, call, 'borderColor', CANDLE_DEFAULTS, `${title.text} border`);
+    e.plots.push({
+        key,
+        title: title.field,
+        type: 'candle',
+        channel: close,
+        color: null,
+        colorChannel: null,
+        width: fieldOf(PLOT_DEFAULTS['width']),
+        lineStyle: fieldOf(PLOT_LINE_STYLE),
+        offset: fieldOf(PLOT_DEFAULTS['offset']),
+        overlay: null,
+        scale: fieldOf(PLOT_DEFAULTS['scale']),
+        precision: null,
+        priceFormat: null,
+        ohlc: {
+            open,
+            high,
+            low,
+            close,
+            colorUp: up.colour,
+            colorDown: down.colour,
+            wickColor: wick.colour,
+            borderColor: border.colour,
+            colorUpChannel: up.channel,
+            colorDownChannel: down.channel,
+            wickColorChannel: wick.channel,
+            borderColorChannel: border.channel,
+        },
+    });
+    return key;
+}
+/**
+ * `fill`, which names two declared columns and never two expressions.
+ *
+ * `color` sets both sides of the band and giving it with either of the other
+ * two is OS3010, so the compiler writes that one colour into both fields and an
+ * engine reads one representation of a band rather than two (2.8).
+ */
+function declareFill(e, f, call) {
+    const between = [keyOfHandle(e, argumentFor(e, call, 'plotA')), keyOfHandle(e, argumentFor(e, call, 'plotB'))];
+    const both = argumentFor(e, call, 'color');
+    let up = colourFor(e, f, call, 'colorUp', FILL_DEFAULTS, 'band up');
+    let down = colourFor(e, f, call, 'colorDown', FILL_DEFAULTS, 'band down');
+    if (both !== undefined) {
+        const one = colourFor(e, f, call, 'color', FILL_DEFAULTS, 'band');
+        up = one;
+        down = one;
+    }
+    e.fills.push({
+        between: [between[0], between[1]],
+        colorUp: up.colour,
+        colorDown: down.colour,
+        colorUpChannel: up.channel,
+        colorDownChannel: down.channel,
+        opacity: fieldFor(e, call, 'opacity', FILL_DEFAULTS),
+        overlay: fieldFor(e, call, 'overlay', FILL_DEFAULTS),
+    });
+}
+function keyOfHandle(e, argument) {
+    if (argument === undefined)
+        return '';
+    const inner = withoutGrouping(argument.value);
+    if (inner.kind !== 'nameReference')
+        return '';
+    const binding = e.bindingAt(inner);
+    return binding === undefined ? '' : (e.handleKeys.get(binding.id) ?? '');
+}
+/**
+ * `level`, whose price arrives through a channel and is evaluated every bar.
+ *
+ * The level drawn is the one from the last bar executed, which is what lets a
+ * level track the data rather than being a compile-time constant (2.8).
+ */
+function declareLevel(e, f, call) {
+    const title = titleOf(e, call);
+    const channel = e.layout.channel('number', false, true, title.text);
+    const price = argumentFor(e, call, 'price');
+    if (price === undefined) {
+        f.builder.at(call.span);
+        f.builder.push('CONST', e.pool.absent());
+    }
+    else {
+        emitExpression(e, f, price.value);
+    }
+    f.builder.at(call.span);
+    f.builder.push('EMIT', channel);
+    e.levels.push({
+        title: title.field,
+        channel,
+        color: fieldFor(e, call, 'color', LEVEL_DEFAULTS),
+        lineStyle: fieldFor(e, call, 'style', LEVEL_DEFAULTS),
+        lineWidth: fieldFor(e, call, 'width', LEVEL_DEFAULTS),
+    });
+}
+/**
+ * `table`, the one declaration with no per-bar instruction.
+ *
+ * Its cells are written by library calls against the handle rather than by
+ * channels, because a grid of two hundred cells would otherwise need two
+ * hundred channels and almost all of them would be absent on almost every bar
+ * (2.8).
+ */
+function declareTable(e, f, call, target) {
+    const slot = target === undefined ? f.layout.slot('') : f.layout.slotFor(target);
+    e.tables.push({
+        key: `t${e.tables.length}`,
+        title: fieldFor(e, call, 'title', {}),
+        slot,
+        position: fieldFor(e, call, 'position', TABLE_DEFAULTS),
+        rows: fieldFor(e, call, 'rows', {}),
+        cols: fieldFor(e, call, 'cols', {}),
+        options: {
+            textColor: fieldFor(e, call, 'textColor', TABLE_DEFAULTS),
+            bgColor: fieldFor(e, call, 'bgColor', TABLE_DEFAULTS),
+            borderWidth: fieldFor(e, call, 'borderWidth', TABLE_DEFAULTS),
+        },
+    });
+}
+//# sourceMappingURL=outputs.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"outputs.js","sourceRoot":"","sources":["../../../src/core/emit/outputs.ts"],"names":[],"mappings":"AAmBA,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAGlD,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EACL,eAAe,EACf,aAAa,EACb,cAAc,EACd,aAAa,EACb,eAAe,EACf,cAAc,GACf,MAAM,eAAe,CAAC;AAEvB,OAAO,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAGtC,gFAAgF;AAChF,MAAM,UAAU,WAAW,CAAC,CAAU,EAAE,IAAU,EAAE,IAAY;IAC9D,MAAM,OAAO,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC/B,IAAI,OAAO,EAAE,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACnD,OAAO,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;AAClD,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,QAAQ,CACtB,CAAU,EACV,IAAU,EACV,IAAY,EACZ,QAAyC;IAEzC,MAAM,QAAQ,GAAG,WAAW,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC5C,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3D,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IACrC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC;IAC/C,CAAC,CAAC,GAAG,CACH,yFAAyF;QACvF,gEAAgE,EAClE,mDAAmD,EACnD,QAAQ,CAAC,IAAI,EACb,IAAI,CACL,CAAC;IACF,OAAO,IAAI,CAAC;AACd,CAAC;AAED,yFAAyF;AACzF,SAAS,SAAS,CAChB,CAAU,EACV,CAAQ,EACR,IAAU,EACV,IAAY,EACZ,QAAyC,EACzC,WAAmB;IAEnB,MAAM,QAAQ,GAAG,WAAW,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC5C,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACtF,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IACrC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAE1E,0EAA0E;IAC1E,sEAAsE;IACtE,MAAM,OAAO,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IACpE,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;IACrC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAChC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AACnC,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,MAAM,UAAU,mBAAmB,CACjC,CAAU,EACV,CAAQ,EACR,IAAU,EACV,IAAY,EACZ,MAA2B;IAE3B,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,OAAO;YACV,yEAAyE;YACzE,yEAAyE;YACzE,OAAO,SAAS,CAAC;QACnB,KAAK,MAAM;YACT,OAAO,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;QACjC,KAAK,aAAa;YAChB,OAAO,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;QACpC,KAAK,MAAM;YACT,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;YACxB,OAAO,SAAS,CAAC;QACnB,KAAK,OAAO;YACV,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;YACzB,OAAO,SAAS,CAAC;QACnB,KAAK,OAAO;YACV,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YACjC,OAAO,SAAS,CAAC;QACnB;YACE,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;YAChC,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED,SAAS,OAAO,CAAC,CAAU,EAAE,IAAU;IACrC,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;IAC7C,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;AACjE,CAAC;AAED,SAAS,WAAW,CAAC,CAAU,EAAE,CAAQ,EAAE,IAAU;IACnD,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;IACjC,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IAC/B,MAAM,OAAO,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IAEpE,MAAM,KAAK,GAAG,WAAW,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAC5C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAC3C,CAAC;SAAM,CAAC;QACN,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACpC,CAAC;IACD,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAEhC,MAAM,MAAM,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IACzE,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC;IAExD,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;QACX,GAAG;QACH,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,IAAI,EAAE,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM;QAChD,OAAO;QACP,KAAK,EAAE,MAAM,CAAC,MAAM;QACpB,YAAY,EAAE,MAAM,CAAC,OAAO;QAC5B,KAAK,EAAE,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,CAAC;QAChD,SAAS,EAAE,OAAO,CAAC,eAAe,CAAC;QACnC,MAAM,EAAE,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,CAAC;QAClD,OAAO,EAAE,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,aAAa,CAAC;QACpD,KAAK,EAAE,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,CAAC;QAChD,SAAS,EAAE,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,aAAa,CAAC;QACxD,WAAW,EAAE,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,CAAC;QACvD,IAAI,EAAE,IAAI;KACX,CAAC,CAAC;IACH,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,cAAc,CAAC,CAAU,EAAE,CAAQ,EAAE,IAAU;IACtD,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;IACjC,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IAE/B,MAAM,IAAI,GAAG,CAAC,IAAY,EAAU,EAAE;QACpC,MAAM,OAAO,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,IAAI,IAAI,IAAI,EAAE,CAAC,CAAC;QACjF,MAAM,QAAQ,GAAG,WAAW,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAC5C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxB,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QAC3C,CAAC;aAAM,CAAC;YACN,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;QACvC,CAAC;QACD,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAChC,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC;IAEF,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;IAC1B,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;IAC1B,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;IACxB,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC;IAE5B,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,eAAe,EAAE,GAAG,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC;IACjF,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,eAAe,EAAE,GAAG,KAAK,CAAC,IAAI,OAAO,CAAC,CAAC;IACvF,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,eAAe,EAAE,GAAG,KAAK,CAAC,IAAI,OAAO,CAAC,CAAC;IACvF,MAAM,MAAM,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,eAAe,EAAE,GAAG,KAAK,CAAC,IAAI,SAAS,CAAC,CAAC;IAE7F,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;QACX,GAAG;QACH,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,KAAK;QACd,KAAK,EAAE,IAAI;QACX,YAAY,EAAE,IAAI;QAClB,KAAK,EAAE,OAAO,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;QACtC,SAAS,EAAE,OAAO,CAAC,eAAe,CAAC;QACnC,MAAM,EAAE,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;QACxC,OAAO,EAAE,IAAI;QACb,KAAK,EAAE,OAAO,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;QACtC,SAAS,EAAE,IAAI;QACf,WAAW,EAAE,IAAI;QACjB,IAAI,EAAE;YACJ,IAAI;YACJ,IAAI;YACJ,GAAG;YACH,KAAK;YACL,OAAO,EAAE,EAAE,CAAC,MAAM;YAClB,SAAS,EAAE,IAAI,CAAC,MAAM;YACtB,SAAS,EAAE,IAAI,CAAC,MAAM;YACtB,WAAW,EAAE,MAAM,CAAC,MAAM;YAC1B,cAAc,EAAE,EAAE,CAAC,OAAO;YAC1B,gBAAgB,EAAE,IAAI,CAAC,OAAO;YAC9B,gBAAgB,EAAE,IAAI,CAAC,OAAO;YAC9B,kBAAkB,EAAE,MAAM,CAAC,OAAO;SACnC;KACF,CAAC,CAAC;IACH,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;GAMG;AACH,SAAS,WAAW,CAAC,CAAU,EAAE,CAAQ,EAAE,IAAU;IACnD,MAAM,OAAO,GAAG,CAAC,WAAW,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAU,CAAC;IACxH,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAE3C,IAAI,EAAE,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,aAAa,EAAE,SAAS,CAAC,CAAC;IACpE,IAAI,IAAI,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,aAAa,EAAE,WAAW,CAAC,CAAC;IAC1E,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,MAAM,GAAG,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,CAAC,CAAC;QAClE,EAAE,GAAG,GAAG,CAAC;QACT,IAAI,GAAG,GAAG,CAAC;IACb,CAAC;IAED,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;QACX,OAAO,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;QACjC,OAAO,EAAE,EAAE,CAAC,MAAM;QAClB,SAAS,EAAE,IAAI,CAAC,MAAM;QACtB,cAAc,EAAE,EAAE,CAAC,OAAO;QAC1B,gBAAgB,EAAE,IAAI,CAAC,OAAO;QAC9B,OAAO,EAAE,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,aAAa,CAAC;QACpD,OAAO,EAAE,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,aAAa,CAAC;KACrD,CAAC,CAAC;AACL,CAAC;AAED,SAAS,WAAW,CAAC,CAAU,EAAE,QAA8B;IAC7D,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACtC,MAAM,KAAK,GAAG,eAAe,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC9C,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,EAAE,CAAC;IAC9C,MAAM,OAAO,GAAG,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACnC,OAAO,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;AAC3E,CAAC;AAED;;;;;GAKG;AACH,SAAS,YAAY,CAAC,CAAU,EAAE,CAAQ,EAAE,IAAU;IACpD,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IAC/B,MAAM,OAAO,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IACpE,MAAM,KAAK,GAAG,WAAW,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAC5C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAC3C,CAAC;SAAM,CAAC;QACN,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACpC,CAAC;IACD,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAEhC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;QACZ,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,OAAO;QACP,KAAK,EAAE,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,cAAc,CAAC;QACjD,SAAS,EAAE,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,cAAc,CAAC;QACrD,SAAS,EAAE,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,cAAc,CAAC;KACtD,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,YAAY,CAAC,CAAU,EAAE,CAAQ,EAAE,IAAU,EAAE,MAA2B;IACjF,MAAM,IAAI,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACjF,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;QACZ,GAAG,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE;QAC1B,KAAK,EAAE,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC;QACrC,IAAI;QACJ,QAAQ,EAAE,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,cAAc,CAAC;QACvD,IAAI,EAAE,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC;QACnC,IAAI,EAAE,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC;QACnC,OAAO,EAAE;YACP,SAAS,EAAE,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,cAAc,CAAC;YACzD,OAAO,EAAE,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,cAAc,CAAC;YACrD,WAAW,EAAE,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,cAAc,CAAC;SAC9D;KACF,CAAC,CAAC;AACL,CAAC"}

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

@@ -0,0 +1,33 @@
+/**
+ * The constant pool, `compiled-program.md` 2.9.
+ *
+ * Entries 0, 1 and 2 are absent, `false` and `true`, always, so `CONST 0` is
+ * the whole of pushing absence and no instruction has to encode a literal.
+ * Everything else is deduplicated, because a pool is per program and a literal
+ * repeated forty times is forty pushes of one entry.
+ *
+ * An array literal is deliberately not poolable. It must produce a new array
+ * every time it is evaluated, so it compiles to pushes and an `ARRAY`
+ * instruction, and a shared pool object would be the same array on every bar.
+ */
+import type { Constant } from './program.js';
+import type { Value } from './values.js';
+export declare const ABSENT_INDEX = 0;
+export declare const FALSE_INDEX = 1;
+export declare const TRUE_INDEX = 2;
+export declare class ConstantPool {
+    private readonly entries;
+    private readonly byKey;
+    get all(): readonly Constant[];
+    absent(): number;
+    bool(value: boolean): number;
+    number(value: number): number;
+    string(value: string): number;
+    colour(value: readonly [number, number, number, number]): number;
+    /** The pool index for a folded value, or nothing when it is not poolable. */
+    of(value: Value): number | undefined;
+    private intern;
+}
+/** A folded value as a constant entry, for an input's default and its options. */
+export declare function constantOf(value: Value): Constant | undefined;
+//# sourceMappingURL=pool.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"pool.d.ts","sourceRoot":"","sources":["../../../src/core/emit/pool.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAEzC,eAAO,MAAM,YAAY,IAAI,CAAC;AAC9B,eAAO,MAAM,WAAW,IAAI,CAAC;AAC7B,eAAO,MAAM,UAAU,IAAI,CAAC;AAE5B,qBAAa,YAAY;IACvB,OAAO,CAAC,QAAQ,CAAC,OAAO,CAItB;IACF,OAAO,CAAC,QAAQ,CAAC,KAAK,CAInB;IAEH,IAAI,GAAG,IAAI,SAAS,QAAQ,EAAE,CAE7B;IAED,MAAM,IAAI,MAAM;IAIhB,IAAI,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM;IAI5B,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAM7B,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAI7B,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG,MAAM;IAIhE,6EAA6E;IAC7E,EAAE,CAAC,KAAK,EAAE,KAAK,GAAG,MAAM,GAAG,SAAS;IAiBpC,OAAO,CAAC,MAAM;CAQf;AAED,kFAAkF;AAClF,wBAAgB,UAAU,CAAC,KAAK,EAAE,KAAK,GAAG,QAAQ,GAAG,SAAS,CAe7D"}