openalgo-script 0.5.0 → 0.7.0

package/dist/core/importer/presence.js

@@ -0,0 +1,146 @@
+import { pathOf } from './syntax.js';
+import { CALLS, COLOURS } from './table.js';
+/** Built-in series that hold a value on every bar, from bar 0. Volume can be absent. */
+const PRESENT_SERIES = new Set(['open', 'high', 'low', 'close', 'hl2', 'hlc3', 'ohlc4', 'hlcc4', 'time', 'bar_index']);
+/** Calls that return a present value whenever their arguments are present. */
+const PRESENT_WHEN_ARGUMENTS_ARE = new Set([
+    'math.abs', 'math.max', 'math.min', 'math.floor', 'math.ceil', 'math.sign', 'int', 'float',
+]);
+function namePresent(ctx, name) {
+    const binding = ctx.scope.find(name);
+    if (binding !== undefined)
+        return binding.present;
+    return PRESENT_SERIES.has(name);
+}
+function callPresent(ctx, expr) {
+    const path = pathOf(expr.callee);
+    if (path === undefined || ctx.scope.find(path.split('.')[0] ?? '') !== undefined)
+        return false;
+    if (path === 'na')
+        return true;
+    if (path === 'nz')
+        return expr.args.length < 2 || neverAbsent(ctx, expr.args[1]?.value);
+    if (path.startsWith('input'))
+        return true;
+    if (path === 'color.new' || path === 'color.rgb')
+        return true;
+    if (PRESENT_WHEN_ARGUMENTS_ARE.has(path))
+        return expr.args.every((arg) => neverAbsent(ctx, arg.value));
+    return false;
+}
+/** Whether an expression holds a value on every bar, as far as the tree can show. */
+export function neverAbsent(ctx, expr) {
+    if (expr === undefined)
+        return false;
+    switch (expr.kind) {
+        case 'number':
+        case 'string':
+        case 'bool':
+        case 'color':
+            return true;
+        case 'name':
+            return namePresent(ctx, expr.name);
+        case 'member': {
+            const path = pathOf(expr) ?? '';
+            if (path.startsWith('barstate.') || path === 'math.pi' || path === 'math.e')
+                return true;
+            if (path === 'strategy.position_size')
+                return true;
+            return path.startsWith('color.') && COLOURS.has(expr.property);
+        }
+        case 'unary':
+            return neverAbsent(ctx, expr.operand);
+        case 'binary':
+            if (expr.op === '/' || expr.op === '%')
+                return false;
+            return neverAbsent(ctx, expr.left) && neverAbsent(ctx, expr.right);
+        case 'ternary':
+            return neverAbsent(ctx, expr.then) && neverAbsent(ctx, expr.otherwise);
+        case 'group':
+            return neverAbsent(ctx, expr.inner);
+        case 'call':
+            return callPresent(ctx, expr);
+        case 'index':
+        case 'list':
+            return false;
+    }
+}
+/** Whether evaluating an expression runs a call that keeps state at its call site. */
+export function holdsState(ctx, expr) {
+    switch (expr.kind) {
+        case 'call': {
+            const path = pathOf(expr.callee);
+            if (path !== undefined) {
+                const binding = ctx.scope.find(path);
+                if (binding !== undefined && binding.kind === 'function')
+                    return true;
+                if (CALLS.get(path)?.stateful === true)
+                    return true;
+            }
+            return holdsState(ctx, expr.callee) || expr.args.some((arg) => holdsState(ctx, arg.value));
+        }
+        case 'member':
+            return holdsState(ctx, expr.object);
+        case 'index':
+            return holdsState(ctx, expr.target) || holdsState(ctx, expr.index);
+        case 'unary':
+            return holdsState(ctx, expr.operand);
+        case 'binary':
+            return holdsState(ctx, expr.left) || holdsState(ctx, expr.right);
+        case 'ternary':
+            return holdsState(ctx, expr.condition) || holdsState(ctx, expr.then) || holdsState(ctx, expr.otherwise);
+        case 'group':
+            return holdsState(ctx, expr.inner);
+        case 'list':
+            return expr.items.some((item) => holdsState(ctx, item));
+        default:
+            return false;
+    }
+}
+/** A whole-number literal, as the source writes one: no point and no exponent. */
+function wholeLiteral(text) {
+    return /^[0-9]+$/.test(text);
+}
+/** Whether an expression is a whole-number constant in version 5's sense. */
+export function wholeConstant(ctx, expr) {
+    switch (expr.kind) {
+        case 'number':
+            return wholeLiteral(expr.text);
+        case 'name':
+            return ctx.scope.find(expr.name)?.whole === true;
+        case 'unary':
+            return expr.op !== 'not' && wholeConstant(ctx, expr.operand);
+        case 'group':
+            return wholeConstant(ctx, expr.inner);
+        case 'binary':
+            return ['+', '-', '*', '/', '%'].includes(expr.op) && wholeConstant(ctx, expr.left) && wholeConstant(ctx, expr.right);
+        default:
+            return false;
+    }
+}
+/** Whether a name is read anywhere inside an expression. */
+export function mentions(expr, name) {
+    switch (expr.kind) {
+        case 'name':
+            return expr.name === name;
+        case 'member':
+            return mentions(expr.object, name);
+        case 'call':
+            return mentions(expr.callee, name) || expr.args.some((arg) => mentions(arg.value, name));
+        case 'index':
+            return mentions(expr.target, name) || mentions(expr.index, name);
+        case 'unary':
+            return mentions(expr.operand, name);
+        case 'binary':
+            return mentions(expr.left, name) || mentions(expr.right, name);
+        case 'ternary':
+            return mentions(expr.condition, name) || mentions(expr.then, name) || mentions(expr.otherwise, name);
+        case 'group':
+            return mentions(expr.inner, name);
+        case 'list':
+            return expr.items.some((item) => mentions(item, name));
+        default:
+            return false;
+    }
+}
+//# sourceMappingURL=presence.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"presence.js","sourceRoot":"","sources":["../../../src/core/importer/presence.ts"],"names":[],"mappings":"AAsBA,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5C,wFAAwF;AACxF,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC;AAEvH,8EAA8E;AAC9E,MAAM,0BAA0B,GAAG,IAAI,GAAG,CAAC;IACzC,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,WAAW,EAAE,KAAK,EAAE,OAAO;CAC3F,CAAC,CAAC;AAEH,SAAS,WAAW,CAAC,GAAY,EAAE,IAAY;IAC7C,MAAM,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC,OAAO,CAAC;IAClD,OAAO,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AAClC,CAAC;AAED,SAAS,WAAW,CAAC,GAAY,EAAE,IAAqC;IACtE,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACjC,IAAI,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAC/F,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/B,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACxF,IAAI,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1C,IAAI,IAAI,KAAK,WAAW,IAAI,IAAI,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IAC9D,IAAI,0BAA0B,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;IACvG,OAAO,KAAK,CAAC;AACf,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,WAAW,CAAC,GAAY,EAAE,IAAsB;IAC9D,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACrC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ,CAAC;QACd,KAAK,MAAM,CAAC;QACZ,KAAK,OAAO;YACV,OAAO,IAAI,CAAC;QACd,KAAK,MAAM;YACT,OAAO,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YAChC,IAAI,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,QAAQ;gBAAE,OAAO,IAAI,CAAC;YACzF,IAAI,IAAI,KAAK,wBAAwB;gBAAE,OAAO,IAAI,CAAC;YACnD,OAAO,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACjE,CAAC;QACD,KAAK,OAAO;YACV,OAAO,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QACxC,KAAK,QAAQ;YACX,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG;gBAAE,OAAO,KAAK,CAAC;YACrD,OAAO,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QACrE,KAAK,SAAS;YACZ,OAAO,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;QACzE,KAAK,OAAO;YACV,OAAO,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QACtC,KAAK,MAAM;YACT,OAAO,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAChC,KAAK,OAAO,CAAC;QACb,KAAK,MAAM;YACT,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED,sFAAsF;AACtF,MAAM,UAAU,UAAU,CAAC,GAAY,EAAE,IAAU;IACjD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACjC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,MAAM,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACrC,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU;oBAAE,OAAO,IAAI,CAAC;gBACtE,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,KAAK,IAAI;oBAAE,OAAO,IAAI,CAAC;YACtD,CAAC;YACD,OAAO,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QAC7F,CAAC;QACD,KAAK,QAAQ;YACX,OAAO,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QACtC,KAAK,OAAO;YACV,OAAO,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QACrE,KAAK,OAAO;YACV,OAAO,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QACvC,KAAK,QAAQ;YACX,OAAO,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QACnE,KAAK,SAAS;YACZ,OAAO,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;QAC1G,KAAK,OAAO;YACV,OAAO,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QACrC,KAAK,MAAM;YACT,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;QAC1D;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED,kFAAkF;AAClF,SAAS,YAAY,CAAC,IAAY;IAChC,OAAO,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC/B,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,aAAa,CAAC,GAAY,EAAE,IAAU;IACpD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,KAAK,MAAM;YACT,OAAO,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,KAAK,IAAI,CAAC;QACnD,KAAK,OAAO;YACV,OAAO,IAAI,CAAC,EAAE,KAAK,KAAK,IAAI,aAAa,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QAC/D,KAAK,OAAO;YACV,OAAO,aAAa,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QACxC,KAAK,QAAQ;YACX,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,aAAa,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,aAAa,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QACxH;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED,4DAA4D;AAC5D,MAAM,UAAU,QAAQ,CAAC,IAAU,EAAE,IAAY;IAC/C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM;YACT,OAAO,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC;QAC5B,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACrC,KAAK,MAAM;YACT,OAAO,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;QAC3F,KAAK,OAAO;YACV,OAAO,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACnE,KAAK,OAAO;YACV,OAAO,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QACtC,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACjE,KAAK,SAAS;YACZ,OAAO,QAAQ,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;QACvG,KAAK,OAAO;YACV,OAAO,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACpC,KAAK,MAAM;YACT,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QACzD;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC"}

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

