openalgo-script 0.1.0-alpha.1 → 0.2.0

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

@@ -0,0 +1,204 @@
+/**
+ * The shape of the standard library, as the checker needs to see it.
+ *
+ * `stdlib.md` is the specification of what each call does and what it costs in
+ * bars. What the checker needs from it is narrower: a name, the parameters it
+ * takes, the type it gives back, where it may be written and how many bars it
+ * delays its source by. That is what an entry here holds, and nothing here
+ * implements any of it: the numbers are computed under `src/core/stdlib/`.
+ *
+ * Entries are written as signature strings because a signature is what the
+ * specification's tables already show a reader, so the two can be compared by
+ * eye without translating one of them first. A string is parsed once, when this
+ * module loads, into the record below; there is no code built from text
+ * anywhere, and there cannot be, which is the rule the whole design rests on.
+ */
+import type { Type } from './types.js';
+/**
+ * How a call's own warmup relates to the warmup of what it was given.
+ *
+ * `delay` and `params` both add bars to the source's own warmup, which is what
+ * makes warmups compose: `sma(ema(close, 10), 10)` is absent until bar 18.
+ * `params` reads the added bars off the call's own arguments, so it can only
+ * be exact when those arguments are literal numbers, and `exact` says whether
+ * the formula in `stdlib.md` is reproduced here or only bounded below.
+ */
+export type WarmupRule = {
+    readonly kind: 'delay';
+    readonly bars: number;
+} | {
+    readonly kind: 'params';
+    readonly params: readonly string[];
+    readonly scale: number;
+    readonly add: number;
+    readonly exact: boolean;
+}
+/** A value on bar 0 however late its arguments are: `isNone` is the example. */
+ | {
+    readonly kind: 'total';
+}
+/** The warmup of one named argument, and of nothing else. */
+ | {
+    readonly kind: 'argument';
+    readonly param: string;
+}
+/** Present as soon as the earlier of these arguments is: `orElse`. */
+ | {
+    readonly kind: 'either';
+    readonly params: readonly string[];
+}
+/** Decided by the data rather than by a length, so a floor is all there is. */
+ | {
+    readonly kind: 'data';
+};
+/**
+ * A whole number argument and the range it accepts, for OS3004.
+ *
+ * The bounds are numbers and the sentence is derived from them, so the message
+ * a reader sees and the test the checker runs cannot say different things. A
+ * fractional length is refused rather than truncated (`language.md` 5.1): a
+ * length of 14.5 is a bug in the script and rounding it hides the bug.
+ */
+export interface WholeRange {
+    readonly text: string;
+    readonly min: number | undefined;
+    readonly max: number | undefined;
+}
+export declare function wholeRange(min?: number, max?: number): WholeRange;
+export interface LibraryParameter {
+    readonly name: string;
+    readonly type: Type;
+    /** Whether the entry gives it a default. A missing required one is OS3012. */
+    readonly optional: boolean;
+    /**
+     * The default, written as `stdlib.md`'s own tables write it, or nothing.
+     *
+     * An omitted argument is filled from this text, so the default is a
+     * compile-time fact and no engine carries a table of them
+     * (`compiled-program.md` 4.10). The text is a literal (`14`, `"ema"`,
+     * `false`, `none`) or a library name the compiler reads at the call
+     * (`hlc3`, `chart.timezone`); the emitter decides which, because a default
+     * is a value and values are the emitter's.
+     *
+     * **Nothing here is not "no default".** It means the specification states no
+     * value for this parameter: either it states words rather than a value, as
+     * `leg = the only leg` does, or it states nothing at all. Both are recorded
+     * with their reason in `spec/default-exceptions.json`, and
+     * `scripts/check-defaults.mjs` refuses any optional parameter that is in
+     * neither that file nor this field. The two together are what stop a default
+     * from being dropped again: an argument omitted from a call used to reach an
+     * engine as absence, every function built on it answered absence on every
+     * bar, and nothing anywhere reported it.
+     */
+    readonly defaultText: string | undefined;
+}
+export interface LibraryEntry {
+    /** `ema`, or `draw.line` with its namespace, exactly as a script writes it. */
+    readonly name: string;
+    /** A value such as `close` is read bare; a function is called. */
+    readonly callable: boolean;
+    readonly parameters: readonly LibraryParameter[];
+    readonly returns: Type;
+    readonly warmup: WarmupRule;
+    /**
+     * A rule per output, for an entry whose outputs warm up at different bars.
+     *
+     * `stdlib.md` 2.3 gives each element of a multi-output call its own warmup,
+     * and several of them differ: a signal line is later than the line it
+     * smooths. Empty where the specification states one bar for every element,
+     * because then `warmup` above is already that bar and a second copy of it
+     * would be a fact stated twice.
+     */
+    readonly elements: readonly WarmupRule[];
+    /** Holds per-bar state, so a call inside a branch is OS8001. */
+    readonly stateful: boolean;
+    /** Top level only: OS3006, or OS3007 for `input`. */
+    readonly topLevel: boolean;
+    /** Available only in a `strategy()` file: OS7001. */
+    readonly strategyOnly: boolean;
+    /** Named so the surface is legible, and not in this release: OS2020. */
+    readonly planned: boolean;
+    /** Arguments with a closed set of accepted strings: OS3008. */
+    readonly values: Readonly<Record<string, readonly string[]>>;
+    /**
+     * Arguments that name something the file declares, where this release has no
+     * declaration that could fill the set: OS3023.
+     *
+     * Different from `values` and from `planned`, and the difference is what the
+     * reader is told. `values` holds an argument to a set the language fixes, and
+     * it can only judge a value written out as a literal. `planned` is about the
+     * whole name. This is about an argument whose accepted values are whatever
+     * the file declared, in a release where nothing can declare one: the value
+     * does not come into it, so a computed name is refused exactly as a written
+     * one is, and the message says the file declares none rather than listing an
+     * empty set.
+     */
+    readonly undeclared: readonly string[];
+    /** Arguments that must be a whole number, with the range for OS3004. */
+    readonly whole: Readonly<Record<string, WholeRange>>;
+    /** Arguments read once before bar 0, so a bar-dependent one is OS3003. */
+    readonly constant: readonly string[];
+    /** Pairs that set the same thing two ways, so giving both is OS3010. */
+    readonly conflicts: readonly (readonly [string, string])[];
+}
+export interface EntryOptions {
+    readonly warmup?: WarmupRule;
+    readonly elements?: readonly WarmupRule[];
+    readonly stateful?: true;
+    readonly topLevel?: true;
+    readonly strategyOnly?: true;
+    readonly planned?: true;
+    readonly values?: Readonly<Record<string, readonly string[]>>;
+    readonly undeclared?: readonly string[];
+    readonly whole?: Readonly<Record<string, WholeRange>>;
+    readonly constant?: readonly string[];
+    readonly conflicts?: readonly (readonly [string, string])[];
+}
+/**
+ * A type as the signature strings spell it.
+ *
+ * `any` and the single letters are not types of the language. `any` is a
+ * parameter that takes whatever it is given, which is what `isNone` and `text`
+ * want. A single letter is a stand-in carried from one parameter to another, so
+ * that `push(arr, v)` can say that `v` is whatever `arr` holds and `orElse`
+ * can say it gives back what it was given. Both are resolved at the call site
+ * and neither ever reaches a name's type.
+ *
+ * `line | box` is not either of those and is not a general union: it is the set
+ * of object kinds one parameter accepts, which is what a `draw` setter takes,
+ * and it is checked like any other declared type. `any` used to stand there,
+ * and an `any` that means "one of these two" accepts a label and a number as
+ * readily, which is the defect it is written to end.
+ */
+export declare const ANY: Type;
+/**
+ * One entry, from `name(param: type, optional?: type) -> result`.
+ *
+ * A name with no bracket is a value a script reads bare, such as `close` or
+ * `bar.index`. A `?` after a parameter name means the library gives it a
+ * default, and `= value` after the type says what that default is, written the
+ * way `stdlib.md`'s tables write it so the two can still be compared by eye.
+ * The text is carried, never interpreted here: the emitter turns it into a
+ * value, because that is where a default belongs (4.10).
+ */
+export declare function entry(signature: string, options?: EntryOptions): LibraryEntry;
+/** `bar `len - 1`` and its relatives, the commonest warmup shape in the library. */
+export declare function fromLength(param: string, add: number, scale?: number): WarmupRule;
+/** A sum of lengths, as `bar `len + smoothK - 2`` and its relatives state it. */
+export declare function fromLengths(params: readonly string[], add: number): WarmupRule;
+/** A warmup this module bounds below rather than reproducing the formula for. */
+export declare function atLeastLength(params: readonly string[], add?: number): WarmupRule;
+export declare const DELAY_ZERO: WarmupRule;
+export declare const TOTAL: WarmupRule;
+export declare const DATA_DRIVEN: WarmupRule;
+export declare function delayBars(bars: number): WarmupRule;
+/**
+ * Every entry of a name, in the order they were declared.
+ *
+ * A bare name may carry more than one signature (stdlib.md 2.2), so a lookup
+ * answers with a list and the call site picks by arity and by argument type.
+ * There is no run-time dispatch anywhere: the choice is made here, once.
+ */
+export type LibraryIndex = ReadonlyMap<string, readonly LibraryEntry[]>;
+export declare function indexOf(entries: readonly LibraryEntry[]): LibraryIndex;
+//# sourceMappingURL=library.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"library.d.ts","sourceRoot":"","sources":["../../../src/core/check/library.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,KAAK,EAA0B,IAAI,EAAE,MAAM,YAAY,CAAC;AAgB/D;;;;;;;;GAQG;AACH,MAAM,MAAM,UAAU,GAClB;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACjD;IACE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;CACzB;AACH,gFAAgF;GAC9E;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE;AAC5B,6DAA6D;GAC3D;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE;AACvD,sEAAsE;GACpE;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE;AACjE,+EAA+E;GAC7E;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAE9B;;;;;;;GAOG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAAC;IACjC,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAAC;CAClC;AAED,wBAAgB,UAAU,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,MAAM,GAAG,UAAU,CAUjE;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,8EAA8E;IAC9E,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B;;;;;;;;;;;;;;;;;;;OAmBG;IACH,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,SAAS,CAAC;CAC1C;AAED,MAAM,WAAW,YAAY;IAC3B,+EAA+E;IAC/E,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,kEAAkE;IAClE,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACjD,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B;;;;;;;;OAQG;IACH,QAAQ,CAAC,QAAQ,EAAE,SAAS,UAAU,EAAE,CAAC;IACzC,gEAAgE;IAChE,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,qDAAqD;IACrD,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,qDAAqD;IACrD,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC;IAC/B,wEAAwE;IACxE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,+DAA+D;IAC/D,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,CAAC;IAC7D;;;;;;;;;;;;OAYG;IACH,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,wEAAwE;IACxE,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;IACrD,0EAA0E;IAC1E,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,wEAAwE;IACxE,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC;CAC5D;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,MAAM,CAAC,EAAE,UAAU,CAAC;IAC7B,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;IAC1C,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;IACzB,QAAQ,CAAC,YAAY,CAAC,EAAE,IAAI,CAAC;IAC7B,QAAQ,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;IACxB,QAAQ,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,CAAC;IAC9D,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;IACtD,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC;CAC7D;AAKD;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,GAAG,EAAE,IAAc,CAAC;AAuEjC;;;;;;;;;GASG;AACH,wBAAgB,KAAK,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,GAAE,YAAiB,GAAG,YAAY,CAuDjF;AAED,oFAAoF;AACpF,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,SAAI,GAAG,UAAU,CAE5E;AAED,iFAAiF;AACjF,wBAAgB,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,EAAE,GAAG,EAAE,MAAM,GAAG,UAAU,CAE9E;AAED,iFAAiF;AACjF,wBAAgB,aAAa,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,EAAE,GAAG,SAAI,GAAG,UAAU,CAE5E;AAED,eAAO,MAAM,UAAU,EAAE,UAAuC,CAAC;AACjE,eAAO,MAAM,KAAK,EAAE,UAA8B,CAAC;AACnD,eAAO,MAAM,WAAW,EAAE,UAA6B,CAAC;AAExD,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,CAElD;AAED;;;;;;GAMG;AACH,MAAM,MAAM,YAAY,GAAG,WAAW,CAAC,MAAM,EAAE,SAAS,YAAY,EAAE,CAAC,CAAC;AAExE,wBAAgB,OAAO,CAAC,OAAO,EAAE,SAAS,YAAY,EAAE,GAAG,YAAY,CAQtE"}

