openalgo-script 0.1.0-alpha.0 → 0.2.0

package/dist/core/check/checker.js

@@ -0,0 +1,280 @@
+import { conditionalCalls } from './conditional.js';
+import { libraryNames } from './surface.js';
+import { closestName } from './suggest.js';
+import { UNKNOWN } from './types.js';
+import { BAR_ZERO } from './warmup.js';
+export const TOP_LEVEL = {
+    topLevel: true,
+    construct: undefined,
+    inLoop: false,
+};
+export class Checker {
+    file;
+    sink;
+    script;
+    /** The file scope, which is also where a `fn` puts its name. */
+    fileScope;
+    scope;
+    declaration = undefined;
+    inputs = [];
+    outputs = [];
+    functions = [];
+    bindings = [];
+    calls = [];
+    requests = [];
+    types = new Map();
+    warmups = new Map();
+    /**
+     * The expressions a declaration handle is allowed to stand in, 5.4.
+     *
+     * `handles.ts` holds the rule and fills this. It is a set of permissions
+     * rather than a flag on the pass, because the permission belongs to one
+     * written expression: `fill(upper, lower)` may name a handle, and an
+     * expression inside one of those arguments may not.
+     */
+    handleSites = new Set();
+    references = new Map();
+    targets = new Map();
+    callSites = new Map();
+    /**
+     * The multi-output call a name holds, by binding, for `m[1]`.
+     *
+     * A warmup is recorded against an expression, and an element's warmup is not
+     * a fact about the array expression: it is a fact about the call the name was
+     * given, which `m[1]` has to reach two statements later. Only the calls whose
+     * outputs warm up at different bars are kept, because for every other one the
+     * array's warmup is already the element's.
+     */
+    multiOutputs = new Map();
+    /** The declarations of every `fn`, collected before any body is checked. */
+    functionsByName = new Map();
+    functionNodes = new Map();
+    /** Bodies already checked, and the ones being checked, so a cycle stops. */
+    checkedFunctions = new Set();
+    checkingFunctions = new Set();
+    repaints = false;
+    stateCount = 0;
+    /** How deep inside a `req` expression the pass is, `stdlib.md` 15.4. */
+    requestDepth = 0;
+    /** The function whose body is being checked, for its own statefulness. */
+    currentFunction = undefined;
+    /** What the body being checked returns, gathered as the `return`s are met. */
+    pendingReturns = [];
+    /** Every call site a bar can pass without evaluating, `language.md` 11.4. */
+    conditional;
+    constructor(file, script, sink) {
+        this.file = file;
+        this.script = script;
+        this.sink = sink;
+        this.fileScope = { kind: 'file', names: new Map(), parent: undefined, loopVariable: undefined };
+        this.scope = this.fileScope;
+        this.conditional = conditionalCalls(script);
+    }
+    /**
+     * Whether this call site can be skipped on a bar, which is what OS8001 asks.
+     *
+     * Asked of the call rather than of the pass that reached it, so the answer is
+     * the same wherever the call was written: inside an `if`, in a ternary arm,
+     * or on the right of an `and` that short-circuited.
+     */
+    isConditional(call) {
+        return this.conditional.has(call);
+    }
+    report(code, span, values) {
+        this.sink.report(code, span, values);
+    }
+    /** The source text a span covers, for the codes that quote what was written. */
+    textOf(span) {
+        return this.file.text.slice(span.offset, span.offset + span.length).trim();
+    }
+    /** Opens a scope, runs the body in it, and closes it however the body ends. */
+    inScope(kind, loopVariable, body) {
+        const parent = this.scope;
+        this.scope = { kind, names: new Map(), parent, loopVariable };
+        try {
+            return body();
+        }
+        finally {
+            this.scope = parent;
+        }
+    }
+    /**
+     * The declaration a name means here, and whether a function body stands
+     * between the two.
+     *
+     * A plain assignment updates an enclosing name (`language.md` 12.2), and a
+     * function body is the one place that does not hold: 12.3's own example makes
+     * an assignment to a file-scope name from inside a `fn` OS2002.
+     */
+    lookupAcross(name) {
+        let crossedFunction = false;
+        for (let scope = this.scope; scope !== undefined; scope = scope.parent) {
+            const found = scope.names.get(name);
+            if (found !== undefined)
+                return { binding: found, crossedFunction };
+            if (scope.kind === 'function')
+                crossedFunction = true;
+        }
+        return { binding: undefined, crossedFunction };
+    }
+    /** The declaration a name means here, or nothing when no scope holds it. */
+    lookup(name) {
+        for (let scope = this.scope; scope !== undefined; scope = scope.parent) {
+            const found = scope.names.get(name);
+            if (found !== undefined)
+                return found;
+        }
+        return undefined;
+    }
+    /** Whether an enclosing scope already holds the name, which is OS2002. */
+    enclosing(name) {
+        for (let scope = this.scope.parent; scope !== undefined; scope = scope.parent) {
+            const found = scope.names.get(name);
+            if (found !== undefined)
+                return found;
+        }
+        return undefined;
+    }
+    /** Whether the name belongs to the loop being executed, `language.md` 10.3. */
+    loopVariableNamed(name) {
+        for (let scope = this.scope; scope !== undefined; scope = scope.parent) {
+            if (scope.loopVariable === name)
+                return true;
+            if (scope.names.has(name))
+                return false;
+        }
+        return false;
+    }
+    /** Declares a name in the current scope and records it in the checked tree. */
+    declare(name, kind, type, warmup, persistence = 'none') {
+        const binding = {
+            id: this.bindings.length,
+            name: name.text,
+            kind,
+            persistence,
+            type,
+            warmup,
+            storage: storageFor(kind, persistence),
+            declaredAt: name.span,
+            readsHistory: false,
+            isRead: false,
+            input: undefined,
+            handle: undefined,
+        };
+        this.bindings.push(binding);
+        this.scope.names.set(name.text, binding);
+        this.targets.set(name, binding);
+        return binding;
+    }
+    /**
+     * Remembers, or forgets, the multi-output call a name was just given.
+     *
+     * Forgetting on a reassignment rather than keeping the first call is what
+     * stops `m[1]` from being answered about a call the name no longer holds:
+     * the array's own warmup is the fallback, and it is a floor for every
+     * element.
+     */
+    holdsMultiOutput(binding, call) {
+        if (call === undefined || call.entry === undefined || call.entry.elements.length === 0) {
+            this.multiOutputs.delete(binding);
+            return;
+        }
+        this.multiOutputs.set(binding, call);
+    }
+    /** The multi-output call this name holds here, when it holds one. */
+    multiOutputOf(name) {
+        const binding = this.lookup(name);
+        return binding === undefined ? undefined : this.multiOutputs.get(binding.id);
+    }
+    record(expression, type, warmup) {
+        this.types.set(expression, type);
+        this.warmups.set(expression, warmup);
+        return type;
+    }
+    typeOf(expression) {
+        return this.types.get(expression) ?? UNKNOWN;
+    }
+    warmupOf(expression) {
+        return this.warmups.get(expression) ?? BAR_ZERO;
+    }
+    /** Every name a reader could have meant here: the scopes, then the library. */
+    namesInScope() {
+        const names = new Set();
+        for (let scope = this.scope; scope !== undefined; scope = scope.parent) {
+            for (const name of scope.names.keys())
+                names.add(name);
+        }
+        for (const name of libraryNames())
+            names.add(name);
+        return [...names];
+    }
+    suggestionFor(written) {
+        return closestName(written, this.namesInScope());
+    }
+    /** A state region for one call site, `compiled-program.md` 2.11. */
+    takeStateId() {
+        const id = this.stateCount;
+        this.stateCount += 1;
+        return id;
+    }
+    finish() {
+        return {
+            script: this.script,
+            declaration: this.declaration,
+            inputs: this.inputs,
+            outputs: this.outputs,
+            functions: this.functions,
+            bindings: this.bindings,
+            calls: this.calls,
+            requests: this.requests,
+            repaints: this.repaints,
+            stateCount: this.stateCount,
+            types: this.types,
+            warmups: this.warmups,
+            references: this.references,
+            targets: this.targets,
+            callSites: this.callSites,
+        };
+    }
+}
+/**
+ * OS7001: a name the library gives only to a file declared with `strategy()`.
+ *
+ * The message names the line of the `study()` declaration rather than the call,
+ * because that is the line the reader has to change: the call is what they
+ * meant, and the declaration is what refuses it.
+ */
+export function reportStrategyOnly(checker, name, span, strategyOnly) {
+    const declaration = checker.declaration;
+    if (!strategyOnly || declaration === undefined || declaration.form === 'strategy')
+        return;
+    checker.report('OS7001', span, { name, line: declaration.node.span.line });
+}
+/**
+ * Where a name's value lives between bars.
+ *
+ * A top-level name starts in a slot and is moved to a register only when the
+ * program turns out to read its history, which the checker knows by the end and
+ * `finaliseStorage` applies. Everything below the top level is a slot, and a
+ * `var` is a cell whatever scope it was written in.
+ */
+function storageFor(kind, persistence) {
+    if (persistence !== 'none')
+        return 'cell';
+    return kind === 'library' || kind === 'function' ? 'none' : 'slot';
+}
+/**
+ * Promotes the top-level names whose history is read to series registers.
+ *
+ * `compiled-program.md` 2.10 allocates a register only for a name the program
+ * reads the past of, and this is the one place that decides it, once every read
+ * in the file has been seen.
+ */
+export function finaliseStorage(checker) {
+    for (const binding of checker.bindings) {
+        if (binding.readsHistory && binding.kind === 'file' && binding.persistence === 'none') {
+            binding.storage = 'register';
+        }
+    }
+}
+//# sourceMappingURL=checker.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"checker.js","sourceRoot":"","sources":["../../../src/core/check/checker.ts"],"names":[],"mappings":"AAqCA,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AACpD,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAE3C,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAErC,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAoCvC,MAAM,CAAC,MAAM,SAAS,GAAc;IAClC,QAAQ,EAAE,IAAI;IACd,SAAS,EAAE,SAAS;IACpB,MAAM,EAAE,KAAK;CACd,CAAC;AAEF,MAAM,OAAO,OAAO;IACT,IAAI,CAAa;IACjB,IAAI,CAAiB;IACrB,MAAM,CAAS;IAExB,gEAAgE;IACvD,SAAS,CAAQ;IAC1B,KAAK,CAAQ;IAEb,WAAW,GAAmC,SAAS,CAAC;IAC/C,MAAM,GAA4B,EAAE,CAAC;IACrC,OAAO,GAAoB,EAAE,CAAC;IAC9B,SAAS,GAA+B,EAAE,CAAC;IAC3C,QAAQ,GAAuB,EAAE,CAAC;IAClC,KAAK,GAAkB,EAAE,CAAC;IAC1B,QAAQ,GAAqB,EAAE,CAAC;IAEhC,KAAK,GAAG,IAAI,GAAG,EAAoB,CAAC;IACpC,OAAO,GAAG,IAAI,GAAG,EAAsB,CAAC;IACjD;;;;;;;OAOG;IACM,WAAW,GAAG,IAAI,GAAG,EAAc,CAAC;IACpC,UAAU,GAAG,IAAI,GAAG,EAA0B,CAAC;IAC/C,OAAO,GAAG,IAAI,GAAG,EAAiB,CAAC;IACnC,SAAS,GAAG,IAAI,GAAG,EAAqB,CAAC;IAClD;;;;;;;;OAQG;IACc,YAAY,GAAG,IAAI,GAAG,EAAuB,CAAC;IAE/D,4EAA4E;IACnE,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,aAAa,GAAG,IAAI,GAAG,EAA+B,CAAC;IAChE,4EAA4E;IACnE,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,iBAAiB,GAAG,IAAI,GAAG,EAAU,CAAC;IAE/C,QAAQ,GAAG,KAAK,CAAC;IACjB,UAAU,GAAG,CAAC,CAAC;IACf,wEAAwE;IACxE,YAAY,GAAG,CAAC,CAAC;IACjB,0EAA0E;IAC1E,eAAe,GAAyC,SAAS,CAAC;IAClE,8EAA8E;IAC9E,cAAc,GAAuD,EAAE,CAAC;IAExE,6EAA6E;IAC5D,WAAW,CAAoB;IAEhD,YAAY,IAAgB,EAAE,MAAc,EAAE,IAAoB;QAChE,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,SAAS,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,YAAY,EAAE,SAAS,EAAE,CAAC;QAChG,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC;QAC5B,IAAI,CAAC,WAAW,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;IAC9C,CAAC;IAED;;;;;;OAMG;IACH,aAAa,CAAC,IAAU;QACtB,OAAO,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC;IAED,MAAM,CACJ,IAAU,EACV,IAAU,EACV,MAA8B;QAE9B,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IACvC,CAAC;IAED,gFAAgF;IAChF,MAAM,CAAC,IAAU;QACf,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;IAC7E,CAAC;IAED,+EAA+E;IAC/E,OAAO,CAAI,IAAmB,EAAE,YAAgC,EAAE,IAAa;QAC7E,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC;QAC1B,IAAI,CAAC,KAAK,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;QAC9D,IAAI,CAAC;YACH,OAAO,IAAI,EAAE,CAAC;QAChB,CAAC;gBAAS,CAAC;YACT,IAAI,CAAC,KAAK,GAAG,MAAM,CAAC;QACtB,CAAC;IACH,CAAC;IAED;;;;;;;OAOG;IACH,YAAY,CAAC,IAAY;QAIvB,IAAI,eAAe,GAAG,KAAK,CAAC;QAC5B,KAAK,IAAI,KAAK,GAAsB,IAAI,CAAC,KAAK,EAAE,KAAK,KAAK,SAAS,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;YAC1F,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACpC,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,eAAe,EAAE,CAAC;YACpE,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU;gBAAE,eAAe,GAAG,IAAI,CAAC;QACxD,CAAC;QACD,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,CAAC;IACjD,CAAC;IAED,4EAA4E;IAC5E,MAAM,CAAC,IAAY;QACjB,KAAK,IAAI,KAAK,GAAsB,IAAI,CAAC,KAAK,EAAE,KAAK,KAAK,SAAS,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;YAC1F,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACpC,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO,KAAK,CAAC;QACxC,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,0EAA0E;IAC1E,SAAS,CAAC,IAAY;QACpB,KACE,IAAI,KAAK,GAAsB,IAAI,CAAC,KAAK,CAAC,MAAM,EAChD,KAAK,KAAK,SAAS,EACnB,KAAK,GAAG,KAAK,CAAC,MAAM,EACpB,CAAC;YACD,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACpC,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO,KAAK,CAAC;QACxC,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,+EAA+E;IAC/E,iBAAiB,CAAC,IAAY;QAC5B,KAAK,IAAI,KAAK,GAAsB,IAAI,CAAC,KAAK,EAAE,KAAK,KAAK,SAAS,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;YAC1F,IAAI,KAAK,CAAC,YAAY,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YAC7C,IAAI,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,OAAO,KAAK,CAAC;QAC1C,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,+EAA+E;IAC/E,OAAO,CACL,IAAU,EACV,IAAiB,EACjB,IAAU,EACV,MAAc,EACd,cAAsC,MAAM;QAE5C,MAAM,OAAO,GAAqB;YAChC,EAAE,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM;YACxB,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,IAAI;YACJ,WAAW;YACX,IAAI;YACJ,MAAM;YACN,OAAO,EAAE,UAAU,CAAC,IAAI,EAAE,WAAW,CAAC;YACtC,UAAU,EAAE,IAAI,CAAC,IAAI;YACrB,YAAY,EAAE,KAAK;YACnB,MAAM,EAAE,KAAK;YACb,KAAK,EAAE,SAAS;YAChB,MAAM,EAAE,SAAS;SAClB,CAAC;QACF,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC5B,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACzC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAChC,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;;;;;;OAOG;IACH,gBAAgB,CAAC,OAAe,EAAE,IAA6B;QAC7D,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvF,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAClC,OAAO;QACT,CAAC;QACD,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACvC,CAAC;IAED,qEAAqE;IACrE,aAAa,CAAC,IAAY;QACxB,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAClC,OAAO,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC/E,CAAC;IAED,MAAM,CAAC,UAAsB,EAAE,IAAU,EAAE,MAAc;QACvD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QACjC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;QACrC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,CAAC,UAAsB;QAC3B,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,OAAO,CAAC;IAC/C,CAAC;IAED,QAAQ,CAAC,UAAsB;QAC7B,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,QAAQ,CAAC;IAClD,CAAC;IAED,+EAA+E;IAC/E,YAAY;QACV,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;QAChC,KAAK,IAAI,KAAK,GAAsB,IAAI,CAAC,KAAK,EAAE,KAAK,KAAK,SAAS,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;YAC1F,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE;gBAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACzD,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnD,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC;IACpB,CAAC;IAED,aAAa,CAAC,OAAe;QAC3B,OAAO,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC;IACnD,CAAC;IAED,oEAAoE;IACpE,WAAW;QACT,MAAM,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC;QAC3B,IAAI,CAAC,UAAU,IAAI,CAAC,CAAC;QACrB,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM;QACJ,OAAO;YACL,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,SAAS,EAAE,IAAI,CAAC,SAAS;SAC1B,CAAC;IACJ,CAAC;CACF;AAED;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAChC,OAAgB,EAChB,IAAY,EACZ,IAAU,EACV,YAAqB;IAErB,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,CAAC;IACxC,IAAI,CAAC,YAAY,IAAI,WAAW,KAAK,SAAS,IAAI,WAAW,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO;IAC1F,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;AAC7E,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,UAAU,CAAC,IAAiB,EAAE,WAAmC;IACxE,IAAI,WAAW,KAAK,MAAM;QAAE,OAAO,MAAM,CAAC;IAC1C,OAAO,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;AACrE,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAAC,OAAgB;IAC9C,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACvC,IAAI,OAAO,CAAC,YAAY,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,CAAC,WAAW,KAAK,MAAM,EAAE,CAAC;YACtF,OAAO,CAAC,OAAO,GAAG,UAAU,CAAC;QAC/B,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/core/check/conditional.d.ts

