openalgo-script 0.1.0-alpha.0 → 0.2.0

package/dist/core/check/warmup.js

@@ -0,0 +1,62 @@
+/** A value on the very first bar. */
+export const BAR_ZERO = { kind: 'at', bar: 0 };
+export const NEVER = { kind: 'never' };
+export function atBar(bar) {
+    return { kind: 'at', bar: Math.max(0, Math.trunc(bar)) };
+}
+export function atLeastBar(bar) {
+    return { kind: 'atLeast', bar: Math.max(0, Math.trunc(bar)) };
+}
+/** The floor of a warmup, for a rule that can only give a lower bound. */
+export function weaken(warmup) {
+    return warmup.kind === 'at' ? atLeastBar(warmup.bar) : warmup;
+}
+/**
+ * The warmup of something that needs both of two values.
+ *
+ * Arithmetic propagates absence (language.md 6.2), so a sum is absent until
+ * both sides are present: the later of the two. An operand that is never
+ * present makes the whole thing never present.
+ */
+export function later(left, right) {
+    if (left.kind === 'never' || right.kind === 'never')
+        return NEVER;
+    const bar = Math.max(left.bar, right.bar);
+    return left.kind === 'at' && right.kind === 'at' ? atBar(bar) : atLeastBar(bar);
+}
+/**
+ * The warmup of something that needs either of two values.
+ *
+ * `orElse(x, fallback)` and a ternary whose arms warm up at different bars are
+ * both this: present as soon as the earlier one is.
+ */
+export function earlier(left, right) {
+    if (left.kind === 'never')
+        return right;
+    if (right.kind === 'never')
+        return left;
+    const bar = Math.min(left.bar, right.bar);
+    return left.kind === 'at' && right.kind === 'at' ? atBar(bar) : atLeastBar(bar);
+}
+/** The warmup of every one of these together, or bar 0 when there are none. */
+export function allOf(warmups) {
+    return warmups.reduce(later, BAR_ZERO);
+}
+/**
+ * The same value, delayed by a stated number of bars.
+ *
+ * This is how a library entry's declared length composes with its source's:
+ * `sma(ema(close, 10), 10)` is absent until bar 18 because each call delays
+ * whatever it was given by its own length, and stdlib.md section 1 says so.
+ */
+export function delayed(warmup, bars) {
+    if (warmup.kind === 'never')
+        return NEVER;
+    const bar = warmup.bar + Math.trunc(bars);
+    return warmup.kind === 'at' ? atBar(bar) : atLeastBar(bar);
+}
+/** Whether this value is absent on every bar, which is what OS8009 reports. */
+export function isNever(warmup) {
+    return warmup.kind === 'never';
+}
+//# sourceMappingURL=warmup.js.map

package/dist/core/check/warmup.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"warmup.js","sourceRoot":"","sources":["../../../src/core/check/warmup.ts"],"names":[],"mappings":"AAkCA,qCAAqC;AACrC,MAAM,CAAC,MAAM,QAAQ,GAAW,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAEvD,MAAM,CAAC,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAE/C,MAAM,UAAU,KAAK,CAAC,GAAW;IAC/B,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;AAC3D,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,GAAW;IACpC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;AAChE,CAAC;AAED,0EAA0E;AAC1E,MAAM,UAAU,MAAM,CAAC,MAAc;IACnC,OAAO,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;AAChE,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,KAAK,CAAC,IAAY,EAAE,KAAa;IAC/C,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,KAAK,CAAC;IAClE,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;IAC1C,OAAO,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;AAClF,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,OAAO,CAAC,IAAY,EAAE,KAAa;IACjD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,KAAK,CAAC;IACxC,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACxC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;IAC1C,OAAO,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;AAClF,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,KAAK,CAAC,OAA0B;IAC9C,OAAO,OAAO,CAAC,MAAM,CAAS,KAAK,EAAE,QAAQ,CAAC,CAAC;AACjD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,OAAO,CAAC,MAAc,EAAE,IAAY;IAClD,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,KAAK,CAAC;IAC1C,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC1C,OAAO,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;AAC7D,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,OAAO,CAAC,MAAc;IACpC,OAAO,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC;AACjC,CAAC"}

package/dist/core/diagnostics/collector.d.ts

@@ -40,6 +40,18 @@ export declare class DiagnosticBag implements DiagnosticSink {
      *
      * Stages report in the order they run, so a checker warning about line 2
      * arrives after a parser error about line 40. A reader reads top to bottom.
+     *
+     * **The order is total, and it depends on nothing outside the program.** Two
+     * engines handed the same diagnostics have to print them in the same order, so
+     * the tie after the offset is the span's length and then the code compared by
+     * code point. It was a locale comparison, which `compiled-program.md` 8.4
+     * forbids by name: the same two codes order differently under different
+     * collation rules, and the machine that is set up differently is the one
+     * nobody is looking at. Length is in the comparison because without it two
+     * diagnostics sharing a code and an offset tie, and a tie leaves the answer to
+     * whether the sort happens to be stable, which is a property of the engine
+     * rather than of the language. With it, nothing can tie: the bag already
+     * refuses a second diagnostic with the same code, offset and length.
      */
     ordered(): readonly Diagnostic[];
 }