package/dist/core/check/library.js

@@ -0,0 +1,198 @@
+import { BOOL, COLOR, NONE, NOTHING, NUMBER, STRING, UNKNOWN, arrayOf, handleType, objectType, objectsType, seriesOf, } from './types.js';
+export function wholeRange(min, max) {
+    const text = min !== undefined && max !== undefined
+        ? `${min} to ${max}`
+        : min !== undefined
+            ? `${min} or more`
+            : max !== undefined
+                ? `${max} or less`
+                : 'with no fractional part';
+    return { text, min, max };
+}
+const OBJECT_NAMES = ['line', 'label', 'box', 'polyline', 'table'];
+const HANDLE_NAMES = ['plot', 'fill', 'level'];
+/**
+ * A type as the signature strings spell it.
+ *
+ * `any` and the single letters are not types of the language. `any` is a
+ * parameter that takes whatever it is given, which is what `isNone` and `text`
+ * want. A single letter is a stand-in carried from one parameter to another, so
+ * that `push(arr, v)` can say that `v` is whatever `arr` holds and `orElse`
+ * can say it gives back what it was given. Both are resolved at the call site
+ * and neither ever reaches a name's type.
+ *
+ * `line | box` is not either of those and is not a general union: it is the set
+ * of object kinds one parameter accepts, which is what a `draw` setter takes,
+ * and it is checked like any other declared type. `any` used to stand there,
+ * and an `any` that means "one of these two" accepts a label and a number as
+ * readily, which is the defect it is written to end.
+ */
+export const ANY = UNKNOWN;
+const VARIABLE = /^[A-Z]$/;
+function parseType(text) {
+    const trimmed = text.trim();
+    if (trimmed.startsWith('series '))
+        return seriesOf(parseType(trimmed.slice(7)));
+    if (trimmed.startsWith('array<') && trimmed.endsWith('>')) {
+        return arrayOf(parseType(trimmed.slice(6, -1)));
+    }
+    if (trimmed.includes('|'))
+        return parseObjectSet(trimmed);
+    switch (trimmed) {
+        case 'number':
+            return NUMBER;
+        case 'string':
+            return STRING;
+        case 'bool':
+            return BOOL;
+        case 'color':
+            return COLOR;
+        case 'none':
+            return NONE;
+        case 'nothing':
+            return NOTHING;
+        case 'any':
+            return ANY;
+        default:
+            if (VARIABLE.test(trimmed))
+                return { kind: 'variable', name: trimmed };
+            if (OBJECT_NAMES.includes(trimmed))
+                return objectType(trimmed);
+            if (HANDLE_NAMES.includes(trimmed))
+                return handleType(trimmed);
+            throw new Error(`library signature names no such type: ${trimmed}`);
+    }
+}
+/**
+ * `line | box`, as a set of object kinds.
+ *
+ * Every member has to be an object kind, there have to be two or more of them,
+ * and no kind may be written twice: each of those is a signature somebody wrote
+ * by hand, and a set that quietly accepted a misspelling would be a parameter
+ * that accepts less than the specification says while reading as though it
+ * accepts it.
+ */
+function parseObjectSet(text) {
+    const kinds = text.split('|').map((one) => one.trim());
+    const known = kinds.every((one) => OBJECT_NAMES.includes(one));
+    const distinct = new Set(kinds).size === kinds.length;
+    if (!known || !distinct || kinds.length < 2) {
+        throw new Error(`library signature names no such set of object types: ${text}`);
+    }
+    return objectsType(kinds);
+}
+/** Split on commas that are not inside angle brackets. */
+function splitParameters(text) {
+    const parts = [];
+    let depth = 0;
+    let start = 0;
+    for (let i = 0; i < text.length; i += 1) {
+        const ch = text[i];
+        if (ch === '<')
+            depth += 1;
+        else if (ch === '>')
+            depth -= 1;
+        else if (ch === ',' && depth === 0) {
+            parts.push(text.slice(start, i));
+            start = i + 1;
+        }
+    }
+    parts.push(text.slice(start));
+    return parts.map((part) => part.trim()).filter((part) => part.length > 0);
+}
+/**
+ * One entry, from `name(param: type, optional?: type) -> result`.
+ *
+ * A name with no bracket is a value a script reads bare, such as `close` or
+ * `bar.index`. A `?` after a parameter name means the library gives it a
+ * default, and `= value` after the type says what that default is, written the
+ * way `stdlib.md`'s tables write it so the two can still be compared by eye.
+ * The text is carried, never interpreted here: the emitter turns it into a
+ * value, because that is where a default belongs (4.10).
+ */
+export function entry(signature, options = {}) {
+    const arrow = signature.indexOf('->');
+    if (arrow < 0)
+        throw new Error(`library signature has no result type: ${signature}`);
+    const head = signature.slice(0, arrow).trim();
+    const returns = parseType(signature.slice(arrow + 2));
+    const open = head.indexOf('(');
+    const callable = open >= 0;
+    const name = callable ? head.slice(0, open).trim() : head;
+    const parameters = [];
+    if (callable) {
+        if (!head.endsWith(')'))
+            throw new Error(`library signature is not closed: ${signature}`);
+        for (const part of splitParameters(head.slice(open + 1, -1))) {
+            const colon = part.indexOf(':');
+            if (colon < 0)
+                throw new Error(`library parameter has no type: ${part}`);
+            const written = part.slice(0, colon).trim();
+            const optional = written.endsWith('?');
+            const rest = part.slice(colon + 1);
+            const equals = rest.indexOf('=');
+            const defaultText = equals < 0 ? undefined : rest.slice(equals + 1).trim();
+            if (defaultText !== undefined && !optional) {
+                throw new Error(`library parameter has a default and no question mark: ${part}`);
+            }
+            // An empty default is a signature that was split somewhere unintended,
+            // and it would reach the emitter as a value nobody wrote.
+            if (defaultText !== undefined && defaultText.length === 0) {
+                throw new Error(`library parameter has an empty default: ${part}`);
+            }
+            parameters.push({
+                name: optional ? written.slice(0, -1) : written,
+                type: parseType(equals < 0 ? rest : rest.slice(0, equals)),
+                optional,
+                defaultText,
+            });
+        }
+    }
+    return {
+        name,
+        callable,
+        parameters,
+        returns,
+        warmup: options.warmup ?? { kind: 'delay', bars: 0 },
+        elements: options.elements ?? [],
+        stateful: options.stateful === true,
+        topLevel: options.topLevel === true,
+        strategyOnly: options.strategyOnly === true,
+        planned: options.planned === true,
+        values: options.values ?? {},
+        undeclared: options.undeclared ?? [],
+        whole: options.whole ?? {},
+        constant: options.constant ?? [],
+        conflicts: options.conflicts ?? [],
+    };
+}
+/** `bar `len - 1`` and its relatives, the commonest warmup shape in the library. */
+export function fromLength(param, add, scale = 1) {
+    return { kind: 'params', params: [param], scale, add, exact: true };
+}
+/** A sum of lengths, as `bar `len + smoothK - 2`` and its relatives state it. */
+export function fromLengths(params, add) {
+    return { kind: 'params', params, scale: 1, add, exact: true };
+}
+/** A warmup this module bounds below rather than reproducing the formula for. */
+export function atLeastLength(params, add = 0) {
+    return { kind: 'params', params, scale: 1, add, exact: false };
+}
+export const DELAY_ZERO = { kind: 'delay', bars: 0 };
+export const TOTAL = { kind: 'total' };
+export const DATA_DRIVEN = { kind: 'data' };
+export function delayBars(bars) {
+    return { kind: 'delay', bars };
+}
+export function indexOf(entries) {
+    const index = new Map();
+    for (const one of entries) {
+        const existing = index.get(one.name);
+        if (existing === undefined)
+            index.set(one.name, [one]);
+        else
+            existing.push(one);
+    }
+    return index;
+}
+//# sourceMappingURL=library.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"library.js","sourceRoot":"","sources":["../../../src/core/check/library.ts"],"names":[],"mappings":"AAgBA,OAAO,EACL,IAAI,EACJ,KAAK,EACL,IAAI,EACJ,OAAO,EACP,MAAM,EACN,MAAM,EACN,OAAO,EACP,OAAO,EACP,UAAU,EACV,UAAU,EACV,WAAW,EACX,QAAQ,GACT,MAAM,YAAY,CAAC;AA2CpB,MAAM,UAAU,UAAU,CAAC,GAAY,EAAE,GAAY;IACnD,MAAM,IAAI,GACR,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS;QACpC,CAAC,CAAC,GAAG,GAAG,OAAO,GAAG,EAAE;QACpB,CAAC,CAAC,GAAG,KAAK,SAAS;YACjB,CAAC,CAAC,GAAG,GAAG,UAAU;YAClB,CAAC,CAAC,GAAG,KAAK,SAAS;gBACjB,CAAC,CAAC,GAAG,GAAG,UAAU;gBAClB,CAAC,CAAC,yBAAyB,CAAC;IACpC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AAC5B,CAAC;AA8FD,MAAM,YAAY,GAAsB,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;AACtF,MAAM,YAAY,GAAsB,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;AAElE;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,GAAG,GAAS,OAAO,CAAC;AAEjC,MAAM,QAAQ,GAAG,SAAS,CAAC;AAE3B,SAAS,SAAS,CAAC,IAAY;IAC7B,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IAC5B,IAAI,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC;QAAE,OAAO,QAAQ,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChF,IAAI,OAAO,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC1D,OAAO,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC;IACD,IAAI,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,cAAc,CAAC,OAAO,CAAC,CAAC;IAC1D,QAAQ,OAAO,EAAE,CAAC;QAChB,KAAK,QAAQ;YACX,OAAO,MAAM,CAAC;QAChB,KAAK,QAAQ;YACX,OAAO,MAAM,CAAC;QAChB,KAAK,MAAM;YACT,OAAO,IAAI,CAAC;QACd,KAAK,OAAO;YACV,OAAO,KAAK,CAAC;QACf,KAAK,MAAM;YACT,OAAO,IAAI,CAAC;QACd,KAAK,SAAS;YACZ,OAAO,OAAO,CAAC;QACjB,KAAK,KAAK;YACR,OAAO,GAAG,CAAC;QACb;YACE,IAAI,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC;gBAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;YACvE,IAAI,YAAY,CAAC,QAAQ,CAAC,OAAO,CAAC;gBAAE,OAAO,UAAU,CAAC,OAAqB,CAAC,CAAC;YAC7E,IAAI,YAAY,CAAC,QAAQ,CAAC,OAAO,CAAC;gBAAE,OAAO,UAAU,CAAC,OAAqB,CAAC,CAAC;YAC7E,MAAM,IAAI,KAAK,CAAC,yCAAyC,OAAO,EAAE,CAAC,CAAC;IACxE,CAAC;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,cAAc,CAAC,IAAY;IAClC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;IACvD,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/D,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,CAAC;IACtD,IAAI,CAAC,KAAK,IAAI,CAAC,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5C,MAAM,IAAI,KAAK,CAAC,wDAAwD,IAAI,EAAE,CAAC,CAAC;IAClF,CAAC;IACD,OAAO,WAAW,CAAC,KAAqB,CAAC,CAAC;AAC5C,CAAC;AAED,0DAA0D;AAC1D,SAAS,eAAe,CAAC,IAAY;IACnC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACnB,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,IAAI,CAAC,CAAC;aACtB,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,IAAI,CAAC,CAAC;aAC3B,IAAI,EAAE,KAAK,GAAG,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YACnC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;YACjC,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC;QAChB,CAAC;IACH,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IAC9B,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AAC5E,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,KAAK,CAAC,SAAiB,EAAE,UAAwB,EAAE;IACjE,MAAM,KAAK,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,KAAK,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,yCAAyC,SAAS,EAAE,CAAC,CAAC;IACrF,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;IAC9C,MAAM,OAAO,GAAG,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;IAEtD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC/B,MAAM,QAAQ,GAAG,IAAI,IAAI,CAAC,CAAC;IAC3B,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IAC1D,MAAM,UAAU,GAAuB,EAAE,CAAC;IAE1C,IAAI,QAAQ,EAAE,CAAC;QACb,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,SAAS,EAAE,CAAC,CAAC;QAC1F,KAAK,MAAM,IAAI,IAAI,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7D,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YAChC,IAAI,KAAK,GAAG,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,IAAI,EAAE,CAAC,CAAC;YACzE,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;YAC5C,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;YACvC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YACnC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YACjC,MAAM,WAAW,GAAG,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YAC3E,IAAI,WAAW,KAAK,SAAS,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAC3C,MAAM,IAAI,KAAK,CAAC,yDAAyD,IAAI,EAAE,CAAC,CAAC;YACnF,CAAC;YACD,uEAAuE;YACvE,0DAA0D;YAC1D,IAAI,WAAW,KAAK,SAAS,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC1D,MAAM,IAAI,KAAK,CAAC,2CAA2C,IAAI,EAAE,CAAC,CAAC;YACrE,CAAC;YACD,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO;gBAC/C,IAAI,EAAE,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;gBAC1D,QAAQ;gBACR,WAAW;aACZ,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO;QACL,IAAI;QACJ,QAAQ;QACR,UAAU;QACV,OAAO;QACP,MAAM,EAAE,OAAO,CAAC,MAAM,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE;QACpD,QAAQ,EAAE,OAAO,CAAC,QAAQ,IAAI,EAAE;QAChC,QAAQ,EAAE,OAAO,CAAC,QAAQ,KAAK,IAAI;QACnC,QAAQ,EAAE,OAAO,CAAC,QAAQ,KAAK,IAAI;QACnC,YAAY,EAAE,OAAO,CAAC,YAAY,KAAK,IAAI;QAC3C,OAAO,EAAE,OAAO,CAAC,OAAO,KAAK,IAAI;QACjC,MAAM,EAAE,OAAO,CAAC,MAAM,IAAI,EAAE;QAC5B,UAAU,EAAE,OAAO,CAAC,UAAU,IAAI,EAAE;QACpC,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,EAAE;QAC1B,QAAQ,EAAE,OAAO,CAAC,QAAQ,IAAI,EAAE;QAChC,SAAS,EAAE,OAAO,CAAC,SAAS,IAAI,EAAE;KACnC,CAAC;AACJ,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,UAAU,CAAC,KAAa,EAAE,GAAW,EAAE,KAAK,GAAG,CAAC;IAC9D,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AACtE,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,WAAW,CAAC,MAAyB,EAAE,GAAW;IAChE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AAChE,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,aAAa,CAAC,MAAyB,EAAE,GAAG,GAAG,CAAC;IAC9D,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AACjE,CAAC;AAED,MAAM,CAAC,MAAM,UAAU,GAAe,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;AACjE,MAAM,CAAC,MAAM,KAAK,GAAe,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AACnD,MAAM,CAAC,MAAM,WAAW,GAAe,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAExD,MAAM,UAAU,SAAS,CAAC,IAAY;IACpC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AACjC,CAAC;AAWD,MAAM,UAAU,OAAO,CAAC,OAAgC;IACtD,MAAM,KAAK,GAAG,IAAI,GAAG,EAA0B,CAAC;IAChD,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,QAAQ,KAAK,SAAS;YAAE,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;;YAClD,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC1B,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

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