@@ -0,0 +1,35 @@
+/**
+ * Which call sites do not run on every bar.
+ *
+ * `language.md` 11.4 states its rule about a call site rather than about a
+ * statement: a call site that does not execute on a bar leaves its series
+ * absent for that bar and its state untouched. OS8001 is the warning for a
+ * stateful call written in one, so what the warning needs is a fact about where
+ * a call sits in the tree, and that is the whole of what this file works out.
+ *
+ * It is a file rather than a flag carried down the passes because the passes
+ * are the wrong place to keep it. Two of the constructs that skip an operand
+ * are operators rather than statements: the ternary evaluates only the taken
+ * arm (9.5), and `and` and `or` evaluate the right operand only when it can
+ * change the answer (9.4). A third is inside a statement the pass does walk,
+ * where it walks only the bodies: a branch after the first is reached only when
+ * every condition above it was false, so an `else if` condition and a later
+ * `case` arm's values are skipped as readily as the bodies are (10.2 and 10.6).
+ * What an analysis misses there is silent: a real number computed from a subset
+ * of the bars and drawn as though it came from all of them.
+ *
+ * So the question is asked once, of the tree, through the one traversal in
+ * `childrenOf`. `reachOf` says how a node reaches each of its children and has
+ * no default arm, which means a node kind added to the language stops the build
+ * here, at the one place that has to decide whether it can skip a child.
+ */
+import type { Call, Script } from '../ast/index.js';
+/**
+ * Every call site in the file that a bar can pass without evaluating.
+ *
+ * Calls rather than nodes, because a call site is what 11.4 is about and what
+ * holds state. Kept as the nodes themselves rather than as spans, so the answer
+ * cannot drift from the tree the checker is walking.
+ */
+export declare function conditionalCalls(script: Script): ReadonlySet<Call>;
+//# sourceMappingURL=conditional.d.ts.map

