openalgo-script 0.5.0 → 0.7.0

package/dist/core/engine/values/value.js

@@ -62,6 +62,10 @@ export function numberValue(x) {
         return ABSENT;
     return x === 0 ? 0 : x;
 }
+/** Normalise numeric zero at a store or identity result, preserving every other tag. */
+export function storedValue(value) {
+    return typeof value === 'number' && value === 0 ? 0 : value;
+}
 /** The name of a value's tag, for a diagnostic that has to say what it found. */
 export function tagOf(value) {
     if (value === null)

package/dist/core/engine/values/value.js.map

@@ -1 +1 @@
-{"version":3,"file":"value.js","sourceRoot":"","sources":["../../../../src/core/engine/values/value.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAoBH,iDAAiD;AACjD,MAAM,CAAC,MAAM,MAAM,GAAG,IAAI,CAAC;AAE3B,MAAM,UAAU,QAAQ,CAAC,KAAY;IACnC,OAAO,KAAK,KAAK,IAAI,CAAC;AACxB,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,KAAY;IACnC,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC;AACnC,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,KAAY;IACjC,OAAO,OAAO,KAAK,KAAK,SAAS,CAAC;AACpC,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,KAAY;IACnC,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC;AACnC,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,KAAY;IACnC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,GAAG,KAAK,OAAO,CAAC;AAC9E,CAAC;AAED,MAAM,UAAU,KAAK,CAAC,KAAY;IAChC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,GAAG,KAAK,KAAK,CAAC;AAC5E,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,EAAU;IAClC,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;AAC5B,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,WAAW,CAAC,CAAS;IACnC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC;IACvC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACzB,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,KAAK,CAAC,KAAY;IAChC,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAClC,QAAQ,OAAO,KAAK,EAAE,CAAC;QACrB,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC;QAClB,KAAK,SAAS;YACZ,OAAO,MAAM,CAAC;QAChB,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC;QAClB;YACE,OAAO,KAAK,CAAC,GAAG,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC;IACzD,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,MAAM,CAAC,CAAS,EAAE,CAAS,EAAE,CAAS,EAAE,CAAS;IAC/D,OAAO;QACL,GAAG,EAAE,OAAO;QACZ,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;QACb,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;QACb,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;QACb,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;KAC3C,CAAC;AACJ,CAAC;AAED,SAAS,OAAO,CAAC,CAAS;IACxB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC;IAClC,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC5B,OAAO,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;AACzD,CAAC;AAED,uEAAuE;AACvE,SAAS,QAAQ,CAAC,CAAS;IACzB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC5B,MAAM,QAAQ,GAAG,CAAC,GAAG,KAAK,CAAC;IAC3B,IAAI,QAAQ,GAAG,GAAG;QAAE,OAAO,KAAK,GAAG,CAAC,CAAC;IACrC,IAAI,QAAQ,GAAG,GAAG;QAAE,OAAO,KAAK,CAAC;IACjC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AACnC,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,WAAW,CAAC,CAAQ,EAAE,CAAQ;IAC5C,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAC7C,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,SAAS,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QAC7E,OAAO,CAAC,KAAK,CAAC,CAAC;IACjB,CAAC;IACD,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IACtD,IAAI,CAAC,CAAC,GAAG,KAAK,OAAO,EAAE,CAAC;QACtB,OAAO,CAAC,CAAC,GAAG,KAAK,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACvF,CAAC;IACD,OAAO,CAAC,CAAC,GAAG,KAAK,KAAK,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;AAC1C,CAAC"}
+{"version":3,"file":"value.js","sourceRoot":"","sources":["../../../../src/core/engine/values/value.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAoBH,iDAAiD;AACjD,MAAM,CAAC,MAAM,MAAM,GAAG,IAAI,CAAC;AAE3B,MAAM,UAAU,QAAQ,CAAC,KAAY;IACnC,OAAO,KAAK,KAAK,IAAI,CAAC;AACxB,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,KAAY;IACnC,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC;AACnC,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,KAAY;IACjC,OAAO,OAAO,KAAK,KAAK,SAAS,CAAC;AACpC,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,KAAY;IACnC,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC;AACnC,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,KAAY;IACnC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,GAAG,KAAK,OAAO,CAAC;AAC9E,CAAC;AAED,MAAM,UAAU,KAAK,CAAC,KAAY;IAChC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,GAAG,KAAK,KAAK,CAAC;AAC5E,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,EAAU;IAClC,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;AAC5B,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,WAAW,CAAC,CAAS;IACnC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC;IACvC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACzB,CAAC;AAED,wFAAwF;AACxF,MAAM,UAAU,WAAW,CAAC,KAAY;IACtC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AAC9D,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,KAAK,CAAC,KAAY;IAChC,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAClC,QAAQ,OAAO,KAAK,EAAE,CAAC;QACrB,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC;QAClB,KAAK,SAAS;YACZ,OAAO,MAAM,CAAC;QAChB,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC;QAClB;YACE,OAAO,KAAK,CAAC,GAAG,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC;IACzD,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,MAAM,CAAC,CAAS,EAAE,CAAS,EAAE,CAAS,EAAE,CAAS;IAC/D,OAAO;QACL,GAAG,EAAE,OAAO;QACZ,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;QACb,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;QACb,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;QACb,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;KAC3C,CAAC;AACJ,CAAC;AAED,SAAS,OAAO,CAAC,CAAS;IACxB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC;IAClC,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC5B,OAAO,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;AACzD,CAAC;AAED,uEAAuE;AACvE,SAAS,QAAQ,CAAC,CAAS;IACzB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC5B,MAAM,QAAQ,GAAG,CAAC,GAAG,KAAK,CAAC;IAC3B,IAAI,QAAQ,GAAG,GAAG;QAAE,OAAO,KAAK,GAAG,CAAC,CAAC;IACrC,IAAI,QAAQ,GAAG,GAAG;QAAE,OAAO,KAAK,CAAC;IACjC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AACnC,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,WAAW,CAAC,CAAQ,EAAE,CAAQ;IAC5C,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAC7C,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,SAAS,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QAC7E,OAAO,CAAC,KAAK,CAAC,CAAC;IACjB,CAAC;IACD,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IACtD,IAAI,CAAC,CAAC,GAAG,KAAK,OAAO,EAAE,CAAC;QACtB,OAAO,CAAC,CAAC,GAAG,KAAK,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACvF,CAAC;IACD,OAAO,CAAC,CAAC,GAAG,KAAK,KAAK,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;AAC1C,CAAC"}

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

@@ -0,0 +1,29 @@
+import type { Context } from './context.js';
+import type { Arg, CallExpr, Place } from './syntax.js';
+import type { Mapping } from './table.js';
+import type { Out } from './values.js';
+/** A call's arguments against a parameter list: by name, and what fitted none. */
+export interface Bound {
+    readonly byName: ReadonlyMap<string, Arg>;
+    /** Arguments past the positional list, named by their position. */
+    readonly stray: readonly {
+        readonly arg: Arg;
+        readonly name: string;
+    }[];
+}
+export declare function bind(call: CallExpr, positional: readonly string[]): Bound;
+/**
+ * Refuses the first argument that is not one of `known`, with OS9006. Returns
+ * whether the call may go on.
+ */
+export declare function onlyKnown(ctx: Context, path: string, bound: Bound, known: readonly string[]): boolean;
+/** OS9007, once per built-in: its first bars follow OpenScript's own rules. */
+export declare function warmupNote(ctx: Context, at: Place, call: string, target: string): void;
+/** The translated text of one argument, or undefined where the call left it out. */
+export declare function argText(ctx: Context, bound: Bound, name: string): string | undefined;
+/** A row whose arguments line up one to one, which is most of the table. */
+export declare function generic(ctx: Context, call: CallExpr, row: Mapping, path: string): Out;
+/** `ta.tr` read as a value, which is the call with `handle_na` false. */
+export declare function trueRangeValue(): Out;
+export declare function translateCall(ctx: Context, call: CallExpr): Out;
+//# sourceMappingURL=calls.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"calls.d.ts","sourceRoot":"","sources":["../../../src/core/importer/calls.ts"],"names":[],"mappings":"AAiBA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAK5C,OAAO,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAExD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAE1C,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,aAAa,CAAC;AAEvC,kFAAkF;AAClF,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC1C,mEAAmE;IACnE,QAAQ,CAAC,KAAK,EAAE,SAAS;QAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;CACzE;AAED,wBAAgB,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,SAAS,MAAM,EAAE,GAAG,KAAK,CAezE;AAED;;;GAGG;AACH,wBAAgB,SAAS,CAAC,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAYrG;AAED,+EAA+E;AAC/E,wBAAgB,UAAU,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI,CAEtF;AAED,oFAAoF;AACpF,wBAAgB,OAAO,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAGpF;AAsBD,4EAA4E;AAC5E,wBAAgB,OAAO,CAAC,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,GAAG,CAUrF;AAWD,yEAAyE;AACzE,wBAAgB,cAAc,IAAI,GAAG,CAEpC;AAqGD,wBAAgB,aAAa,CAAC,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,GAAG,GAAG,CA8C/D"}

package/dist/core/importer/calls.js

@@ -0,0 +1,267 @@
+/**
+ * Calls, written out as OpenScript text.
+ *
+ * A call to a function the script declares keeps its arguments, with a named
+ * argument's label following the parameter's new spelling where it was renamed.
+ * A call to a built-in is translated from its row in the table, one argument to
+ * one argument where they line up, and by a translator of its own where they do
+ * not: the highest and lowest of a window that default their source, a
+ * deviation whose `biased` flag is the negation of OpenScript's `sample`, a
+ * true range whose absent first bar is a flag, and the handful of conversions
+ * that are an expression rather than a call in OpenScript.
+ *
+ * A call that draws or trades is a statement, not a value, and its translator
+ * lives with the other statements; used as a value it is refused.
+ */
+import { diagnosticFor } from '../diagnostics/index.js';
+import { canonicalNumber } from '../emit/index.js';
+import { levelCall, plotCall, translateInput } from './outputs.js';
+import { neverAbsent } from './presence.js';
+import { pathOf } from './syntax.js';
+import { CALLS } from './table.js';
+import { NOTHING, PREC, atom, translate, wrap } from './values.js';
+export function bind(call, positional) {
+    const byName = new Map();
+    const stray = [];
+    let position = 0;
+    for (const arg of call.args) {
+        if (arg.label !== undefined) {
+            byName.set(arg.label, arg);
+            continue;
+        }
+        const name = positional[position];
+        if (name === undefined)
+            stray.push({ arg, name: `argument ${canonicalNumber(position + 1)}` });
+        else
+            byName.set(name, arg);
+        position += 1;
+    }
+    return { byName, stray };
+}
+/**
+ * Refuses the first argument that is not one of `known`, with OS9006. Returns
+ * whether the call may go on.
+ */
+export function onlyKnown(ctx, path, bound, known) {
+    const first = bound.stray[0];
+    if (first !== undefined) {
+        ctx.refuse(diagnosticFor('OS9006', ctx.span(first.arg.at), { argument: first.name, call: path }));
+        return false;
+    }
+    for (const [name, arg] of bound.byName) {
+        if (known.includes(name))
+            continue;
+        ctx.refuse(diagnosticFor('OS9006', ctx.span(arg.at), { argument: name, call: path }));
+        return false;
+    }
+    return true;
+}
+/** OS9007, once per built-in: its first bars follow OpenScript's own rules. */
+export function warmupNote(ctx, at, call, target) {
+    ctx.note(diagnosticFor('OS9007', ctx.span(at), { call, target }), `OS9007 ${call}`);
+}
+/** The translated text of one argument, or undefined where the call left it out. */
+export function argText(ctx, bound, name) {
+    const arg = bound.byName.get(name);
+    return arg === undefined ? undefined : translate(ctx, arg.value).text;
+}
+/** Arguments by position up to the first one left out, and by name after it. */
+function written(texts, labels) {
+    const parts = [];
+    let gap = false;
+    for (let i = 0; i < texts.length; i += 1) {
+        const text = texts[i];
+        if (text === undefined) {
+            gap = true;
+            continue;
+        }
+        if (!gap)
+            parts.push(text);
+        else {
+            const label = labels[i];
+            if (label === undefined)
+                return undefined;
+            parts.push(`${label} = ${text}`);
+        }
+    }
+    return parts;
+}
+/** A row whose arguments line up one to one, which is most of the table. */
+export function generic(ctx, call, row, path) {
+    const bound = bind(call, row.params);
+    if (!onlyKnown(ctx, path, bound, row.params))
+        return NOTHING;
+    const parts = written(row.params.map((name) => argText(ctx, bound, name)), row.targets);
+    if (parts === undefined) {
+        ctx.refuse(diagnosticFor('OS9006', ctx.span(call.at), { argument: 'an argument left out before another', call: path }));
+        return NOTHING;
+    }
+    if (row.difference === 'warmup')
+        warmupNote(ctx, call.callee.at, path, row.target);
+    return atom(`${row.target}(${parts.join(', ')})`);
+}
+function userCall(ctx, call, binding) {
+    const parts = call.args.map((arg) => {
+        const text = translate(ctx, arg.value).text;
+        if (arg.label === undefined)
+            return text;
+        return `${binding.labels?.get(arg.label) ?? arg.label} = ${text}`;
+    });
+    return atom(`${binding.output}(${parts.join(', ')})`);
+}
+/** `ta.tr` read as a value, which is the call with `handle_na` false. */
+export function trueRangeValue() {
+    return { text: 'isNone(close[1]) ? none : trueRange()', prec: PREC.ternary };
+}
+function trueRangeCall(ctx, call, path) {
+    const bound = bind(call, ['handle_na']);
+    if (!onlyKnown(ctx, path, bound, ['handle_na']))
+        return NOTHING;
+    const flag = bound.byName.get('handle_na')?.value;
+    if (flag === undefined || (flag.kind === 'bool' && !flag.value))
+        return trueRangeValue();
+    if (flag.kind === 'bool')
+        return atom('trueRange()');
+    const handled = translate(ctx, flag);
+    return { text: `${wrap(handled, PREC.or)} or not isNone(close[1]) ? trueRange() : none`, prec: PREC.ternary };
+}
+function extreme(ctx, call, row, path) {
+    const one = call.args.length === 1 && call.args[0]?.label === undefined;
+    const bound = bind(call, one ? ['length'] : ['source', 'length']);
+    if (!onlyKnown(ctx, path, bound, ['source', 'length']))
+        return NOTHING;
+    const source = argText(ctx, bound, 'source') ?? (row.target === 'highest' ? 'high' : 'low');
+    const length = argText(ctx, bound, 'length');
+    if (length === undefined) {
+        ctx.refuse(diagnosticFor('OS9006', ctx.span(call.at), { argument: 'length', call: path }));
+        return NOTHING;
+    }
+    warmupNote(ctx, call.callee.at, path, row.target);
+    return atom(`${row.target}(${source}, ${length})`);
+}
+function deviation(ctx, call, row, path) {
+    const bound = bind(call, row.params);
+    if (!onlyKnown(ctx, path, bound, row.params))
+        return NOTHING;
+    const source = argText(ctx, bound, 'source');
+    const length = argText(ctx, bound, 'length');
+    if (source === undefined || length === undefined) {
+        ctx.refuse(diagnosticFor('OS9006', ctx.span(call.at), { argument: source === undefined ? 'source' : 'length', call: path }));
+        return NOTHING;
+    }
+    const biased = bound.byName.get('biased')?.value;
+    let sample = '';
+    if (biased !== undefined && !(biased.kind === 'bool' && biased.value)) {
+        sample = biased.kind === 'bool' ? ', sample = true' : `, sample = not ${wrap(translate(ctx, biased), PREC.unary)}`;
+    }
+    warmupNote(ctx, call.callee.at, path, row.target);
+    return atom(`${row.target}(${source}, ${length}${sample})`);
+}
+/** A condition handed to a counting built-in, which the source dialect never sees absent. */
+function condition(ctx, call, row, path) {
+    const bound = bind(call, row.params);
+    if (!onlyKnown(ctx, path, bound, row.params))
+        return NOTHING;
+    const texts = row.params.map((name) => {
+        const arg = bound.byName.get(name);
+        if (arg === undefined)
+            return undefined;
+        const text = translate(ctx, arg.value).text;
+        return name === 'condition' && !neverAbsent(ctx, arg.value) ? `orElse(${text}, false)` : text;
+    });
+    const parts = written(texts, row.targets);
+    if (parts === undefined || texts[0] === undefined) {
+        ctx.refuse(diagnosticFor('OS9006', ctx.span(call.at), { argument: 'condition', call: path }));
+        return NOTHING;
+    }
+    warmupNote(ctx, call.callee.at, path, row.target);
+    return atom(`${row.target}(${parts.join(', ')})`);
+}
+/** `math.max` and `math.min` take any number of arguments; OpenScript's take two. */
+function extremes(ctx, call, row, path) {
+    const labelled = call.args.find((arg) => arg.label !== undefined);
+    if (labelled !== undefined || call.args.length < 2) {
+        const at = labelled?.at ?? call.at;
+        ctx.refuse(diagnosticFor('OS9006', ctx.span(at), { argument: labelled?.label ?? 'a single argument', call: path }));
+        return NOTHING;
+    }
+    const texts = call.args.map((arg) => translate(ctx, arg.value).text);
+    let text = texts[0] ?? '';
+    for (const next of texts.slice(1))
+        text = `${row.target}(${text}, ${next})`;
+    return atom(text);
+}
+function fallback(ctx, call, row, path) {
+    const bound = bind(call, row.params);
+    if (!onlyKnown(ctx, path, bound, row.params))
+        return NOTHING;
+    const source = argText(ctx, bound, 'source');
+    if (source === undefined) {
+        ctx.refuse(diagnosticFor('OS9006', ctx.span(call.at), { argument: 'source', call: path }));
+        return NOTHING;
+    }
+    return atom(`orElse(${source}, ${argText(ctx, bound, 'replacement') ?? '0'})`);
+}
+function rgb(ctx, call, row, path) {
+    const bound = bind(call, row.params);
+    if (!onlyKnown(ctx, path, bound, row.params))
+        return NOTHING;
+    const channels = ['red', 'green', 'blue'].map((name) => argText(ctx, bound, name));
+    if (channels.some((one) => one === undefined)) {
+        ctx.refuse(diagnosticFor('OS9006', ctx.span(call.at), { argument: 'a colour channel', call: path }));
+        return NOTHING;
+    }
+    const colour = `rgb(${channels.join(', ')})`;
+    const transp = argText(ctx, bound, 'transp');
+    return atom(transp === undefined ? colour : `fade(${colour}, ${transp})`);
+}
+export function translateCall(ctx, call) {
+    const path = pathOf(call.callee);
+    const root = path?.split('.')[0];
+    const binding = root === undefined ? undefined : ctx.lookup(root, call.callee.at);
+    if (path === undefined || (binding !== undefined && (path !== root || binding.kind !== 'function'))) {
+        ctx.refuse(diagnosticFor('OS9002', ctx.span(call.callee.at), { construct: 'a call on a value' }));
+        return NOTHING;
+    }
+    if (binding !== undefined)
+        return userCall(ctx, call, binding);
+    const row = CALLS.get(path);
+    if (row === undefined) {
+        ctx.refuse(diagnosticFor('OS9003', ctx.span(call.callee.at), { name: path }));
+        return NOTHING;
+    }
+    switch (row.special) {
+        case undefined:
+            return generic(ctx, call, row, path);
+        case 'trueRange':
+            return trueRangeCall(ctx, call, path);
+        case 'extreme':
+            return extreme(ctx, call, row, path);
+        case 'deviation':
+            return deviation(ctx, call, row, path);
+        case 'condition':
+            return condition(ctx, call, row, path);
+        case 'extremes':
+            return extremes(ctx, call, row, path);
+        case 'fallback':
+            return fallback(ctx, call, row, path);
+        case 'rgb':
+            return rgb(ctx, call, row, path);
+        case 'float': {
+            const bound = bind(call, row.params);
+            if (!onlyKnown(ctx, path, bound, row.params))
+                return NOTHING;
+            const arg = bound.byName.get('x');
+            return arg === undefined ? atom('none') : atom(`(${translate(ctx, arg.value).text})`);
+        }
+        case 'input':
+            return translateInput(ctx, call, path, false);
+        case 'plot':
+            return plotCall(ctx, call, path);
+        case 'hline':
+            return levelCall(ctx, call, path);
+    }
+    ctx.refuse(diagnosticFor('OS9002', ctx.span(call.callee.at), { construct: `${path} used as a value` }));
+    return NOTHING;
+}
+//# sourceMappingURL=calls.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"calls.js","sourceRoot":"","sources":["../../../src/core/importer/calls.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AACxD,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAGnD,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AACnE,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAC5C,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAEnC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AAUnE,MAAM,UAAU,IAAI,CAAC,IAAc,EAAE,UAA6B;IAChE,MAAM,MAAM,GAAG,IAAI,GAAG,EAAe,CAAC;IACtC,MAAM,KAAK,GAAiC,EAAE,CAAC;IAC/C,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QAC5B,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC5B,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YAC3B,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;QAClC,IAAI,IAAI,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,YAAY,eAAe,CAAC,QAAQ,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;;YAC1F,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC3B,QAAQ,IAAI,CAAC,CAAC;IAChB,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;AAC3B,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,SAAS,CAAC,GAAY,EAAE,IAAY,EAAE,KAAY,EAAE,KAAwB;IAC1F,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC7B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAClG,OAAO,KAAK,CAAC;IACf,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACvC,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,SAAS;QACnC,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QACtF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,UAAU,CAAC,GAAY,EAAE,EAAS,EAAE,IAAY,EAAE,MAAc;IAC9E,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,UAAU,IAAI,EAAE,CAAC,CAAC;AACtF,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,OAAO,CAAC,GAAY,EAAE,KAAY,EAAE,IAAY;IAC9D,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACnC,OAAO,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC;AACxE,CAAC;AAED,gFAAgF;AAChF,SAAS,OAAO,CAAC,KAAsC,EAAE,MAAyB;IAChF,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,GAAG,GAAG,KAAK,CAAC;IAChB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACzC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACtB,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,GAAG,GAAG,IAAI,CAAC;YACX,SAAS;QACX,CAAC;QACD,IAAI,CAAC,GAAG;YAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;aACtB,CAAC;YACJ,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;YACxB,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAC;YAC1C,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,MAAM,IAAI,EAAE,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,OAAO,CAAC,GAAY,EAAE,IAAc,EAAE,GAAY,EAAE,IAAY;IAC9E,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACrC,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC;QAAE,OAAO,OAAO,CAAC;IAC7D,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;IACxF,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,qCAAqC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QACxH,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,IAAI,GAAG,CAAC,UAAU,KAAK,QAAQ;QAAE,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACnF,OAAO,IAAI,CAAC,GAAG,GAAG,CAAC,MAAM,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACpD,CAAC;AAED,SAAS,QAAQ,CAAC,GAAY,EAAE,IAAc,EAAE,OAAgB;IAC9D,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QAClC,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC;QAC5C,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QACzC,OAAO,GAAG,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,KAAK,MAAM,IAAI,EAAE,CAAC;IACpE,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,CAAC,GAAG,OAAO,CAAC,MAAM,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACxD,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,cAAc;IAC5B,OAAO,EAAE,IAAI,EAAE,uCAAuC,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC;AAC/E,CAAC;AAED,SAAS,aAAa,CAAC,GAAY,EAAE,IAAc,EAAE,IAAY;IAC/D,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC;IACxC,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,WAAW,CAAC,CAAC;QAAE,OAAO,OAAO,CAAC;IAChE,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,KAAK,CAAC;IAClD,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,cAAc,EAAE,CAAC;IACzF,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC;IACrD,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACrC,OAAO,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC,+CAA+C,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC;AAChH,CAAC;AAED,SAAS,OAAO,CAAC,GAAY,EAAE,IAAc,EAAE,GAAY,EAAE,IAAY;IACvE,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,SAAS,CAAC;IACxE,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;IAClE,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAAE,OAAO,OAAO,CAAC;IACvE,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,EAAE,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC5F,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC7C,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAC3F,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAClD,OAAO,IAAI,CAAC,GAAG,GAAG,CAAC,MAAM,IAAI,MAAM,KAAK,MAAM,GAAG,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,SAAS,CAAC,GAAY,EAAE,IAAc,EAAE,GAAY,EAAE,IAAY;IACzE,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACrC,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC;QAAE,OAAO,OAAO,CAAC;IAC7D,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC7C,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC7C,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACjD,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAC7H,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,KAAK,CAAC;IACjD,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QACtE,MAAM,GAAG,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,kBAAkB,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;IACrH,CAAC;IACD,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAClD,OAAO,IAAI,CAAC,GAAG,GAAG,CAAC,MAAM,IAAI,MAAM,KAAK,MAAM,GAAG,MAAM,GAAG,CAAC,CAAC;AAC9D,CAAC;AAED,6FAA6F;AAC7F,SAAS,SAAS,CAAC,GAAY,EAAE,IAAc,EAAE,GAAY,EAAE,IAAY;IACzE,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACrC,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC;QAAE,OAAO,OAAO,CAAC;IAC7D,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACpC,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,GAAG,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QACxC,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC;QAC5C,OAAO,IAAI,KAAK,WAAW,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;IAChG,CAAC,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;IAC1C,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;QAClD,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAC9F,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAClD,OAAO,IAAI,CAAC,GAAG,GAAG,CAAC,MAAM,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACpD,CAAC;AAED,qFAAqF;AACrF,SAAS,QAAQ,CAAC,GAAY,EAAE,IAAc,EAAE,GAAY,EAAE,IAAY;IACxE,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC;IAClE,IAAI,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnD,MAAM,EAAE,GAAG,QAAQ,EAAE,EAAE,IAAI,IAAI,CAAC,EAAE,CAAC;QACnC,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,IAAI,mBAAmB,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QACpH,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC;IACrE,IAAI,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC1B,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;QAAE,IAAI,GAAG,GAAG,GAAG,CAAC,MAAM,IAAI,IAAI,KAAK,IAAI,GAAG,CAAC;IAC5E,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC;AACpB,CAAC;AAED,SAAS,QAAQ,CAAC,GAAY,EAAE,IAAc,EAAE,GAAY,EAAE,IAAY;IACxE,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACrC,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC;QAAE,OAAO,OAAO,CAAC;IAC7D,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC7C,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAC3F,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,OAAO,IAAI,CAAC,UAAU,MAAM,KAAK,OAAO,CAAC,GAAG,EAAE,KAAK,EAAE,aAAa,CAAC,IAAI,GAAG,GAAG,CAAC,CAAC;AACjF,CAAC;AAED,SAAS,GAAG,CAAC,GAAY,EAAE,IAAc,EAAE,GAAY,EAAE,IAAY;IACnE,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACrC,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC;QAAE,OAAO,OAAO,CAAC;IAC7D,MAAM,QAAQ,GAAG,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;IACnF,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,SAAS,CAAC,EAAE,CAAC;QAC9C,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,kBAAkB,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QACrG,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IAC7C,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC7C,OAAO,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,MAAM,KAAK,MAAM,GAAG,CAAC,CAAC;AAC5E,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,GAAY,EAAE,IAAc;IACxD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACjC,MAAM,IAAI,GAAG,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACjC,MAAM,OAAO,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAClF,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,EAAE,CAAC;QACpG,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,EAAE,mBAAmB,EAAE,CAAC,CAAC,CAAC;QAClG,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,QAAQ,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAC/D,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC5B,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAC9E,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,QAAQ,GAAG,CAAC,OAAO,EAAE,CAAC;QACpB,KAAK,SAAS;YACZ,OAAO,OAAO,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QACvC,KAAK,WAAW;YACd,OAAO,aAAa,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACxC,KAAK,SAAS;YACZ,OAAO,OAAO,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QACvC,KAAK,WAAW;YACd,OAAO,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QACzC,KAAK,WAAW;YACd,OAAO,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QACzC,KAAK,UAAU;YACb,OAAO,QAAQ,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QACxC,KAAK,UAAU;YACb,OAAO,QAAQ,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QACxC,KAAK,KAAK;YACR,OAAO,GAAG,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QACnC,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;YACrC,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC;gBAAE,OAAO,OAAO,CAAC;YAC7D,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAClC,OAAO,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;QACxF,CAAC;QACD,KAAK,OAAO;YACV,OAAO,cAAc,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QAChD,KAAK,MAAM;YACT,OAAO,QAAQ,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACnC,KAAK,OAAO;YACV,OAAO,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACtC,CAAC;IACD,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,IAAI,kBAAkB,EAAE,CAAC,CAAC,CAAC;IACxG,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/core/importer/context.d.ts

@@ -0,0 +1,118 @@
+/**
+ * What the translators share while they work through one script.
+ *
+ * A translation is kept or refused per top level statement, never per line
+ * inside one: a block with one line missing is a block that means something
+ * the original did not, so the unit that is kept as a comment is the whole
+ * statement at the top level. `Node` is that unit, and everything a refusal or
+ * a warning needs to point at is recorded against it rather than decided on the
+ * spot, because a statement translated now can still be refused later: by the
+ * compiler, or because an earlier statement it reads was refused.
+ */
+import type { Diagnostic } from '../diagnostics/index.js';
+import type { SourceFile } from '../source/index.js';
+import type { Span } from '../span/index.js';
+import { Namer, Scope } from './names.js';
+import type { Binding } from './names.js';
+import type { Expr, Lines, Named, Place, Stmt } from './syntax.js';
+export interface OutLine {
+    readonly depth: number;
+    readonly text: string;
+}
+/** A finding on a statement that is kept, and the key that makes it once per script where it is once per built-in. */
+export interface Note {
+    readonly diagnostic: Diagnostic;
+    readonly once: string | undefined;
+}
+export interface Node {
+    readonly stmt: Stmt;
+    readonly lines: Lines;
+    /** Top level names the statement declares, so what reads them can follow it. */
+    readonly declares: readonly Named[];
+    /** Top level names it reads, in source order, with where. */
+    readonly reads: Named[];
+    output: OutLine[];
+    /** Why its translation was refused, if it was. */
+    refusal: Diagnostic | undefined;
+    /** Why the compiler refused the translation, if it did. */
+    failed: Diagnostic | undefined;
+    /** Why it reads a name a refused statement declared, recomputed on every pass. */
+    lost: Diagnostic | undefined;
+    readonly notes: Note[];
+    /** The declaration, which is placed first and is never kept as a comment. */
+    readonly declaration: boolean;
+}
+export declare function isKept(node: Node): boolean;
+/** The first reason a node is not kept, in the order the reasons are found. */
+export declare function reasonOf(node: Node): Diagnostic | undefined;
+export type Version = 5 | 6;
+export interface Reassignment {
+    readonly op: string;
+    readonly value: Expr;
+}
+/** Everything about the script the translators need before they start. */
+export interface Facts {
+    readonly file: SourceFile;
+    readonly version: Version;
+    /** Every identifier the source writes. */
+    readonly used: ReadonlySet<string>;
+    /**
+     * Every reassignment the source makes, by name, anywhere in the file. A name
+     * with any is never a constant, and is present only if every value it is
+     * given is.
+     */
+    readonly reassigned: ReadonlyMap<string, readonly Reassignment[]>;
+    /**
+     * Every name the file declares at the top level, wherever. OpenScript lets a
+     * block or a function see one declared below it, so an inner declaration of
+     * the same name is renamed, which the source dialect's meaning allows.
+     */
+    readonly globals: ReadonlySet<string>;
+    /** The side each literal entry id opens, from the script's entry calls. */
+    readonly entries: ReadonlyMap<string, 'long' | 'short'>;
+}
+export declare class Context {
+    readonly namer: Namer;
+    readonly fileScope: Scope;
+    scope: Scope;
+    /** The statement being translated. */
+    node: Node | undefined;
+    /** Lines a statement needs evaluated before it, and whether it may have them. */
+    hoisted: OutLine[];
+    mayHoist: boolean;
+    /** Inside a ternary arm, where the source dialect evaluates lazily as OpenScript does. */
+    lazy: number;
+    depth: number;
+    /** The declaration's pyramiding, read as the source dialect reads it: 0 is 1. */
+    pyramiding: number;
+    /**
+     * Whether the declaration sizes orders in units. The source dialect counts a
+     * quantity written on an entry in contracts whatever the declaration says,
+     * and OpenScript counts it in the declaration's own unit.
+     */
+    qtyInUnits: boolean;
+    readonly titles: Map<string, Set<string>>;
+    readonly facts: Facts;
+    constructor(facts: Facts);
+    span(at: Place): Span;
+    /** Records the first reason the current statement cannot be translated. */
+    refuse(diagnostic: Diagnostic): void;
+    get refused(): boolean;
+    note(diagnostic: Diagnostic, once?: string): void;
+    /** Whether declaring `name` in the current scope needs a new spelling to keep it apart. */
+    hides(name: string): boolean;
+    /** The binding a source name has here, recording a read of a top level one. */
+    lookup(name: string, at: Place): Binding | undefined;
+    /** Enters a block scope for the length of `work`. */
+    within<T>(work: () => T): T;
+    /**
+     * Moves an expression to its own line before the current statement, and
+     * returns the name it is read under, or undefined where it cannot be moved.
+     */
+    hoist(text: string): string | undefined;
+    /** A title for a declared output that no other output of its kind has. */
+    title(kind: string, wanted: string): string;
+}
+/** A string literal in OpenScript's spelling of it (`language.md` 3.6). */
+export declare function quoted(value: string): string;
+//# sourceMappingURL=context.d.ts.map

package/dist/core/importer/context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../../../src/core/importer/context.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAE1D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAC7C,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AAEnE,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,sHAAsH;AACtH,MAAM,WAAW,IAAI;IACnB,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;CACnC;AAED,MAAM,WAAW,IAAI;IACnB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,gFAAgF;IAChF,QAAQ,CAAC,QAAQ,EAAE,SAAS,KAAK,EAAE,CAAC;IACpC,6DAA6D;IAC7D,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC;IACxB,MAAM,EAAE,OAAO,EAAE,CAAC;IAClB,kDAAkD;IAClD,OAAO,EAAE,UAAU,GAAG,SAAS,CAAC;IAChC,2DAA2D;IAC3D,MAAM,EAAE,UAAU,GAAG,SAAS,CAAC;IAC/B,kFAAkF;IAClF,IAAI,EAAE,UAAU,GAAG,SAAS,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC;IACvB,6EAA6E;IAC7E,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;CAC/B;AAED,wBAAgB,MAAM,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAE1C;AAED,+EAA+E;AAC/E,wBAAgB,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,UAAU,GAAG,SAAS,CAE3D;AAED,MAAM,MAAM,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC;AAE5B,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC;CACtB;AAED,0EAA0E;AAC1E,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,0CAA0C;IAC1C,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACnC;;;;OAIG;IACH,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,YAAY,EAAE,CAAC,CAAC;IAClE;;;;OAIG;IACH,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACtC,2EAA2E;IAC3E,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,CAAC;CACzD;AAED,qBAAa,OAAO;IAClB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,SAAS,QAAwB;IAC1C,KAAK,EAAE,KAAK,CAAkB;IAC9B,sCAAsC;IACtC,IAAI,EAAE,IAAI,GAAG,SAAS,CAAC;IACvB,iFAAiF;IACjF,OAAO,EAAE,OAAO,EAAE,CAAM;IACxB,QAAQ,UAAS;IACjB,0FAA0F;IAC1F,IAAI,SAAK;IACT,KAAK,SAAK;IACV,iFAAiF;IACjF,UAAU,SAAK;IACf;;;;OAIG;IACH,UAAU,UAAQ;IAClB,QAAQ,CAAC,MAAM,2BAAkC;IACjD,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;gBAEV,KAAK,EAAE,KAAK;IAKxB,IAAI,CAAC,EAAE,EAAE,KAAK,GAAG,IAAI;IAIrB,2EAA2E;IAC3E,MAAM,CAAC,UAAU,EAAE,UAAU,GAAG,IAAI;IAIpC,IAAI,OAAO,IAAI,OAAO,CAErB;IAED,IAAI,CAAC,UAAU,EAAE,UAAU,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,IAAI;IAIjD,2FAA2F;IAC3F,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO;IAI5B,+EAA+E;IAC/E,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,GAAG,OAAO,GAAG,SAAS;IAMpD,qDAAqD;IACrD,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC;IAU3B;;;OAGG;IACH,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAOvC,0EAA0E;IAC1E,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM;CAW5C;AAID,2EAA2E;AAC3E,wBAAgB,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAa5C"}

package/dist/core/importer/context.js

@@ -0,0 +1,120 @@
+import { canonicalNumber } from '../emit/index.js';
+import { Namer, Scope } from './names.js';
+export function isKept(node) {
+    return node.refusal === undefined && node.failed === undefined && node.lost === undefined;
+}
+/** The first reason a node is not kept, in the order the reasons are found. */
+export function reasonOf(node) {
+    return node.refusal ?? node.failed ?? node.lost;
+}
+export class Context {
+    namer;
+    fileScope = new Scope(undefined);
+    scope = this.fileScope;
+    /** The statement being translated. */
+    node;
+    /** Lines a statement needs evaluated before it, and whether it may have them. */
+    hoisted = [];
+    mayHoist = false;
+    /** Inside a ternary arm, where the source dialect evaluates lazily as OpenScript does. */
+    lazy = 0;
+    depth = 0;
+    /** The declaration's pyramiding, read as the source dialect reads it: 0 is 1. */
+    pyramiding = 1;
+    /**
+     * Whether the declaration sizes orders in units. The source dialect counts a
+     * quantity written on an entry in contracts whatever the declaration says,
+     * and OpenScript counts it in the declaration's own unit.
+     */
+    qtyInUnits = true;
+    titles = new Map();
+    facts;
+    constructor(facts) {
+        this.facts = facts;
+        this.namer = new Namer(facts.used);
+    }
+    span(at) {
+        return this.facts.file.spanAt(at.offset, at.length);
+    }
+    /** Records the first reason the current statement cannot be translated. */
+    refuse(diagnostic) {
+        if (this.node !== undefined && this.node.refusal === undefined)
+            this.node.refusal = diagnostic;
+    }
+    get refused() {
+        return this.node?.refusal !== undefined;
+    }
+    note(diagnostic, once) {
+        this.node?.notes.push({ diagnostic, once });
+    }
+    /** Whether declaring `name` in the current scope needs a new spelling to keep it apart. */
+    hides(name) {
+        return this.scope.find(name) !== undefined || (!this.scope.isGlobal && this.facts.globals.has(name));
+    }
+    /** The binding a source name has here, recording a read of a top level one. */
+    lookup(name, at) {
+        const found = this.scope.find(name);
+        if (found !== undefined && found.topLevel)
+            this.node?.reads.push({ name, at });
+        return found;
+    }
+    /** Enters a block scope for the length of `work`. */
+    within(work) {
+        const outer = this.scope;
+        this.scope = new Scope(outer);
+        try {
+            return work();
+        }
+        finally {
+            this.scope = outer;
+        }
+    }
+    /**
+     * Moves an expression to its own line before the current statement, and
+     * returns the name it is read under, or undefined where it cannot be moved.
+     */
+    hoist(text) {
+        if (!this.mayHoist || this.lazy > 0)
+            return undefined;
+        const name = this.namer.fresh('everyBar');
+        this.hoisted.push({ depth: this.depth, text: `${name} = ${text}` });
+        return name;
+    }
+    /** A title for a declared output that no other output of its kind has. */
+    title(kind, wanted) {
+        let seen = this.titles.get(kind);
+        if (seen === undefined) {
+            seen = new Set();
+            this.titles.set(kind, seen);
+        }
+        let title = wanted;
+        for (let n = 2; seen.has(title); n += 1)
+            title = `${wanted} ${canonicalNumber(n)}`;
+        seen.add(title);
+        return title;
+    }
+}
+const HEX = '0123456789abcdef';
+/** A string literal in OpenScript's spelling of it (`language.md` 3.6). */
+export function quoted(value) {
+    let out = '"';
+    for (const c of value) {
+        const code = c.codePointAt(0) ?? 0;
+        if (c === '"')
+            out += '\\"';
+        else if (c === '\\')
+            out += '\\\\';
+        else if (c === '\n')
+            out += '\\n';
+        else if (c === '\t')
+            out += '\\t';
+        else if (c === '\r')
+            out += '\\r';
+        else if (code < 0x20)
+            out += `\\u00${HEX[code >> 4] ?? '0'}${HEX[code & 15] ?? '0'}`;
+        else
+            out += c;
+    }
+    return `${out}"`;
+}
+//# sourceMappingURL=context.js.map

package/dist/core/importer/context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"context.js","sourceRoot":"","sources":["../../../src/core/importer/context.ts"],"names":[],"mappings":"AAYA,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAGnD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAkC1C,MAAM,UAAU,MAAM,CAAC,IAAU;IAC/B,OAAO,IAAI,CAAC,OAAO,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;AAC5F,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,QAAQ,CAAC,IAAU;IACjC,OAAO,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC;AAClD,CAAC;AA+BD,MAAM,OAAO,OAAO;IACT,KAAK,CAAQ;IACb,SAAS,GAAG,IAAI,KAAK,CAAC,SAAS,CAAC,CAAC;IAC1C,KAAK,GAAU,IAAI,CAAC,SAAS,CAAC;IAC9B,sCAAsC;IACtC,IAAI,CAAmB;IACvB,iFAAiF;IACjF,OAAO,GAAc,EAAE,CAAC;IACxB,QAAQ,GAAG,KAAK,CAAC;IACjB,0FAA0F;IAC1F,IAAI,GAAG,CAAC,CAAC;IACT,KAAK,GAAG,CAAC,CAAC;IACV,iFAAiF;IACjF,UAAU,GAAG,CAAC,CAAC;IACf;;;;OAIG;IACH,UAAU,GAAG,IAAI,CAAC;IACT,MAAM,GAAG,IAAI,GAAG,EAAuB,CAAC;IACxC,KAAK,CAAQ;IAEtB,YAAY,KAAY;QACtB,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,KAAK,GAAG,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC;IAED,IAAI,CAAC,EAAS;QACZ,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;IACtD,CAAC;IAED,2EAA2E;IAC3E,MAAM,CAAC,UAAsB;QAC3B,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,KAAK,SAAS;YAAE,IAAI,CAAC,IAAI,CAAC,OAAO,GAAG,UAAU,CAAC;IACjG,CAAC;IAED,IAAI,OAAO;QACT,OAAO,IAAI,CAAC,IAAI,EAAE,OAAO,KAAK,SAAS,CAAC;IAC1C,CAAC;IAED,IAAI,CAAC,UAAsB,EAAE,IAAa;QACxC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;IAC9C,CAAC;IAED,2FAA2F;IAC3F,KAAK,CAAC,IAAY;QAChB,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IACvG,CAAC;IAED,+EAA+E;IAC/E,MAAM,CAAC,IAAY,EAAE,EAAS;QAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,QAAQ;YAAE,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QAC/E,OAAO,KAAK,CAAC;IACf,CAAC;IAED,qDAAqD;IACrD,MAAM,CAAI,IAAa;QACrB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QACzB,IAAI,CAAC,KAAK,GAAG,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,CAAC;YACH,OAAO,IAAI,EAAE,CAAC;QAChB,CAAC;gBAAS,CAAC;YACT,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACrB,CAAC;IACH,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,IAAY;QAChB,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,IAAI,GAAG,CAAC;YAAE,OAAO,SAAS,CAAC;QACtD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QAC1C,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,IAAI,MAAM,IAAI,EAAE,EAAE,CAAC,CAAC;QACpE,OAAO,IAAI,CAAC;IACd,CAAC;IAED,0EAA0E;IAC1E,KAAK,CAAC,IAAY,EAAE,MAAc;QAChC,IAAI,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,IAAI,GAAG,IAAI,GAAG,EAAE,CAAC;YACjB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC9B,CAAC;QACD,IAAI,KAAK,GAAG,MAAM,CAAC;QACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC;YAAE,KAAK,GAAG,GAAG,MAAM,IAAI,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC;QACnF,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAChB,OAAO,KAAK,CAAC;IACf,CAAC;CACF;AAED,MAAM,GAAG,GAAG,kBAAkB,CAAC;AAE/B,2EAA2E;AAC3E,MAAM,UAAU,MAAM,CAAC,KAAa;IAClC,IAAI,GAAG,GAAG,GAAG,CAAC;IACd,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,IAAI,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,CAAC,KAAK,GAAG;YAAE,GAAG,IAAI,KAAK,CAAC;aACvB,IAAI,CAAC,KAAK,IAAI;YAAE,GAAG,IAAI,MAAM,CAAC;aAC9B,IAAI,CAAC,KAAK,IAAI;YAAE,GAAG,IAAI,KAAK,CAAC;aAC7B,IAAI,CAAC,KAAK,IAAI;YAAE,GAAG,IAAI,KAAK,CAAC;aAC7B,IAAI,CAAC,KAAK,IAAI;YAAE,GAAG,IAAI,KAAK,CAAC;aAC7B,IAAI,IAAI,GAAG,IAAI;YAAE,GAAG,IAAI,QAAQ,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,GAAG,GAAG,GAAG,CAAC,IAAI,GAAG,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC;;YAChF,GAAG,IAAI,CAAC,CAAC;IAChB,CAAC;IACD,OAAO,GAAG,GAAG,GAAG,CAAC;AACnB,CAAC"}

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

@@ -0,0 +1,44 @@
+/**
+ * Expressions in the source dialect, read by recursive descent.
+ *
+ * The precedence ladder is the source dialect's, and it is the same shape as
+ * OpenScript's (`language.md` 9.1): the ternary lowest, then `or`, `and`,
+ * equality, comparison, the additive and multiplicative operators, and the
+ * unary operators with `not` among them. So a tree read here prints back into
+ * OpenScript with parentheses only where the tree needs them, and never with a
+ * different grouping.
+ *
+ * What the reader does not accept it reports by throwing `Unreadable` with the
+ * place and a few words naming the form, and the statement reader turns that
+ * into a statement kept whole. It is the one exception in the importer, and it
+ * never leaves this module and the statement reader beside it.
+ */
+import type { Token } from './lexer.js';
+import type { Expr, Place } from './syntax.js';
+/** A form the reader does not accept, and where it starts. */
+export declare class Unreadable extends Error {
+    readonly at: Place;
+    readonly construct: string;
+    constructor(at: Place, construct: string);
+}
+/** The words the reader takes for a form it does not read, per bad token. */
+export declare function badConstruct(token: Token): string;
+export declare const UNREAD = "a statement in a form its reader does not accept";
+export declare class Cursor {
+    index: number;
+    readonly tokens: readonly Token[];
+    constructor(tokens: readonly Token[]);
+    peek(ahead?: number): Token | undefined;
+    /** Whether the next token is this operator or word. */
+    sees(text: string, ahead?: number): boolean;
+    done(): boolean;
+    take(): Token;
+    expect(text: string): Token;
+    /** Refuse at the next token, or at the end of the line when there is none. */
+    fail(): never;
+    /** Zero width, just after the last token. */
+    endPlace(): Place;
+}
+export declare function placeOf(token: Token): Place;
+export declare function expression(c: Cursor): Expr;
+//# sourceMappingURL=expressions.d.ts.map