@@ -0,0 +1,19 @@
+/**
+ * The value behind an expression that was written out.
+ *
+ * Several rules only apply to a value the source states rather than computes: a
+ * length has to be a whole number when it is written as one, a `style` has to
+ * be one of a closed set when it is written as a string, and a warmup is exact
+ * only when every length on the path was a number in the file. Each of those
+ * asks the same two questions, and asking them in one place is what keeps the
+ * answers the same.
+ *
+ * A written negative is a unary minus over a literal rather than a literal, so
+ * it is read through here as well. Without that, `step = -1` would look like
+ * something computed and a loop that counts downwards would lose the one check
+ * that says it terminates.
+ */
+import type { Expression } from '../ast/index.js';
+export declare function literalNumber(expression: Expression | undefined): number | undefined;
+export declare function literalString(expression: Expression | undefined): string | undefined;
+//# sourceMappingURL=literals.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"literals.d.ts","sourceRoot":"","sources":["../../../src/core/check/literals.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAGlD,wBAAgB,aAAa,CAAC,UAAU,EAAE,UAAU,GAAG,SAAS,GAAG,MAAM,GAAG,SAAS,CAUpF;AAED,wBAAgB,aAAa,CAAC,UAAU,EAAE,UAAU,GAAG,SAAS,GAAG,MAAM,GAAG,SAAS,CAIpF"}