package/dist/core/check/conditional.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"conditional.d.ts","sourceRoot":"","sources":["../../../src/core/check/conditional.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,OAAO,KAAK,EAAW,IAAI,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AAa7D;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,CAIlE"}

package/dist/core/check/conditional.js

@@ -0,0 +1,100 @@
+import { childrenOf } from '../ast/index.js';
+/**
+ * Every call site in the file that a bar can pass without evaluating.
+ *
+ * Calls rather than nodes, because a call site is what 11.4 is about and what
+ * holds state. Kept as the nodes themselves rather than as spans, so the answer
+ * cannot drift from the tree the checker is walking.
+ */
+export function conditionalCalls(script) {
+    const found = new Set();
+    collect(script, false, found);
+    return found;
+}
+function collect(node, conditional, found) {
+    if (conditional && node.kind === 'call')
+        found.add(node);
+    for (const child of childrenOf(node)) {
+        const reach = reachOf(node, child);
+        collect(child, reach === 'apart' ? false : conditional || reach === 'sometimes', found);
+    }
+}
+function reachOf(node, child) {
+    switch (node.kind) {
+        // 9.5: only the taken arm is evaluated. Both arms and not only the true
+        // one, because a stateful call in the false arm advances only on the bars
+        // the condition failed, which is the same defect wearing the other sign.
+        case 'ternary':
+            return child === node.condition ? 'always' : 'sometimes';
+        // 9.4: `and` and `or` evaluate the right operand only when it can change
+        // the answer. Every other operator evaluates both sides.
+        case 'binary':
+            return child === node.right && (node.operator === 'and' || node.operator === 'or')
+                ? 'sometimes'
+                : 'always';
+        // 10.2: the first branch is reached on every bar the `if` is, and a branch
+        // after it only when every condition above it was false. A later condition
+        // is inside that, which is why the whole branch is answered for here and
+        // its body separately below.
+        case 'ifStatement':
+            return child === node.branches[0] ? 'always' : 'sometimes';
+        case 'ifBranch':
+            return child === node.condition ? 'always' : 'sometimes';
+        case 'elseBranch':
+            return 'always';
+        // 10.6: the same shape. The subject is evaluated once and the first arm's
+        // values are compared on every bar, but a later arm is reached only when
+        // nothing above it matched. Values within one arm are all evaluated.
+        case 'switchStatement':
+            return child === node.subject || child === node.cases[0] ? 'always' : 'sometimes';
+        case 'switchCase':
+            return child === node.body ? 'sometimes' : 'always';
+        case 'switchDefault':
+            return 'always';
+        // 10.3 and 10.4: a loop body may run no times at all, and what decides how
+        // many times it runs is evaluated before it does.
+        case 'forRangeStatement':
+        case 'forInStatement':
+        case 'whileStatement':
+            return child === node.body ? 'sometimes' : 'always';
+        // 11.4: state is allocated per call site, so the calls in a body belong to
+        // whoever calls the function.
+        case 'functionDeclaration':
+            return 'apart';
+        // Everything else evaluates every child it has, every time it is reached.
+        // A call evaluates each of its arguments, including the expression a `req`
+        // reads, which runs on every bar of the series it is read against.
+        case 'script':
+        case 'parameter':
+        case 'versionLine':
+        case 'scriptDeclaration':
+        case 'limitsLine':
+        case 'block':
+        case 'expressionStatement':
+        case 'assignment':
+        case 'varDeclaration':
+        case 'breakStatement':
+        case 'continueStatement':
+        case 'returnStatement':
+        case 'numberLiteral':
+        case 'stringLiteral':
+        case 'booleanLiteral':
+        case 'colorLiteral':
+        case 'noneLiteral':
+        case 'nameReference':
+        case 'missingExpression':
+        case 'arrayLiteral':
+        case 'grouping':
+        case 'unary':
+        case 'call':
+        case 'argument':
+        case 'index':
+        case 'member':
+        case 'namedType':
+        case 'seriesType':
+        case 'arrayType':
+        case 'name':
+            return 'always';
+    }
+}
+//# sourceMappingURL=conditional.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"conditional.js","sourceRoot":"","sources":["../../../src/core/check/conditional.ts"],"names":[],"mappings":"AA0BA,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAY7C;;;;;;GAMG;AACH,MAAM,UAAU,gBAAgB,CAAC,MAAc;IAC7C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAQ,CAAC;IAC9B,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IAC9B,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,OAAO,CAAC,IAAa,EAAE,WAAoB,EAAE,KAAgB;IACpE,IAAI,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACzD,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACrC,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACnC,OAAO,CAAC,KAAK,EAAE,KAAK,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,IAAI,KAAK,KAAK,WAAW,EAAE,KAAK,CAAC,CAAC;IAC1F,CAAC;AACH,CAAC;AAED,SAAS,OAAO,CAAC,IAAa,EAAE,KAAc;IAC5C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,wEAAwE;QACxE,0EAA0E;QAC1E,yEAAyE;QACzE,KAAK,SAAS;YACZ,OAAO,KAAK,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC;QAE3D,yEAAyE;QACzE,yDAAyD;QACzD,KAAK,QAAQ;YACX,OAAO,KAAK,KAAK,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,QAAQ,KAAK,KAAK,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC;gBAChF,CAAC,CAAC,WAAW;gBACb,CAAC,CAAC,QAAQ,CAAC;QAEf,2EAA2E;QAC3E,2EAA2E;QAC3E,yEAAyE;QACzE,6BAA6B;QAC7B,KAAK,aAAa;YAChB,OAAO,KAAK,KAAK,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC;QAC7D,KAAK,UAAU;YACb,OAAO,KAAK,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC;QAC3D,KAAK,YAAY;YACf,OAAO,QAAQ,CAAC;QAElB,0EAA0E;QAC1E,yEAAyE;QACzE,qEAAqE;QACrE,KAAK,iBAAiB;YACpB,OAAO,KAAK,KAAK,IAAI,CAAC,OAAO,IAAI,KAAK,KAAK,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC;QACpF,KAAK,YAAY;YACf,OAAO,KAAK,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC;QACtD,KAAK,eAAe;YAClB,OAAO,QAAQ,CAAC;QAElB,2EAA2E;QAC3E,kDAAkD;QAClD,KAAK,mBAAmB,CAAC;QACzB,KAAK,gBAAgB,CAAC;QACtB,KAAK,gBAAgB;YACnB,OAAO,KAAK,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC;QAEtD,2EAA2E;QAC3E,8BAA8B;QAC9B,KAAK,qBAAqB;YACxB,OAAO,OAAO,CAAC;QAEjB,0EAA0E;QAC1E,2EAA2E;QAC3E,mEAAmE;QACnE,KAAK,QAAQ,CAAC;QACd,KAAK,WAAW,CAAC;QACjB,KAAK,aAAa,CAAC;QACnB,KAAK,mBAAmB,CAAC;QACzB,KAAK,YAAY,CAAC;QAClB,KAAK,OAAO,CAAC;QACb,KAAK,qBAAqB,CAAC;QAC3B,KAAK,YAAY,CAAC;QAClB,KAAK,gBAAgB,CAAC;QACtB,KAAK,gBAAgB,CAAC;QACtB,KAAK,mBAAmB,CAAC;QACzB,KAAK,iBAAiB,CAAC;QACvB,KAAK,eAAe,CAAC;QACrB,KAAK,eAAe,CAAC;QACrB,KAAK,gBAAgB,CAAC;QACtB,KAAK,cAAc,CAAC;QACpB,KAAK,aAAa,CAAC;QACnB,KAAK,eAAe,CAAC;QACrB,KAAK,mBAAmB,CAAC;QACzB,KAAK,cAAc,CAAC;QACpB,KAAK,UAAU,CAAC;QAChB,KAAK,OAAO,CAAC;QACb,KAAK,MAAM,CAAC;QACZ,KAAK,UAAU,CAAC;QAChB,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,WAAW,CAAC;QACjB,KAAK,YAAY,CAAC;QAClB,KAAK,WAAW,CAAC;QACjB,KAAK,MAAM;YACT,OAAO,QAAQ,CAAC;IACpB,CAAC;AACH,CAAC"}