package/dist/core/diagnostics/collector.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"collector.d.ts","sourceRoot":"","sources":["../../../src/core/diagnostics/collector.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC9E,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAE7C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAElD;;;;;;GAMG;AACH,MAAM,WAAW,cAAc;IAC7B,MAAM,CAAC,IAAI,SAAS,cAAc,EAChC,IAAI,EAAE,IAAI,EACV,IAAI,EAAE,IAAI,EACV,MAAM,EAAE,gBAAgB,CAAC,IAAI,CAAC,GAC7B,IAAI,CAAC;CACT;AAED;;;;;;;;;;;;GAYG;AACH,qBAAa,aAAc,YAAW,cAAc;;IAIlD,MAAM,CAAC,IAAI,SAAS,cAAc,EAChC,IAAI,EAAE,IAAI,EACV,IAAI,EAAE,IAAI,EACV,MAAM,EAAE,gBAAgB,CAAC,IAAI,CAAC,GAC7B,IAAI;IAIP,GAAG,CAAC,UAAU,EAAE,UAAU,GAAG,IAAI;IAOjC,yDAAyD;IACzD,IAAI,GAAG,IAAI,SAAS,UAAU,EAAE,CAE/B;IAED,IAAI,OAAO,IAAI,OAAO,CAErB;IAED,6EAA6E;IAC7E,IAAI,SAAS,IAAI,OAAO,CAEvB;IAED,IAAI,MAAM,IAAI,SAAS,UAAU,EAAE,CAElC;IAED,IAAI,QAAQ,IAAI,SAAS,UAAU,EAAE,CAEpC;IAED;;;;;OAKG;IACH,OAAO,IAAI,SAAS,UAAU,EAAE;CAMjC"}
+{"version":3,"file":"collector.d.ts","sourceRoot":"","sources":["../../../src/core/diagnostics/collector.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC9E,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAE7C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAclD;;;;;;GAMG;AACH,MAAM,WAAW,cAAc;IAC7B,MAAM,CAAC,IAAI,SAAS,cAAc,EAChC,IAAI,EAAE,IAAI,EACV,IAAI,EAAE,IAAI,EACV,MAAM,EAAE,gBAAgB,CAAC,IAAI,CAAC,GAC7B,IAAI,CAAC;CACT;AAED;;;;;;;;;;;;GAYG;AACH,qBAAa,aAAc,YAAW,cAAc;;IAIlD,MAAM,CAAC,IAAI,SAAS,cAAc,EAChC,IAAI,EAAE,IAAI,EACV,IAAI,EAAE,IAAI,EACV,MAAM,EAAE,gBAAgB,CAAC,IAAI,CAAC,GAC7B,IAAI;IAIP,GAAG,CAAC,UAAU,EAAE,UAAU,GAAG,IAAI;IAOjC,yDAAyD;IACzD,IAAI,GAAG,IAAI,SAAS,UAAU,EAAE,CAE/B;IAED,IAAI,OAAO,IAAI,OAAO,CAErB;IAED,6EAA6E;IAC7E,IAAI,SAAS,IAAI,OAAO,CAEvB;IAED,IAAI,MAAM,IAAI,SAAS,UAAU,EAAE,CAElC;IAED,IAAI,QAAQ,IAAI,SAAS,UAAU,EAAE,CAEpC;IAED;;;;;;;;;;;;;;;;;OAiBG;IACH,OAAO,IAAI,SAAS,UAAU,EAAE;CAQjC"}

package/dist/core/diagnostics/collector.js

@@ -1,4 +1,16 @@
 import { diagnosticFor, isError } from './diagnostic.js';
+/**
+ * Two codes in code point order, which is the same order everywhere.
+ *
+ * `<` on two strings compares UTF-16 code units and reads no environment
+ * setting, which is exactly what `language.md` 9.3 fixes for the language's own
+ * string comparison. The engine's own output obeys the rule it gives scripts.
+ */
+function byCodePoint(left, right) {
+    if (left < right)
+        return -1;
+    return left > right ? 1 : 0;
+}
 /**
  * Gathers diagnostics instead of throwing on the first one.
  *
@@ -47,9 +59,23 @@ export class DiagnosticBag {
      *
      * Stages report in the order they run, so a checker warning about line 2
      * arrives after a parser error about line 40. A reader reads top to bottom.
+     *
+     * **The order is total, and it depends on nothing outside the program.** Two
+     * engines handed the same diagnostics have to print them in the same order, so
+     * the tie after the offset is the span's length and then the code compared by
+     * code point. It was a locale comparison, which `compiled-program.md` 8.4
+     * forbids by name: the same two codes order differently under different
+     * collation rules, and the machine that is set up differently is the one
+     * nobody is looking at. Length is in the comparison because without it two
+     * diagnostics sharing a code and an offset tie, and a tie leaves the answer to
+     * whether the sort happens to be stable, which is a property of the engine
+     * rather than of the language. With it, nothing can tie: the bag already
+     * refuses a second diagnostic with the same code, offset and length.
      */
     ordered() {
-        return [...this.#items].sort((left, right) => left.span.offset - right.span.offset || left.code.localeCompare(right.code));
+        return [...this.#items].sort((left, right) => left.span.offset - right.span.offset ||
+            left.span.length - right.span.length ||
+            byCodePoint(left.code, right.code));
     }
 }
 //# sourceMappingURL=collector.js.map

package/dist/core/diagnostics/collector.js.map

@@ -1 +1 @@
-{"version":3,"file":"collector.js","sourceRoot":"","sources":["../../../src/core/diagnostics/collector.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAkBzD;;;;;;;;;;;;GAYG;AACH,MAAM,OAAO,aAAa;IACf,MAAM,GAAiB,EAAE,CAAC;IAC1B,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAEnC,MAAM,CACJ,IAAU,EACV,IAAU,EACV,MAA8B;QAE9B,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;IAC9C,CAAC;IAED,GAAG,CAAC,UAAsB;QACxB,MAAM,GAAG,GAAG,GAAG,UAAU,CAAC,IAAI,IAAI,UAAU,CAAC,IAAI,CAAC,MAAM,IAAI,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACrF,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO;QAChC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACpB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC/B,CAAC;IAED,yDAAyD;IACzD,IAAI,GAAG;QACL,OAAO,IAAI,CAAC,MAAM,CAAC;IACrB,CAAC;IAED,IAAI,OAAO;QACT,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC;IAClC,CAAC;IAED,6EAA6E;IAC7E,IAAI,SAAS;QACX,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACnC,CAAC;IAED,IAAI,MAAM;QACR,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACrC,CAAC;IAED,IAAI,QAAQ;QACV,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IACtD,CAAC;IAED;;;;;OAKG;IACH,OAAO;QACL,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAC1B,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACd,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAC9E,CAAC;IACJ,CAAC;CACF"}
+{"version":3,"file":"collector.js","sourceRoot":"","sources":["../../../src/core/diagnostics/collector.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAGzD;;;;;;GAMG;AACH,SAAS,WAAW,CAAC,IAAY,EAAE,KAAa;IAC9C,IAAI,IAAI,GAAG,KAAK;QAAE,OAAO,CAAC,CAAC,CAAC;IAC5B,OAAO,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC9B,CAAC;AAiBD;;;;;;;;;;;;GAYG;AACH,MAAM,OAAO,aAAa;IACf,MAAM,GAAiB,EAAE,CAAC;IAC1B,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAEnC,MAAM,CACJ,IAAU,EACV,IAAU,EACV,MAA8B;QAE9B,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;IAC9C,CAAC;IAED,GAAG,CAAC,UAAsB;QACxB,MAAM,GAAG,GAAG,GAAG,UAAU,CAAC,IAAI,IAAI,UAAU,CAAC,IAAI,CAAC,MAAM,IAAI,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACrF,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO;QAChC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACpB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC/B,CAAC;IAED,yDAAyD;IACzD,IAAI,GAAG;QACL,OAAO,IAAI,CAAC,MAAM,CAAC;IACrB,CAAC;IAED,IAAI,OAAO;QACT,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC;IAClC,CAAC;IAED,6EAA6E;IAC7E,IAAI,SAAS;QACX,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACnC,CAAC;IAED,IAAI,MAAM;QACR,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACrC,CAAC;IAED,IAAI,QAAQ;QACV,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IACtD,CAAC;IAED;;;;;;;;;;;;;;;;;OAiBG;IACH,OAAO;QACL,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAC1B,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACd,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM;YACpC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM;YACpC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CACrC,CAAC;IACJ,CAAC;CACF"}

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

@@ -0,0 +1,38 @@
+/**
+ * Calls: to the library, to a user function, and to the handful of names that
+ * declare part of the file rather than computing anything.
+ *
+ * The split in this file is the one the task of emitting a program turns on. A
+ * `plot` call is a fixed entry in `outputs` plus one `EMIT` per bar, and it is
+ * not a function an engine calls at all. An `ema` call is a `CALL_LIB` with a
+ * state region. A call to a `fn` is a `CALL_FN` naming a call site, and the
+ * call site rather than the body is where that call's cells and state live.
+ */
+import type { Call, Expression, Member, NameReference } from '../ast/index.js';
+import type { Emitter, Frame } from './context.js';
+/** Whether a call leaves a value on the stack, which a statement has to pop. */
+export declare function leavesValue(e: Emitter, expression: Expression): boolean;
+/**
+ * Whether an expression is entirely one `input()` call.
+ *
+ * The declaration calls leave nothing on the stack, which is what `leavesValue`
+ * answers, and `input()` is the one of them that also has a value to leave when
+ * a value is what was asked for (`language.md` 13.4). One place needs the
+ * narrower question: `var len = input(14, "Length")`, where the initialiser is
+ * a value to put in a cell rather than a declaration the name stands for.
+ */
+export declare function isInputCall(e: Emitter, expression: Expression): boolean;
+export declare function emitCall(e: Emitter, f: Frame, call: Call): void;
+/**
+ * A library value read without brackets: a bar series, a named colour, a fact
+ * about the chart, the session or the position.
+ *
+ * Only a bar series is a register. Everything else is a value the host supplies
+ * and the only instruction that can fetch one is a call of no arguments, so
+ * that is what it compiles to and the engine's own manifest decides the value.
+ * A named colour goes the same way deliberately: the exact channels are the
+ * manifest's (`stdlib.md` 11.1), and a colour that reaches a bar should come
+ * from there rather than from this compiler's stand-in table.
+ */
+export declare function emitLibraryValue(e: Emitter, f: Frame, node: NameReference | Member): void;
+//# sourceMappingURL=calls.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"calls.d.ts","sourceRoot":"","sources":["../../../src/core/emit/calls.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAM/E,OAAO,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,cAAc,CAAC;AAcnD,gFAAgF;AAChF,wBAAgB,WAAW,CAAC,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,GAAG,OAAO,CAMvE;AAED;;;;;;;;GAQG;AACH,wBAAgB,WAAW,CAAC,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,GAAG,OAAO,CAGvE;AAED,wBAAgB,QAAQ,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,GAAG,IAAI,CA0C/D;AAkRD;;;;;;;;;;GAUG;AACH,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,aAAa,GAAG,MAAM,GAAG,IAAI,CAKzF"}

package/dist/core/emit/calls.js

@@ -0,0 +1,347 @@
+import { withoutGrouping } from '../ast/index.js';
+import { libraryEntries } from '../check/index.js';
+import { namedColour } from './colours.js';
+import { arityOf, calleeText, effectOf } from './context.js';
+import { emitExpression } from './expressions.js';
+import { bodyFor } from './functions.js';
+import { emitInputRead } from './inputs.js';
+import { emitDeclarationCall } from './outputs.js';
+import { registerOfName } from './registers.js';
+import { REQUEST_CALLS, REQUEST_STATUS_CALLS, emitRequestRead, requestIdFor, } from './requests.js';
+/** Whether a call leaves a value on the stack, which a statement has to pop. */
+export function leavesValue(e, expression) {
+    const node = withoutGrouping(expression);
+    if (node.kind !== 'call')
+        return true;
+    const checked = e.callAt(node);
+    const name = checked?.name ?? calleeText(node.callee);
+    return !e.isDeclaration(name);
+}
+/**
+ * Whether an expression is entirely one `input()` call.
+ *
+ * The declaration calls leave nothing on the stack, which is what `leavesValue`
+ * answers, and `input()` is the one of them that also has a value to leave when
+ * a value is what was asked for (`language.md` 13.4). One place needs the
+ * narrower question: `var len = input(14, "Length")`, where the initialiser is
+ * a value to put in a cell rather than a declaration the name stands for.
+ */
+export function isInputCall(e, expression) {
+    const node = withoutGrouping(expression);
+    return node.kind === 'call' && e.callAt(node)?.name === 'input';
+}
+export function emitCall(e, f, call) {
+    const checked = e.callAt(call);
+    if (checked === undefined || checked.target === 'unresolved') {
+        f.builder.at(call.span);
+        f.builder.push('CONST', e.pool.absent());
+        return;
+    }
+    if (e.isDeclaration(checked.name)) {
+        // A declaration written as a statement of its own never arrives here:
+        // `statements.ts` sends all three of its forms straight to the declaration
+        // path. So an `input()` that reaches this point stands where a value
+        // belongs, and the value is what it has to leave behind. `outputs.ts`
+        // argues that split, which is the one this call is decided by.
+        if (checked.name === 'input') {
+            emitInputRead(e, f, call);
+            return;
+        }
+        emitDeclarationCall(e, f, call, checked.name, undefined);
+        return;
+    }
+    if (REQUEST_CALLS.has(checked.name)) {
+        // One entry of `requests` and one register the engine fills, 2.16. The
+        // expression argument is not emitted here: it belongs to the requested
+        // bars, and emitting it inline would compute it on this chart's.
+        emitRequestRead(e, f, call, checked);
+        return;
+    }
+    if (checked.target === 'user' && checked.fn !== undefined) {
+        emitUserCall(e, f, call, checked.fn, checked.arguments, checked.seriesArguments);
+        return;
+    }
+    const entry = checked.entry;
+    if (entry === undefined) {
+        f.builder.at(call.span);
+        f.builder.push('CONST', e.pool.absent());
+        return;
+    }
+    emitLibraryCall(e, f, call, entry, checked.arguments);
+}
+/**
+ * A library call: every argument in parameter order, then `CALL_LIB`.
+ *
+ * Named arguments, argument order and defaults are entirely a compile-time
+ * matter (4.10), so an engine never sees a name, never consults a signature and
+ * never holds a table of defaults. All three happen here.
+ *
+ * **An omitted argument is filled, not dropped.** It used to be emitted as
+ * absent, because the surface recorded which parameters were optional and not
+ * what each one defaulted to, and the cost of that was the whole reason this
+ * paragraph exists: a lookback of an absent length answers absence on every
+ * bar for ever, so `atr()` written exactly as `stdlib.md` prints it compiled
+ * clean, loaded clean, ran to the last bar and drew nothing at all.
+ *
+ * **An order call carries one argument more than the surface shows.** For every
+ * other call, filling a default is the whole of the job and the value is the
+ * whole of the answer. For an order call it is not, because two of its defaults
+ * are absence itself: `buy(qty = the declaration's, limit = none, stop = none)`.
+ * An argument left out and an argument written that came out absent then reach
+ * an engine as the same value, and `language.md` 6.8 gives them opposite
+ * meanings: the first takes the documented default, and the second is a size or
+ * a price nobody computed and is OS7002. `buy()` and `buy(qty = none)` compiled
+ * to byte identical programs, so the refusal had nothing to fire on, and
+ * `buy(qty = 1, stop = lowest(low, 20))`, which is the catalogue's own worked
+ * example for OS7002, sent a market order on every bar of the window instead.
+ *
+ * So the last argument of an order call is the names of the arguments the
+ * script wrote, in parameter order, separated by spaces. It is a value like any
+ * other and the engine reads it like any other, which is why this needs no new
+ * value, no new instruction and no change to the format: only the nine order
+ * functions' manifest signatures, `compiled-program.md` 2.5 and 4.10.
+ *
+ * It is the last argument rather than the first because that is where a reader
+ * of the program meets it after the arguments it describes, and it names the
+ * arguments rather than numbering them so that a compiled program stays
+ * readable by hand (2.14).
+ */
+function emitLibraryCall(e, f, call, entry, args) {
+    const index = e.libraryFunction(entry);
+    if (REQUEST_STATUS_CALLS.has(entry.name)) {
+        emitReadHandle(e, f, call, args[0]?.value);
+        f.builder.at(call.span);
+        f.builder.push('CALL_LIB', index, arityOf(entry), -1);
+        return;
+    }
+    const ordering = effectOf(entry) === 'order';
+    const written = [];
+    for (let i = 0; i < entry.parameters.length; i += 1) {
+        const argument = args[i];
+        const parameter = entry.parameters[i];
+        if (argument !== undefined) {
+            if (parameter !== undefined)
+                written.push(parameter.name);
+            emitExpression(e, f, argument.value);
+            continue;
+        }
+        emitDefault(e, f, call, parameter, ordering);
+    }
+    if (ordering) {
+        f.builder.at(call.span);
+        f.builder.push('CONST', e.pool.string(written.join(' ')));
+    }
+    f.builder.at(call.span);
+    const state = entry.stateful ? f.layout.state(index) : -1;
+    f.builder.push('CALL_LIB', index, arityOf(entry), state);
+}
+/**
+ * The argument a script left out, from the default its signature declares.
+ *
+ * A default is a value, and values are the emitter's: 4.10 puts named
+ * arguments, argument order and defaults entirely at compile time. Most are a
+ * constant. A handful are a name the compiler reads at the call instead, which
+ * 4.10 also provides for: a default that is an expression rather than a literal
+ * is compiled into the call site, and `vwap(src = hlc3)` is that case in a
+ * library the specification writes as a table.
+ *
+ * A default that is neither is a defect in the surface and it blocks. Emitting
+ * absence there is what produced a study with no values on any bar and nothing
+ * reported anywhere, and a program that is not emitted is the honest form of
+ * that. `scripts/check-defaults.mjs` is what stops it reaching here at all.
+ */
+function emitDefault(e, f, call, parameter, ordering) {
+    f.builder.at(call.span);
+    if (parameter === undefined || parameter.defaultText === undefined) {
+        // The specification states no value for this argument: `leg = the only
+        // leg` names the file's own declaration rather than a value the library
+        // knows. Absence is what it carries, and whatever receives it decides.
+        // Each one is recorded with its reason in `spec/default-exceptions.json`,
+        // and nothing else may be in this state.
+        //
+        // On an order call this is not a gap. The call carries the names of the
+        // arguments the script wrote, so absence here says "the script wrote
+        // nothing" rather than "the value is unknown", and the engine applies the
+        // default the specification states instead of guessing which it was.
+        if (!ordering) {
+            e.gap('an omitted optional argument is emitted as absent, because the specification states no ' +
+                'value for it and names the declaration that decides instead', 'compiled-program.md 4.10, against stdlib.md section 1', call.span, false);
+        }
+        f.builder.push('CONST', e.pool.absent());
+        return;
+    }
+    const value = defaultOf(parameter);
+    const constant = value === undefined ? undefined : e.pool.of(value);
+    if (constant !== undefined) {
+        f.builder.push('CONST', constant);
+        return;
+    }
+    if (emitNamedRead(e, f, parameter.defaultText))
+        return;
+    e.gap(`the library surface gives a default of \`${parameter.defaultText}\` which is neither a ` +
+        "value of the parameter's type nor a library name that can be read, so there is nothing " +
+        'to fill the argument with', 'compiled-program.md 4.10, against stdlib.md section 1', call.span, true);
+    f.builder.push('CONST', e.pool.absent());
+}
+/**
+ * The constant a default's text names, or nothing when it names no constant.
+ *
+ * Nothing is not a failure here: `hlc3` and `chart.timezone` are defaults the
+ * specification states and neither is a literal of its parameter's type, so the
+ * caller reads them instead. What this must never do is guess. A text that is
+ * not a value of this type is not turned into one, because a value this
+ * compiler invented would be indistinguishable, on the chart, from the value
+ * the specification meant.
+ *
+ * A named colour stays a constant, unlike every other bare library name. That
+ * is deliberate and it is the one place the two paths disagree: the channels
+ * are settled here for a drawing's default and read from the manifest for a
+ * colour a script wrote (`stdlib.md` 11.1). Reversing it would change programs
+ * that are already compiled and compared byte for byte.
+ */
+function defaultOf(parameter) {
+    const text = parameter.defaultText;
+    if (text === undefined)
+        return undefined;
+    if (text === 'none')
+        return { kind: 'absent' };
+    switch (parameter.type.kind) {
+        case 'bool':
+            return text === 'true' || text === 'false'
+                ? { kind: 'bool', value: text === 'true' }
+                : undefined;
+        case 'number': {
+            const value = Number(text);
+            return Number.isFinite(value) ? { kind: 'number', value } : undefined;
+        }
+        case 'string':
+            return text.length >= 2 && text.startsWith('"') && text.endsWith('"')
+                ? { kind: 'string', value: text.slice(1, -1) }
+                : undefined;
+        case 'color': {
+            const value = namedColour(text);
+            return value === undefined ? undefined : { kind: 'colour', value };
+        }
+        default:
+            return undefined;
+    }
+}
+/**
+ * The read `req.isReady` and `req.error` are asking about, as its id (2.16).
+ *
+ * The argument names a read rather than carrying one: a value on a bar cannot
+ * say which request produced it, and the two calls answer about the request.
+ * A name that holds no read is absent, which is what those two answer for a
+ * read that does not exist; the checker takes any value here, so this is the
+ * one place that can tell.
+ */
+function emitReadHandle(e, f, call, argument) {
+    const id = argument === undefined ? undefined : requestIdFor(e, argument);
+    f.builder.at(call.span);
+    if (id === undefined) {
+        e.gap('a read status call was given something that is not a name holding a read, and the ' +
+            'signature admits any value, so there is no request for it to ask about', 'compiled-program.md 2.16, against stdlib.md 15.1', call.span, false);
+        f.builder.push('CONST', e.pool.absent());
+        return;
+    }
+    f.builder.push('CONST', e.pool.number(id));
+}
+/**
+ * A call to a `fn`, and the registers the call site has to retain for it.
+ *
+ * A series argument is always given a fresh register, even when the argument is
+ * a bare series name whose register already exists (4.10). Binding the existing
+ * one would give the body history on bars where the call did not execute, which
+ * would make a call inside an `if` behave differently from a call inside a
+ * function inside an `if`.
+ */
+function emitUserCall(e, f, call, checkedFunction, args, seriesArguments) {
+    const declared = e.checked.functions[checkedFunction];
+    const parameters = declared?.parameters.length ?? args.length;
+    const site = e.newSite(0, parameters);
+    f.sites.push(site.index);
+    site.series = new Array(parameters).fill(-1);
+    // The body is emitted before the arguments are pushed, because the body is
+    // what says which parameters need a register: a `HISTP` against a parameter
+    // the call site bound `-1` is a corrupt program, and the checker can only
+    // mark a parameter it was able to prove is a series (`language.md` 11.2).
+    site.fn = bodyFor(e, checkedFunction, site);
+    const retained = new Set(seriesArguments);
+    for (const instruction of e.functions[site.fn]?.code ?? []) {
+        if (instruction[0] === 'HISTP')
+            retained.add(instruction[1] ?? 0);
+    }
+    for (let i = 0; i < parameters; i += 1) {
+        const argument = args[i];
+        if (argument === undefined) {
+            // A parameter's own default is compiled into the call site rather than
+            // into the body (4.10), and the tree carries it on the declaration.
+            const fallback = declared?.declaration.parameters[i]?.defaultValue;
+            if (fallback === undefined) {
+                f.builder.at(call.span);
+                f.builder.push('CONST', e.pool.absent());
+            }
+            else {
+                emitExpression(e, f, fallback);
+            }
+        }
+        else {
+            emitExpression(e, f, argument.value);
+        }
+        if (!retained.has(i))
+            continue;
+        const register = e.layout.argument(declared?.parameters[i]?.name ?? `arg${i}`);
+        site.series[i] = register;
+        f.builder.at(call.span);
+        f.builder.push('DUP');
+        f.builder.push('SSTORE', register);
+    }
+    f.builder.at(call.span);
+    f.builder.push('CALL_FN', site.index);
+}
+/**
+ * A library value read without brackets: a bar series, a named colour, a fact
+ * about the chart, the session or the position.
+ *
+ * Only a bar series is a register. Everything else is a value the host supplies
+ * and the only instruction that can fetch one is a call of no arguments, so
+ * that is what it compiles to and the engine's own manifest decides the value.
+ * A named colour goes the same way deliberately: the exact channels are the
+ * manifest's (`stdlib.md` 11.1), and a colour that reaches a bar should come
+ * from there rather than from this compiler's stand-in table.
+ */
+export function emitLibraryValue(e, f, node) {
+    const name = node.kind === 'nameReference' ? node.name : memberName(node);
+    f.builder.at(node.span);
+    if (emitNamedRead(e, f, name))
+        return;
+    f.builder.push('CONST', e.pool.absent());
+}
+/**
+ * One bare library read, by name, or false when the name is not one.
+ *
+ * Two callers, and they are the same read: a name a script wrote, and a name a
+ * signature gives as a default. A default that is an expression is compiled
+ * into the call site (4.10), and for this library an expression is always one
+ * of these names, so `vwap()` emits exactly what `vwap(hlc3)` emits rather than
+ * something close to it. The caller positions the span before calling.
+ */
+function emitNamedRead(e, f, name) {
+    const register = registerOfName(e, name);
+    if (register !== undefined) {
+        f.builder.push('SLOAD', register);
+        return true;
+    }
+    const entry = libraryEntries(name).find((one) => !one.callable);
+    if (entry === undefined)
+        return false;
+    const index = e.libraryFunction(entry);
+    const state = entry.stateful ? f.layout.state(index) : -1;
+    f.builder.push('CALL_LIB', index, 0, state);
+    return true;
+}
+function memberName(node) {
+    const object = withoutGrouping(node.object);
+    return object.kind === 'nameReference' ? `${object.name}.${node.member.text}` : node.member.text;
+}
+//# sourceMappingURL=calls.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"calls.js","sourceRoot":"","sources":["../../../src/core/emit/calls.ts"],"names":[],"mappings":"AAWA,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAElD,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAG3C,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAC7D,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AACzC,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAC;AACnD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EACL,aAAa,EACb,oBAAoB,EACpB,eAAe,EACf,YAAY,GACb,MAAM,eAAe,CAAC;AAEvB,gFAAgF;AAChF,MAAM,UAAU,WAAW,CAAC,CAAU,EAAE,UAAsB;IAC5D,MAAM,IAAI,GAAG,eAAe,CAAC,UAAU,CAAC,CAAC;IACzC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IACtC,MAAM,OAAO,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC/B,MAAM,IAAI,GAAG,OAAO,EAAE,IAAI,IAAI,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACtD,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;AAChC,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,WAAW,CAAC,CAAU,EAAE,UAAsB;IAC5D,MAAM,IAAI,GAAG,eAAe,CAAC,UAAU,CAAC,CAAC;IACzC,OAAO,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,KAAK,OAAO,CAAC;AAClE,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,CAAU,EAAE,CAAQ,EAAE,IAAU;IACvD,MAAM,OAAO,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC/B,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,MAAM,KAAK,YAAY,EAAE,CAAC;QAC7D,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;QACzC,OAAO;IACT,CAAC;IAED,IAAI,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,sEAAsE;QACtE,2EAA2E;QAC3E,qEAAqE;QACrE,sEAAsE;QACtE,+DAA+D;QAC/D,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC7B,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;YAC1B,OAAO;QACT,CAAC;QACD,mBAAmB,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACzD,OAAO;IACT,CAAC;IAED,IAAI,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,uEAAuE;QACvE,uEAAuE;QACvE,iEAAiE;QACjE,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QACrC,OAAO;IACT,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,KAAK,MAAM,IAAI,OAAO,CAAC,EAAE,KAAK,SAAS,EAAE,CAAC;QAC1D,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,eAAe,CAAC,CAAC;QACjF,OAAO;IACT,CAAC;IAED,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC;IAC5B,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;QACzC,OAAO;IACT,CAAC;IACD,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;AACxD,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AACH,SAAS,eAAe,CACtB,CAAU,EACV,CAAQ,EACR,IAAU,EACV,KAAmB,EACnB,IAA6D;IAE7D,MAAM,KAAK,GAAG,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;IAEvC,IAAI,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACzC,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAC3C,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtD,OAAO;IACT,CAAC;IAED,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,KAAK,OAAO,CAAC;IAC7C,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACpD,MAAM,QAAQ,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACzB,MAAM,SAAS,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACtC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,IAAI,SAAS,KAAK,SAAS;gBAAE,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;YAC1D,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;YACrC,SAAS;QACX,CAAC;QACD,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;IAC/C,CAAC;IAED,IAAI,QAAQ,EAAE,CAAC;QACb,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,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC5D,CAAC;IAED,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1D,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;AAC3D,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,SAAS,WAAW,CAClB,CAAU,EACV,CAAQ,EACR,IAAU,EACV,SAAuC,EACvC,QAAiB;IAEjB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAExB,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;QACnE,uEAAuE;QACvE,wEAAwE;QACxE,uEAAuE;QACvE,0EAA0E;QAC1E,yCAAyC;QACzC,EAAE;QACF,wEAAwE;QACxE,qEAAqE;QACrE,0EAA0E;QAC1E,qEAAqE;QACrE,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,CAAC,CAAC,GAAG,CACH,yFAAyF;gBACvF,6DAA6D,EAC/D,uDAAuD,EACvD,IAAI,CAAC,IAAI,EACT,KAAK,CACN,CAAC;QACJ,CAAC;QACD,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QACzC,OAAO;IACT,CAAC;IAED,MAAM,KAAK,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC;IACnC,MAAM,QAAQ,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;IACpE,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QAClC,OAAO;IACT,CAAC;IACD,IAAI,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,WAAW,CAAC;QAAE,OAAO;IAEvD,CAAC,CAAC,GAAG,CACH,4CAA4C,SAAS,CAAC,WAAW,wBAAwB;QACvF,yFAAyF;QACzF,2BAA2B,EAC7B,uDAAuD,EACvD,IAAI,CAAC,IAAI,EACT,IAAI,CACL,CAAC;IACF,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;AAC3C,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,SAAS,SAAS,CAAC,SAA2B;IAC5C,MAAM,IAAI,GAAG,SAAS,CAAC,WAAW,CAAC;IACnC,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACzC,IAAI,IAAI,KAAK,MAAM;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAC/C,QAAQ,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QAC5B,KAAK,MAAM;YACT,OAAO,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,OAAO;gBACxC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,KAAK,MAAM,EAAE;gBAC1C,CAAC,CAAC,SAAS,CAAC;QAChB,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;YAC3B,OAAO,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QACxE,CAAC;QACD,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;gBACnE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;gBAC9C,CAAC,CAAC,SAAS,CAAC;QAChB,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;YAChC,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;QACrE,CAAC;QACD;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,cAAc,CAAC,CAAU,EAAE,CAAQ,EAAE,IAAU,EAAE,QAAgC;IACxF,MAAM,EAAE,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;IAC1E,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;QACrB,CAAC,CAAC,GAAG,CACH,oFAAoF;YAClF,wEAAwE,EAC1E,kDAAkD,EAClD,IAAI,CAAC,IAAI,EACT,KAAK,CACN,CAAC;QACF,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QACzC,OAAO;IACT,CAAC;IACD,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;AAC7C,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,YAAY,CACnB,CAAU,EACV,CAAQ,EACR,IAAU,EACV,eAAuB,EACvB,IAA6D,EAC7D,eAAkC;IAElC,MAAM,QAAQ,GAAG,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;IACtD,MAAM,UAAU,GAAG,QAAQ,EAAE,UAAU,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC;IAC9D,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;IACtC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzB,IAAI,CAAC,MAAM,GAAG,IAAI,KAAK,CAAS,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAErD,2EAA2E;IAC3E,4EAA4E;IAC5E,0EAA0E;IAC1E,0EAA0E;IAC1E,IAAI,CAAC,EAAE,GAAG,OAAO,CAAC,CAAC,EAAE,eAAe,EAAE,IAAI,CAAC,CAAC;IAC5C,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAS,eAAe,CAAC,CAAC;IAClD,KAAK,MAAM,WAAW,IAAI,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,IAAI,EAAE,EAAE,CAAC;QAC3D,IAAI,WAAW,CAAC,CAAC,CAAC,KAAK,OAAO;YAAE,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACpE,CAAC;IAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,MAAM,QAAQ,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACzB,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,uEAAuE;YACvE,oEAAoE;YACpE,MAAM,QAAQ,GAAG,QAAQ,EAAE,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC;YACnE,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACxB,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;YAC3C,CAAC;iBAAM,CAAC;gBACN,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;YACjC,CAAC;QACH,CAAC;aAAM,CAAC;YACN,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;QACvC,CAAC;QAED,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,SAAS;QAC/B,MAAM,QAAQ,GAAG,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,MAAM,CAAC,EAAE,CAAC,CAAC;QAC/E,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC;QAC1B,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtB,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IACrC,CAAC;IAED,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;AACxC,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,gBAAgB,CAAC,CAAU,EAAE,CAAQ,EAAE,IAA4B;IACjF,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IAC1E,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC;QAAE,OAAO;IACtC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;AAC3C,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,aAAa,CAAC,CAAU,EAAE,CAAQ,EAAE,IAAY;IACvD,MAAM,QAAQ,GAAG,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IACzC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QAClC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAChE,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACtC,MAAM,KAAK,GAAG,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;IACvC,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1D,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IAC5C,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,UAAU,CAAC,IAAY;IAC9B,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"}

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

@@ -0,0 +1,39 @@
+/**
+ * The canonical encoding, `compiled-program.md` 2.14.
+ *
+ * It exists so that a hash of a program means something: two compilers, in two
+ * languages, handed the same source, produce the same bytes. So none of the
+ * rules below is cosmetic, and none of them is this file's invention.
+ *
+ * - UTF-8, no byte order mark, no whitespace between tokens.
+ * - Object keys sorted ascending by Unicode code point. Sorted rather than in
+ *   the specification's listed order, because a sort is a rule an emitter in any
+ *   language can follow without a table.
+ * - A number is the shortest decimal string that reads back as the same
+ *   binary64 value, with an exponent written as `e` and an optional `-`.
+ * - A string escapes only the quote, the backslash and the code points below
+ *   0x20, the last as `\u00XX` except for `\n`, `\r` and `\t`.
+ */
+import type { CompiledProgram } from './program.js';
+/**
+ * A number, shortest round trip.
+ *
+ * The host's own shortest form is already the shortest that reads back
+ * identically. What it is not is the spelling the specification asks for: a
+ * positive exponent is written with a `+` that the format does not allow, so
+ * that one sign is removed and nothing else is touched.
+ */
+export declare function canonicalNumber(value: number): string;
+export declare function canonicalString(value: string): string;
+export declare function canonicalise(value: unknown): string;
+/**
+ * The two hashes a host records against a run.
+ *
+ * `source.hash` identifies the source and the hash of the canonical encoding
+ * identifies the program, and they are two answers because a compiler change
+ * that alters what a source compiles to has to be visible without the source
+ * having changed at all.
+ */
+export declare function sourceHash(text: string): string;
+export declare function programHash(program: CompiledProgram): string;
+//# sourceMappingURL=canonical.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"canonical.d.ts","sourceRoot":"","sources":["../../../src/core/emit/canonical.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAGpD;;;;;;;GAOG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAGrD;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAarD;AAED,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAiBnD;AAED;;;;;;;GAOG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAE/C;AAED,wBAAgB,WAAW,CAAC,OAAO,EAAE,eAAe,GAAG,MAAM,CAE5D"}