package/dist/core/check/literals.js

@@ -0,0 +1,22 @@
+import { withoutGrouping } from '../ast/index.js';
+export function literalNumber(expression) {
+    if (expression === undefined)
+        return undefined;
+    const inner = withoutGrouping(expression);
+    if (inner.kind === 'numberLiteral')
+        return inner.value;
+    if (inner.kind === 'unary' && (inner.operator === '-' || inner.operator === '+')) {
+        const operand = literalNumber(inner.operand);
+        if (operand === undefined)
+            return undefined;
+        return inner.operator === '-' ? -operand : operand;
+    }
+    return undefined;
+}
+export function literalString(expression) {
+    if (expression === undefined)
+        return undefined;
+    const inner = withoutGrouping(expression);
+    return inner.kind === 'stringLiteral' ? inner.value : undefined;
+}
+//# sourceMappingURL=literals.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"literals.js","sourceRoot":"","sources":["../../../src/core/check/literals.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAElD,MAAM,UAAU,aAAa,CAAC,UAAkC;IAC9D,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC/C,MAAM,KAAK,GAAG,eAAe,CAAC,UAAU,CAAC,CAAC;IAC1C,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,KAAK,CAAC,KAAK,CAAC;IACvD,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,KAAK,GAAG,IAAI,KAAK,CAAC,QAAQ,KAAK,GAAG,CAAC,EAAE,CAAC;QACjF,MAAM,OAAO,GAAG,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC7C,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC5C,OAAO,KAAK,CAAC,QAAQ,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;IACrD,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,UAAkC;IAC9D,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC/C,MAAM,KAAK,GAAG,eAAe,CAAC,UAAU,CAAC,CAAC;IAC1C,OAAO,KAAK,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AAClE,CAAC"}

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