package/dist/core/check/constant.d.ts

@@ -0,0 +1,47 @@
+/**
+ * Whether an expression is settled before the first bar runs.
+ *
+ * `language.md` 13.2 states the rule once and every option, declaration field
+ * and marker argument follows it: a literal, arithmetic over literals, or a
+ * call to `input()`. A settings dialog and a legend are built before bar 0, so
+ * a field that depended on a bar could not be filled in at the moment the host
+ * needs it, and that is OS3003.
+ *
+ * An `input()` counts because it is resolved before bar 0 as well. The name a
+ * script assigns an input to counts for the same reason, which is what lets
+ * `table(position = corner)` work with `corner` declared above it.
+ *
+ * So does a colour built out of constants, which is the one call in the library
+ * whose result is settled before bar 0 as surely as a literal is. `fade(red, 50)`
+ * is the same four numbers on every bar, it is what a level and a marker are
+ * normally coloured with, and refusing it would leave a script no way to write a
+ * translucent colour in a field that has to be fixed.
+ */
+import type { Expression } from '../ast/index.js';
+import type { Checker } from './checker.js';
+/**
+ * The calls that produce a value before the first bar, `stdlib.md` 11.2.
+ *
+ * A colour built out of constants is a constant: `fade(red, 50)` is the same
+ * four numbers on every bar, and a level or a marker declared with one has a
+ * colour to carry. The list is here, beside the rule, because the compiler folds
+ * exactly these and the two have to be one list rather than two. A call this
+ * accepted and the emitter could not fold would reach a declaration field with
+ * nothing to write in it, and the compiler would have to refuse a script that
+ * the checker had already passed.
+ */
+export declare const FOLDABLE_CALLS: ReadonlySet<string>;
+export declare function isCompileTimeConstant(checker: Checker, expression: Expression): boolean;
+/**
+ * Whether the expression names one of the price series an `input` may default
+ * to, `stdlib.md` 13.1.
+ *
+ * A source input is the one place a bar series stands where a constant is
+ * otherwise required: `input(close, "Source")` does not read `close`, it names
+ * which column the study is to read, and the host resolves that before bar 0
+ * exactly as it resolves a number.
+ */
+export declare function isSourceName(expression: Expression): boolean;
+/** The dotted name a callee spells, or nothing when it is not a name at all. */
+export declare function calleeNameOf(callee: Expression): string | undefined;
+//# sourceMappingURL=constant.d.ts.map