@@ -0,0 +1,23 @@
+import type { Diagnostic } from '../diagnostics/index.js';
+import type { Context, Node } from './context.js';
+import type { Remark } from './lexer.js';
+/** One line of the output that is not a statement. */
+export type Loose = {
+    readonly kind: 'remark';
+    readonly remark: Remark;
+    readonly depth: number;
+} | {
+    readonly kind: 'blank';
+} | {
+    readonly kind: 'text';
+    readonly text: string;
+};
+export type Piece = Loose | {
+    readonly kind: 'node';
+    readonly node: Node;
+};
+/** Repeats the three passes until the output compiles or nothing more can be done. */
+export declare function settle(ctx: Context, nodes: readonly Node[], pieces: readonly Piece[]): string;
+/** Every finding, in the order a reader walks the source. */
+export declare function findingsOf(nodes: readonly Node[]): readonly Diagnostic[];
+//# sourceMappingURL=settle.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"settle.d.ts","sourceRoot":"","sources":["../../../src/core/importer/settle.ts"],"names":[],"mappings":"AAwBA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAO1D,OAAO,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AAClD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAEzC,sDAAsD;AACtD,MAAM,MAAM,KAAK,GACb;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAC5E;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,GAC1B;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAErD,MAAM,MAAM,KAAK,GAAG,KAAK,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CAAE,CAAC;AA4D3E,sFAAsF;AACtF,wBAAgB,MAAM,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,IAAI,EAAE,EAAE,MAAM,EAAE,SAAS,KAAK,EAAE,GAAG,MAAM,CAkB7F;AAED,6DAA6D;AAC7D,wBAAgB,UAAU,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,GAAG,SAAS,UAAU,EAAE,CAkBxE"}