@@ -0,0 +1,31 @@
+import type { Checker } from './checker.js';
+import type { CheckedCall } from './checked.js';
+import type { LibraryEntry } from './library.js';
+export declare function recordOutput(checker: Checker, entry: LibraryEntry, checked: CheckedCall): void;
+export declare function reportCallWarnings(checker: Checker, entry: LibraryEntry, checked: CheckedCall): void;
+/**
+ * The name one watched condition is known by, `stdlib.md` 16.1.
+ *
+ * It is the `id` the script wrote, and where there is none to write down, one
+ * derived from the line the call sits on. The derivation is here, once, because
+ * the checker reports two alerts that would land under one name and the emitter
+ * writes the name into `outputs.alerts[].key`, and two spellings of it would be
+ * two different answers to "which subscription is this".
+ *
+ * An id is written down only when it is a literal. One taken from an `input()`
+ * is a name that changes when a setting changes, and a subscription keyed on it
+ * would stop matching the moment a user touched the dialog, so it is derived
+ * like an absent one and OS8008 says so.
+ */
+export declare function alertKey(id: string | undefined, line: number): string;
+/**
+ * OS3017 over the watched conditions: two alerts that would share one name.
+ *
+ * A subscription is keyed by the name, so two entries under one name leave the
+ * host with two conditions and one row: whichever it keeps, the other fires
+ * nothing and nothing says which of the two the user subscribed to. The check
+ * runs over the derived name as well as the written one, because an id somebody
+ * writes by hand can collide with a derived one.
+ */
+export declare function reportRepeatedAlertIds(checker: Checker): void;
+//# sourceMappingURL=outputs.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"outputs.d.ts","sourceRoot":"","sources":["../../../src/core/check/outputs.ts"],"names":[],"mappings":"AAaA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAKjD,wBAAgB,YAAY,CAC1B,OAAO,EAAE,OAAO,EAChB,KAAK,EAAE,YAAY,EACnB,OAAO,EAAE,WAAW,GACnB,IAAI,CAqBN;AAED,wBAAgB,kBAAkB,CAChC,OAAO,EAAE,OAAO,EAChB,KAAK,EAAE,YAAY,EACnB,OAAO,EAAE,WAAW,GACnB,IAAI,CAeN;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,QAAQ,CAAC,EAAE,EAAE,MAAM,GAAG,SAAS,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAErE;AAQD;;;;;;;;GAQG;AACH,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAa7D"}