package/dist/core/check/constant.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"constant.d.ts","sourceRoot":"","sources":["../../../src/core/check/constant.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAGlD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAM5C;;;;;;;;;;GAUG;AACH,eAAO,MAAM,cAAc,EAAE,WAAW,CAAC,MAAM,CAO7C,CAAC;AAEH,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,GAAG,OAAO,CA4CvF;AAED;;;;;;;;GAQG;AACH,wBAAgB,YAAY,CAAC,UAAU,EAAE,UAAU,GAAG,OAAO,CAG5D;AAiBD,gFAAgF;AAChF,wBAAgB,YAAY,CAAC,MAAM,EAAE,UAAU,GAAG,MAAM,GAAG,SAAS,CAEnE"}

package/dist/core/check/constant.js

@@ -0,0 +1,101 @@
+import { withoutGrouping } from '../ast/index.js';
+import { inputHeldBy } from './checked.js';
+import { BAR_SERIES } from './surface.js';
+/** The names `math` holds that are numbers rather than functions. */
+const CONSTANT_MEMBERS = new Set(['math.pi', 'math.e']);
+/**
+ * The calls that produce a value before the first bar, `stdlib.md` 11.2.
+ *
+ * A colour built out of constants is a constant: `fade(red, 50)` is the same
+ * four numbers on every bar, and a level or a marker declared with one has a
+ * colour to carry. The list is here, beside the rule, because the compiler folds
+ * exactly these and the two have to be one list rather than two. A call this
+ * accepted and the emitter could not fold would reach a declaration field with
+ * nothing to write in it, and the compiler would have to refuse a script that
+ * the checker had already passed.
+ */
+export const FOLDABLE_CALLS = new Set([
+    'rgb',
+    'rgba',
+    'fade',
+    'withAlpha',
+    'alpha',
+    'mix',
+]);
+export function isCompileTimeConstant(checker, expression) {
+    const inner = withoutGrouping(expression);
+    switch (inner.kind) {
+        case 'numberLiteral':
+        case 'stringLiteral':
+        case 'booleanLiteral':
+        case 'colorLiteral':
+        case 'noneLiteral':
+            return true;
+        case 'arrayLiteral':
+            return inner.elements.every((element) => isCompileTimeConstant(checker, element));
+        case 'unary':
+            return isCompileTimeConstant(checker, inner.operand);
+        case 'binary':
+            return (isCompileTimeConstant(checker, inner.left) && isCompileTimeConstant(checker, inner.right));
+        case 'ternary':
+            return (isCompileTimeConstant(checker, inner.condition) &&
+                isCompileTimeConstant(checker, inner.whenTrue) &&
+                isCompileTimeConstant(checker, inner.whenFalse));
+        case 'nameReference': {
+            const binding = checker.lookup(inner.name);
+            // A name that holds a setting is one, and a `var` initialised from one is
+            // not: the cell is the setting's value on the first bar and whatever the
+            // bar puts in it after that, so it is fixed before bar 0 only until
+            // something assigns to it (`language.md` 8.2 and 13.4).
+            if (binding !== undefined)
+                return inputHeldBy(binding) !== undefined;
+            // A colour name is an ordinary global of type `color` and never changes.
+            return checker.typeOf(inner).kind === 'color';
+        }
+        case 'member':
+            return CONSTANT_MEMBERS.has(memberPath(inner.object, inner.member.text));
+        case 'call': {
+            const name = calleeName(inner.callee);
+            if (name === 'input')
+                return true;
+            if (name === undefined || !FOLDABLE_CALLS.has(name))
+                return false;
+            return inner.args.every((argument) => isCompileTimeConstant(checker, argument.value));
+        }
+        default:
+            return false;
+    }
+}
+/**
+ * Whether the expression names one of the price series an `input` may default
+ * to, `stdlib.md` 13.1.
+ *
+ * A source input is the one place a bar series stands where a constant is
+ * otherwise required: `input(close, "Source")` does not read `close`, it names
+ * which column the study is to read, and the host resolves that before bar 0
+ * exactly as it resolves a number.
+ */
+export function isSourceName(expression) {
+    const inner = withoutGrouping(expression);
+    return inner.kind === 'nameReference' && BAR_SERIES.includes(inner.name);
+}
+function memberPath(object, member) {
+    const inner = withoutGrouping(object);
+    return inner.kind === 'nameReference' ? `${inner.name}.${member}` : member;
+}
+function calleeName(callee) {
+    const inner = withoutGrouping(callee);
+    if (inner.kind === 'nameReference')
+        return inner.name;
+    if (inner.kind === 'member') {
+        const object = withoutGrouping(inner.object);
+        if (object.kind === 'nameReference')
+            return `${object.name}.${inner.member.text}`;
+    }
+    return undefined;
+}
+/** The dotted name a callee spells, or nothing when it is not a name at all. */
+export function calleeNameOf(callee) {
+    return calleeName(callee);
+}
+//# sourceMappingURL=constant.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"constant.js","sourceRoot":"","sources":["../../../src/core/check/constant.ts"],"names":[],"mappings":"AAoBA,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAE3C,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAE1C,qEAAqE;AACrE,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAC;AAExD;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,cAAc,GAAwB,IAAI,GAAG,CAAC;IACzD,KAAK;IACL,MAAM;IACN,MAAM;IACN,WAAW;IACX,OAAO;IACP,KAAK;CACN,CAAC,CAAC;AAEH,MAAM,UAAU,qBAAqB,CAAC,OAAgB,EAAE,UAAsB;IAC5E,MAAM,KAAK,GAAG,eAAe,CAAC,UAAU,CAAC,CAAC;IAC1C,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,eAAe,CAAC;QACrB,KAAK,eAAe,CAAC;QACrB,KAAK,gBAAgB,CAAC;QACtB,KAAK,cAAc,CAAC;QACpB,KAAK,aAAa;YAChB,OAAO,IAAI,CAAC;QACd,KAAK,cAAc;YACjB,OAAO,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,qBAAqB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;QACpF,KAAK,OAAO;YACV,OAAO,qBAAqB,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;QACvD,KAAK,QAAQ;YACX,OAAO,CACL,qBAAqB,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,qBAAqB,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,CAC1F,CAAC;QACJ,KAAK,SAAS;YACZ,OAAO,CACL,qBAAqB,CAAC,OAAO,EAAE,KAAK,CAAC,SAAS,CAAC;gBAC/C,qBAAqB,CAAC,OAAO,EAAE,KAAK,CAAC,QAAQ,CAAC;gBAC9C,qBAAqB,CAAC,OAAO,EAAE,KAAK,CAAC,SAAS,CAAC,CAChD,CAAC;QACJ,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC3C,0EAA0E;YAC1E,yEAAyE;YACzE,oEAAoE;YACpE,wDAAwD;YACxD,IAAI,OAAO,KAAK,SAAS;gBAAE,OAAO,WAAW,CAAC,OAAO,CAAC,KAAK,SAAS,CAAC;YACrE,yEAAyE;YACzE,OAAO,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC;QAChD,CAAC;QACD,KAAK,QAAQ;YACX,OAAO,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;QAC3E,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YACtC,IAAI,IAAI,KAAK,OAAO;gBAAE,OAAO,IAAI,CAAC;YAClC,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,OAAO,KAAK,CAAC;YAClE,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,qBAAqB,CAAC,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;QACxF,CAAC;QACD;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,YAAY,CAAC,UAAsB;IACjD,MAAM,KAAK,GAAG,eAAe,CAAC,UAAU,CAAC,CAAC;IAC1C,OAAO,KAAK,CAAC,IAAI,KAAK,eAAe,IAAI,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;AAC3E,CAAC;AAED,SAAS,UAAU,CAAC,MAAkB,EAAE,MAAc;IACpD,MAAM,KAAK,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;IACtC,OAAO,KAAK,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,IAAI,MAAM,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;AAC7E,CAAC;AAED,SAAS,UAAU,CAAC,MAAkB;IACpC,MAAM,KAAK,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;IACtC,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,KAAK,CAAC,IAAI,CAAC;IACtD,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,eAAe,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAC7C,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe;YAAE,OAAO,GAAG,MAAM,CAAC,IAAI,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IACpF,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,YAAY,CAAC,MAAkB;IAC7C,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC;AAC5B,CAAC"}