package/dist/core/importer/settle.js

@@ -0,0 +1,135 @@
+/**
+ * Settling a translation: what is kept, what it reads, and whether it compiles.
+ *
+ * The importer promises that what it hands back compiles, and the promise is
+ * kept by compiling it rather than by trusting the translators. Three passes
+ * repeat until nothing changes:
+ *
+ * 1. **The cascade.** A statement that reads a top level name declared by a
+ *    statement that was not kept is not kept either (OS9005), in source order,
+ *    so one refusal is reported once at its cause and once at each statement
+ *    that follows from it.
+ * 2. **The rendering.** Kept statements are written out; the rest are written
+ *    as their source lines behind a comment marker, so the original is there to
+ *    translate from and nothing in them is compiled.
+ * 3. **The compile.** Every error the compiler raises is laid at the statement
+ *    whose line it is on, which is then not kept (OS9012), and the loop runs
+ *    again. It ends when the output compiles, or when an error lies somewhere no
+ *    statement owns, which only the declaration can be.
+ *
+ * Warnings the compiler raises are left for the reader's own compile to show:
+ * they are about the output as OpenScript and say so in its own words.
+ */
+import { check } from '../check/index.js';
+import { DiagnosticBag, diagnosticFor } from '../diagnostics/index.js';
+import { emit } from '../emit/index.js';
+import { lex } from '../lex/index.js';
+import { parseTokens } from '../parse/index.js';
+import { sourceFile } from '../source/index.js';
+import { isKept, reasonOf } from './context.js';
+const INDENT = '    ';
+function cascade(ctx, nodes) {
+    const lost = new Map();
+    for (const node of nodes) {
+        node.lost = undefined;
+        if (node.refusal === undefined && node.failed === undefined) {
+            const hit = node.reads.find((read) => lost.has(read.name));
+            if (hit !== undefined) {
+                node.lost = diagnosticFor('OS9005', ctx.span(hit.at), { name: hit.name, line: lost.get(hit.name) ?? 0 });
+            }
+        }
+        if (!isKept(node))
+            for (const one of node.declares)
+                lost.set(one.name, node.lines.first);
+    }
+}
+/** The output text, and for each of its lines the statement that wrote it. */
+function render(file, pieces) {
+    const lines = [];
+    const owners = [];
+    const push = (text, owner) => {
+        if (text === '' && (lines.length === 0 || lines[lines.length - 1] === ''))
+            return;
+        lines.push(text);
+        owners.push(owner);
+    };
+    for (const piece of pieces) {
+        if (piece.kind === 'blank')
+            push('', undefined);
+        else if (piece.kind === 'text')
+            push(piece.text, undefined);
+        else if (piece.kind === 'remark')
+            push(`${INDENT.repeat(piece.depth)}//${piece.remark.text}`, undefined);
+        else if (isKept(piece.node)) {
+            for (const line of piece.node.output) {
+                push(line.text === '' ? '' : `${INDENT.repeat(line.depth)}${line.text}`, piece.node);
+            }
+        }
+        else {
+            const code = reasonOf(piece.node)?.code ?? '';
+            for (let line = piece.node.lines.first; line <= piece.node.lines.last; line += 1) {
+                push(`// not translated (${code}): ${file.lineText(line)}`.trimEnd(), piece.node);
+            }
+        }
+    }
+    while (lines.length > 0 && lines[lines.length - 1] === '') {
+        lines.pop();
+        owners.pop();
+    }
+    return { text: `${lines.join('\n')}\n`, owners };
+}
+/** The errors OpenScript's own compiler raises on a text. */
+function compileErrors(text) {
+    const file = sourceFile('translation.oscript', text);
+    const bag = new DiagnosticBag();
+    const tokens = lex(file, bag);
+    const script = parseTokens(file, tokens, bag);
+    const checked = check(file, script, bag);
+    if (!bag.hasErrors)
+        emit(file, checked, bag, {});
+    return bag.errors;
+}
+/** Repeats the three passes until the output compiles or nothing more can be done. */
+export function settle(ctx, nodes, pieces) {
+    for (let pass = 0;; pass += 1) {
+        cascade(ctx, nodes);
+        const { text, owners } = render(ctx.facts.file, pieces);
+        const errors = compileErrors(text);
+        let changed = false;
+        for (const error of errors) {
+            const owner = owners[error.span.line - 1];
+            if (owner === undefined || !isKept(owner))
+                continue;
+            if (owner.declaration) {
+                owner.notes.push({ diagnostic: diagnosticFor('OS9012', ctx.span(owner.stmt.at), { code: error.code }), once: 'declaration' });
+                continue;
+            }
+            owner.failed = diagnosticFor('OS9012', ctx.span(owner.stmt.at), { code: error.code });
+            changed = true;
+        }
+        if (!changed || pass > nodes.length)
+            return text;
+    }
+}
+/** Every finding, in the order a reader walks the source. */
+export function findingsOf(nodes) {
+    const bag = new DiagnosticBag();
+    const once = new Set();
+    for (const node of nodes) {
+        const reason = reasonOf(node);
+        if (reason !== undefined) {
+            bag.add(reason);
+            continue;
+        }
+        for (const note of node.notes) {
+            if (note.once !== undefined) {
+                if (once.has(note.once))
+                    continue;
+                once.add(note.once);
+            }
+            bag.add(note.diagnostic);
+        }
+    }
+    return bag.ordered();
+}
+//# sourceMappingURL=settle.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"settle.js","sourceRoot":"","sources":["../../../src/core/importer/settle.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAEvE,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AACxC,OAAO,EAAE,GAAG,EAAE,MAAM,iBAAiB,CAAC;AACtC,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAEhD,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAYhD,MAAM,MAAM,GAAG,MAAM,CAAC;AAEtB,SAAS,OAAO,CAAC,GAAY,EAAE,KAAsB;IACnD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,GAAG,SAAS,CAAC;QACtB,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC5D,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YAC3D,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;gBACtB,IAAI,CAAC,IAAI,GAAG,aAAa,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC3G,CAAC;QACH,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;YAAE,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,QAAQ;gBAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC3F,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,SAAS,MAAM,CAAC,IAAgB,EAAE,MAAwB;IACxD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,MAAM,GAAyB,EAAE,CAAC;IACxC,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,KAAuB,EAAQ,EAAE;QAC3D,IAAI,IAAI,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;YAAE,OAAO;QAClF,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjB,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrB,CAAC,CAAC;IACF,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;YAAE,IAAI,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;aAC3C,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;YAAE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;aACvD,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;YAAE,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,SAAS,CAAC,CAAC;aACpG,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;gBACrC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YACvF,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,IAAI,EAAE,CAAC;YAC9C,KAAK,IAAI,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,IAAI,CAAC,EAAE,CAAC;gBACjF,IAAI,CAAC,sBAAsB,IAAI,MAAM,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YACpF,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC;QAC1D,KAAK,CAAC,GAAG,EAAE,CAAC;QACZ,MAAM,CAAC,GAAG,EAAE,CAAC;IACf,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC;AACnD,CAAC;AAED,6DAA6D;AAC7D,SAAS,aAAa,CAAC,IAAY;IACjC,MAAM,IAAI,GAAG,UAAU,CAAC,qBAAqB,EAAE,IAAI,CAAC,CAAC;IACrD,MAAM,GAAG,GAAG,IAAI,aAAa,EAAE,CAAC;IAChC,MAAM,MAAM,GAAG,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC9B,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;IAC9C,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;IACzC,IAAI,CAAC,GAAG,CAAC,SAAS;QAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;IACjD,OAAO,GAAG,CAAC,MAAM,CAAC;AACpB,CAAC;AAED,sFAAsF;AACtF,MAAM,UAAU,MAAM,CAAC,GAAY,EAAE,KAAsB,EAAE,MAAwB;IACnF,KAAK,IAAI,IAAI,GAAG,CAAC,GAAI,IAAI,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QACpB,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACxD,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;YAC1C,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;gBAAE,SAAS;YACpD,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;gBACtB,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,aAAa,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,CAAC;gBAC9H,SAAS;YACX,CAAC;YACD,KAAK,CAAC,MAAM,GAAG,aAAa,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;YACtF,OAAO,GAAG,IAAI,CAAC;QACjB,CAAC;QACD,IAAI,CAAC,OAAO,IAAI,IAAI,GAAG,KAAK,CAAC,MAAM;YAAE,OAAO,IAAI,CAAC;IACnD,CAAC;AACH,CAAC;AAED,6DAA6D;AAC7D,MAAM,UAAU,UAAU,CAAC,KAAsB;IAC/C,MAAM,GAAG,GAAG,IAAI,aAAa,EAAE,CAAC;IAChC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAChB,SAAS;QACX,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC5B,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,SAAS;gBAClC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtB,CAAC;YACD,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC,OAAO,EAAE,CAAC;AACvB,CAAC"}

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

@@ -0,0 +1,4 @@
+import type { Context, OutLine } from './context.js';
+import type { Stmt } from './syntax.js';
+export declare function translateStatement(ctx: Context, stmt: Stmt, depth: number): OutLine[];
+//# sourceMappingURL=statements.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"statements.d.ts","sourceRoot":"","sources":["../../../src/core/importer/statements.ts"],"names":[],"mappings":"AAcA,OAAO,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAMrD,OAAO,KAAK,EAAwB,IAAI,EAAE,MAAM,aAAa,CAAC;AAmT9D,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,EAAE,CAGrF"}