package/dist/core/check/outputs.js

@@ -0,0 +1,113 @@
+import { literalString } from './literals.js';
+const OUTPUT_FORMS = new Set(['plot', 'plotCandles', 'fill', 'level', 'table']);
+export function recordOutput(checker, entry, checked) {
+    if (!OUTPUT_FORMS.has(entry.name))
+        return;
+    const form = entry.name;
+    const title = literalString(argumentFor(entry, checked, 'title')?.value) ?? '';
+    const value = argumentFor(entry, checked, 'value') ?? argumentFor(entry, checked, 'price');
+    const warmup = value === undefined ? checked.warmup : checker.warmupOf(value.value);
+    checker.outputs.push({
+        id: checker.outputs.length,
+        form,
+        title,
+        call: checked.call,
+        warmup,
+        span: checked.call.span,
+    });
+    // A column whose value is absent on every bar draws nothing at all, and a
+    // reader deserves to know that before they run the study and wonder why.
+    if ((form === 'plot' || form === 'plotCandles') && warmup.kind === 'never') {
+        checker.report('OS8009', checked.call.span, { title: quoted(title) });
+    }
+}
+export function reportCallWarnings(checker, entry, checked) {
+    if (entry.name === 'alert') {
+        reportAlertWarnings(checker, entry, checked);
+        return;
+    }
+    // precision and format on a plot set the formatting of the price scale the
+    // plot maps to, so setting them over the price pane reformats the
+    // instrument's own axis, which is almost never what was wanted.
+    if (entry.name !== 'plot' || checker.declaration?.overlay !== true)
+        return;
+    const title = quoted(literalString(argumentFor(entry, checked, 'title')?.value) ?? '');
+    for (const option of ['precision', 'format']) {
+        if (argumentFor(entry, checked, option) === undefined)
+            continue;
+        checker.report('OS8007', checked.call.span, { title, option });
+    }
+}
+/**
+ * The name one watched condition is known by, `stdlib.md` 16.1.
+ *
+ * It is the `id` the script wrote, and where there is none to write down, one
+ * derived from the line the call sits on. The derivation is here, once, because
+ * the checker reports two alerts that would land under one name and the emitter
+ * writes the name into `outputs.alerts[].key`, and two spellings of it would be
+ * two different answers to "which subscription is this".
+ *
+ * An id is written down only when it is a literal. One taken from an `input()`
+ * is a name that changes when a setting changes, and a subscription keyed on it
+ * would stop matching the moment a user touched the dialog, so it is derived
+ * like an absent one and OS8008 says so.
+ */
+export function alertKey(id, line) {
+    return id === undefined || id === '' ? `alert@${line}` : id;
+}
+/** The `id` a call wrote down, or nothing where it wrote none it can keep. */
+function writtenAlertId(entry, checked) {
+    const written = literalString(argumentFor(entry, checked, 'id')?.value);
+    return written === '' ? undefined : written;
+}
+/**
+ * OS3017 over the watched conditions: two alerts that would share one name.
+ *
+ * A subscription is keyed by the name, so two entries under one name leave the
+ * host with two conditions and one row: whichever it keeps, the other fires
+ * nothing and nothing says which of the two the user subscribed to. The check
+ * runs over the derived name as well as the written one, because an id somebody
+ * writes by hand can collide with a derived one.
+ */
+export function reportRepeatedAlertIds(checker) {
+    const seen = new Map();
+    for (const checked of checker.calls) {
+        if (checked.name !== 'alert' || checked.entry === undefined)
+            continue;
+        const line = checked.call.span.line;
+        const key = alertKey(writtenAlertId(checked.entry, checked), line);
+        const first = seen.get(key);
+        if (first === undefined) {
+            seen.set(key, line);
+            continue;
+        }
+        checker.report('OS3017', checked.call.span, { kind: 'alert', name: `"${key}"`, line: first });
+    }
+}
+function reportAlertWarnings(checker, entry, checked) {
+    // With no id of its own the compiler derives one from the call's position,
+    // which changes the moment a line is inserted above it and breaks a
+    // subscription with it.
+    if (writtenAlertId(entry, checked) === undefined) {
+        checker.report('OS8008', checked.call.span, { line: checked.call.span.line });
+    }
+    // An alert on every execution of the bar can only fire in a file that acts on
+    // a bar that is still moving (stdlib.md 16.2).
+    const frequency = argumentFor(entry, checked, 'frequency');
+    const written = literalString(frequency?.value);
+    if (written !== 'everyUpdate' || checker.declaration?.onUnconfirmed === true)
+        return;
+    checker.report('OS3009', frequency?.span ?? checked.call.span, {
+        option: 'frequency',
+        value: written,
+        required: 'onUnconfirmed = true',
+    });
+}
+function argumentFor(entry, checked, name) {
+    const index = entry.parameters.findIndex((one) => one.name === name);
+    return index < 0 ? undefined : checked.arguments[index];
+}
+function quoted(text) {
+    return `"${text}"`;
+}
+//# sourceMappingURL=outputs.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"outputs.js","sourceRoot":"","sources":["../../../src/core/check/outputs.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAE9C,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;AAEhF,MAAM,UAAU,YAAY,CAC1B,OAAgB,EAChB,KAAmB,EACnB,OAAoB;IAEpB,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;QAAE,OAAO;IAC1C,MAAM,IAAI,GAAG,KAAK,CAAC,IAA2D,CAAC;IAC/E,MAAM,KAAK,GAAG,aAAa,CAAC,WAAW,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;IAC/E,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,IAAI,WAAW,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IAC3F,MAAM,MAAM,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAEpF,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC;QACnB,EAAE,EAAE,OAAO,CAAC,OAAO,CAAC,MAAM;QAC1B,IAAI;QACJ,KAAK;QACL,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,MAAM;QACN,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI;KACxB,CAAC,CAAC;IAEH,0EAA0E;IAC1E,yEAAyE;IACzE,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,aAAa,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC3E,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACxE,CAAC;AACH,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,OAAgB,EAChB,KAAmB,EACnB,OAAoB;IAEpB,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC3B,mBAAmB,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;QAC7C,OAAO;IACT,CAAC;IAED,2EAA2E;IAC3E,kEAAkE;IAClE,gEAAgE;IAChE,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,CAAC,WAAW,EAAE,OAAO,KAAK,IAAI;QAAE,OAAO;IAC3E,MAAM,KAAK,GAAG,MAAM,CAAC,aAAa,CAAC,WAAW,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IACvF,KAAK,MAAM,MAAM,IAAI,CAAC,WAAW,EAAE,QAAQ,CAAC,EAAE,CAAC;QAC7C,IAAI,WAAW,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,KAAK,SAAS;YAAE,SAAS;QAChE,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;IACjE,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,QAAQ,CAAC,EAAsB,EAAE,IAAY;IAC3D,OAAO,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;AAC9D,CAAC;AAED,8EAA8E;AAC9E,SAAS,cAAc,CAAC,KAAmB,EAAE,OAAoB;IAC/D,MAAM,OAAO,GAAG,aAAa,CAAC,WAAW,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;IACxE,OAAO,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC;AAC9C,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,sBAAsB,CAAC,OAAgB;IACrD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;QACpC,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,IAAI,OAAO,CAAC,KAAK,KAAK,SAAS;YAAE,SAAS;QACtE,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QACpC,MAAM,GAAG,GAAG,QAAQ,CAAC,cAAc,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC;QACnE,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YACpB,SAAS;QACX,CAAC;QACD,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,GAAG,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAChG,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAC1B,OAAgB,EAChB,KAAmB,EACnB,OAAoB;IAEpB,2EAA2E;IAC3E,oEAAoE;IACpE,wBAAwB;IACxB,IAAI,cAAc,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,SAAS,EAAE,CAAC;QACjD,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IAChF,CAAC;IAED,8EAA8E;IAC9E,+CAA+C;IAC/C,MAAM,SAAS,GAAG,WAAW,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;IAC3D,MAAM,OAAO,GAAG,aAAa,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IAChD,IAAI,OAAO,KAAK,aAAa,IAAI,OAAO,CAAC,WAAW,EAAE,aAAa,KAAK,IAAI;QAAE,OAAO;IACrF,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,SAAS,EAAE,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE;QAC7D,MAAM,EAAE,WAAW;QACnB,KAAK,EAAE,OAAO;QACd,QAAQ,EAAE,sBAAsB;KACjC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,WAAW,CAClB,KAAmB,EACnB,OAAoB,EACpB,IAAY;IAEZ,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IACrE,OAAO,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;AAC1D,CAAC;AAED,SAAS,MAAM,CAAC,IAAY;IAC1B,OAAO,IAAI,IAAI,GAAG,CAAC;AACrB,CAAC"}