package/dist/core/check/declaration.d.ts

@@ -0,0 +1,33 @@
+/**
+ * The three lines that describe the file rather than compute anything: the
+ * version line, the `study()` or `strategy()` declaration, and `limits()`.
+ *
+ * Every option of both declarations is written out here once, from
+ * `language.md` 13.2 and 13.3, which are the only place either is defined. They
+ * are written as ordinary library signatures so that the same argument checking
+ * runs over them as over any other call: the option that does not exist, the
+ * one given twice, the one given a bar-dependent value. A second, private way
+ * of checking arguments would be a second set of behaviours to keep in step.
+ */
+import type { LimitsLine, Script, ScriptDeclaration } from '../ast/index.js';
+import type { Checker } from './checker.js';
+/**
+ * Finds the file's declaration and reads the two options every later rule needs.
+ *
+ * This runs before anything else is checked, because OS7001 has to know whether
+ * the file is a strategy and OS8002 has to know whether it runs on a bar that
+ * is still moving, and both questions are asked of lines above the declaration
+ * as readily as of lines below it.
+ */
+export declare function readHeader(checker: Checker, script: Script): void;
+/** The declaration's own arguments, checked where the declaration is written. */
+export declare function checkDeclaration(checker: Checker, node: ScriptDeclaration): void;
+/**
+ * `limits()`, which appears at most once and immediately after the declaration.
+ *
+ * Its values are literal numbers rather than compile-time constants, because
+ * the host is asked whether it will run them before the program is loaded and
+ * an `input()` is not resolved that early.
+ */
+export declare function checkLimits(checker: Checker, node: LimitsLine, script: Script, seen: boolean): void;
+//# sourceMappingURL=declaration.d.ts.map

package/dist/core/check/declaration.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"declaration.d.ts","sourceRoot":"","sources":["../../../src/core/check/declaration.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,KAAK,EAAc,UAAU,EAAE,MAAM,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAKzF,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAoD5C;;;;;;;GAOG;AACH,wBAAgB,UAAU,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI,CA6BjE;AAED,iFAAiF;AACjF,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,iBAAiB,GAAG,IAAI,CAWhF;AAoCD;;;;;;GAMG;AACH,wBAAgB,WAAW,CACzB,OAAO,EAAE,OAAO,EAChB,IAAI,EAAE,UAAU,EAChB,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,OAAO,GACZ,IAAI,CAsBN"}