openalgo-script 0.1.0-alpha.0 → 0.2.0

package/dist/core/check/surface.js

@@ -0,0 +1,100 @@
+/**
+ * The library as one surface, and the questions the checker asks of it.
+ *
+ * The four data files are split by what a call does rather than by anything the
+ * checker cares about, so that each one sits beside the section of `stdlib.md`
+ * it was transcribed from and a reader can check them against each other a
+ * table at a time.
+ *
+ * Two names carry more than one entry on purpose. `close` is a built-in series
+ * read bare and an order function written with brackets (`stdlib.md` 3.2), and
+ * `clear` empties an array or a grid depending on what it is handed (14.3). The
+ * index holds a list per name for exactly this, and a call site picks by arity
+ * and by argument type, at compile time, with no run-time dispatch anywhere.
+ */
+import { BAR_ENTRIES, COLOUR_NAMES } from './library-bars.js';
+import { ORDER_ENTRIES, ORDER_NAMES } from './library-orders.js';
+import { OUTPUT_ENTRIES, REQUEST_NAMES, TOP_LEVEL_NAMES } from './library-output.js';
+import { SERIES_ENTRIES } from './library-series.js';
+import { indexOf } from './library.js';
+export { BAR_SERIES, COLOUR_NAMES } from './library-bars.js';
+export { ORDER_NAMES } from './library-orders.js';
+export { REQUEST_NAMES, TOP_LEVEL_NAMES } from './library-output.js';
+/**
+ * The closed list of namespaces, `language.md` 15.2.
+ *
+ * A dotted name whose first part is not one of these is not a namespace read at
+ * all: it is a member of a value, and version 1 has no such thing, so the
+ * checker can say so instead of guessing which of the two the writer meant.
+ */
+export const NAMESPACES = [
+    'bar',
+    'chart',
+    'session',
+    'date',
+    'str',
+    'math',
+    'pos',
+    'order',
+    'leg',
+    'book',
+    'draw',
+    'req',
+];
+/** The namespaces that exist only in a `strategy()` file, `language.md` 15.2. */
+export const STRATEGY_NAMESPACES = ['pos', 'order', 'leg', 'book'];
+const ENTRIES = [
+    ...BAR_ENTRIES,
+    ...SERIES_ENTRIES,
+    ...OUTPUT_ENTRIES,
+    ...ORDER_ENTRIES,
+];
+const INDEX = indexOf(ENTRIES);
+/** Every signature of one name, or nothing when the library has no such name. */
+export function libraryEntries(name) {
+    return INDEX.get(name) ?? [];
+}
+export function isLibraryName(name) {
+    return INDEX.has(name);
+}
+/** Every name in the global scope, for the "did you mean" of OS2001 and OS2010. */
+export function libraryNames() {
+    return [...INDEX.keys()];
+}
+/** The members of one namespace, spelled bare, for OS2009's suggestion. */
+export function membersOf(namespace) {
+    const prefix = `${namespace}.`;
+    return libraryNames()
+        .filter((name) => name.startsWith(prefix))
+        .map((name) => name.slice(prefix.length));
+}
+export function isNamespace(name) {
+    return NAMESPACES.includes(name);
+}
+export function isColourName(name) {
+    return COLOUR_NAMES.includes(name);
+}
+/** Whether every entry of a name is only available in a `strategy()` file. */
+export function isStrategyOnly(name) {
+    const entries = libraryEntries(name);
+    return entries.length > 0 && entries.every((one) => one.strategyOnly);
+}
+/** Whether the name is a bare order function, which `close` is one spelling of. */
+export function isOrderName(name) {
+    return ORDER_NAMES.includes(name) || name.startsWith('order.');
+}
+/** Whether the call is one of the two higher timeframe reads of stdlib.md 15.1. */
+export function isRequestName(name) {
+    return REQUEST_NAMES.includes(name);
+}
+/**
+ * Whether the call declares part of the file's fixed shape.
+ *
+ * `input` is deliberately not in this list. Its refusal is OS3007 rather than
+ * OS3006 because the fix is different: a plot has to move out of the branch,
+ * and an input has to move out and be read from inside it.
+ */
+export function isTopLevelOnly(name) {
+    return TOP_LEVEL_NAMES.includes(name);
+}
+//# sourceMappingURL=surface.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"surface.js","sourceRoot":"","sources":["../../../src/core/check/surface.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAC9D,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AACjE,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AACrF,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAGvC,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAClD,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAErE;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,UAAU,GAAsB;IAC3C,KAAK;IACL,OAAO;IACP,SAAS;IACT,MAAM;IACN,KAAK;IACL,MAAM;IACN,KAAK;IACL,OAAO;IACP,KAAK;IACL,MAAM;IACN,MAAM;IACN,KAAK;CACN,CAAC;AAEF,iFAAiF;AACjF,MAAM,CAAC,MAAM,mBAAmB,GAAsB,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;AAEtF,MAAM,OAAO,GAA4B;IACvC,GAAG,WAAW;IACd,GAAG,cAAc;IACjB,GAAG,cAAc;IACjB,GAAG,aAAa;CACjB,CAAC;AAEF,MAAM,KAAK,GAAiB,OAAO,CAAC,OAAO,CAAC,CAAC;AAE7C,iFAAiF;AACjF,MAAM,UAAU,cAAc,CAAC,IAAY;IACzC,OAAO,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;AAC/B,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,OAAO,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AACzB,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,YAAY;IAC1B,OAAO,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;AAC3B,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,SAAS,CAAC,SAAiB;IACzC,MAAM,MAAM,GAAG,GAAG,SAAS,GAAG,CAAC;IAC/B,OAAO,YAAY,EAAE;SAClB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;SACzC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;AAC9C,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,IAAY;IACtC,OAAO,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AACnC,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,OAAO,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AACrC,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,cAAc,CAAC,IAAY;IACzC,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IACrC,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;AACxE,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,WAAW,CAAC,IAAY;IACtC,OAAO,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;AACjE,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,OAAO,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AACtC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAAC,IAAY;IACzC,OAAO,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AACxC,CAAC"}

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

@@ -0,0 +1,4 @@
+import type { Checker } from './checker.js';
+/** OS7016: a `close` naming a tag no order in this file is placed with. */
+export declare function reportUnplaceableTags(checker: Checker): void;
+//# sourceMappingURL=tags.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"tags.d.ts","sourceRoot":"","sources":["../../../src/core/check/tags.ts"],"names":[],"mappings":"AAgCA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AA2B5C,2EAA2E;AAC3E,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAiC5D"}

package/dist/core/check/tags.js

@@ -0,0 +1,54 @@
+import { literalString } from './literals.js';
+/**
+ * The calls that append a ledger row a later `close` can act on.
+ *
+ * `exit`, `order.bracket` and `cancel` are not among them: a bracket is a level
+ * and a cancellation is an instruction about an order, and neither appends a
+ * row (`stdlib.md` 17.7). Nor is `close` itself, which only ever reduces what
+ * one of these opened, so a close that is the only mention of a tag is exactly
+ * the call this pass is about.
+ */
+const PLACING = new Set(['buy', 'sell', 'order.place', 'order.reverse']);
+/** The `tag` argument a call was given, absent where it was not written. */
+function tagArgument(checked) {
+    const index = checked.entry?.parameters.findIndex((one) => one.name === 'tag') ?? -1;
+    return index < 0 ? undefined : checked.arguments[index];
+}
+/** OS7016: a `close` naming a tag no order in this file is placed with. */
+export function reportUnplaceableTags(checker) {
+    if (checker.declaration?.form !== 'strategy')
+        return;
+    const placed = new Set();
+    const closes = [];
+    for (const checked of checker.calls) {
+        if (checked.target !== 'library')
+            continue;
+        if (PLACING.has(checked.name)) {
+            const argument = tagArgument(checked);
+            // A call that writes no tag takes the empty one its signature states.
+            if (argument === undefined) {
+                placed.add('');
+                continue;
+            }
+            const written = literalString(argument.value);
+            if (written === undefined)
+                return;
+            placed.add(written);
+            continue;
+        }
+        if (checked.name !== 'close')
+            continue;
+        const argument = tagArgument(checked);
+        if (argument === undefined)
+            continue;
+        const written = literalString(argument.value);
+        if (written !== undefined)
+            closes.push({ tag: written, span: argument.span });
+    }
+    for (const close of closes) {
+        if (placed.has(close.tag))
+            continue;
+        checker.report('OS7016', close.span, { tag: JSON.stringify(close.tag) });
+    }
+}
+//# sourceMappingURL=tags.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"tags.js","sourceRoot":"","sources":["../../../src/core/check/tags.ts"],"names":[],"mappings":"AAkCA,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAE9C;;;;;;;;GAQG;AACH,MAAM,OAAO,GAAwB,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,eAAe,CAAC,CAAC,CAAC;AAE9F,4EAA4E;AAC5E,SAAS,WAAW,CAAC,OAAoB;IACvC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IACrF,OAAO,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;AAC1D,CAAC;AAQD,2EAA2E;AAC3E,MAAM,UAAU,qBAAqB,CAAC,OAAgB;IACpD,IAAI,OAAO,CAAC,WAAW,EAAE,IAAI,KAAK,UAAU;QAAE,OAAO;IAErD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,MAAM,MAAM,GAAmB,EAAE,CAAC;IAElC,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;QACpC,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS;YAAE,SAAS;QAE3C,IAAI,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;YACtC,sEAAsE;YACtE,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACf,SAAS;YACX,CAAC;YACD,MAAM,OAAO,GAAG,aAAa,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YAC9C,IAAI,OAAO,KAAK,SAAS;gBAAE,OAAO;YAClC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACpB,SAAS;QACX,CAAC;QAED,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO;YAAE,SAAS;QACvC,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;QACtC,IAAI,QAAQ,KAAK,SAAS;YAAE,SAAS;QACrC,MAAM,OAAO,GAAG,aAAa,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC9C,IAAI,OAAO,KAAK,SAAS;YAAE,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IAChF,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC;YAAE,SAAS;QACpC,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC3E,CAAC;AACH,CAAC"}

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

@@ -0,0 +1,153 @@
+/**
+ * The types of language.md section 5, as the checker holds them.
+ *
+ * An annotation is syntax and has a span; this is the checker's answer, it has
+ * no position, and it exists for expressions nobody annotated. The two are
+ * separate for that reason and `ast/annotations.ts` says the same thing from
+ * the other side.
+ *
+ * Three things about this model are worth knowing before reading anything that
+ * uses it.
+ *
+ * `none` is a member of every type (section 6), so it is a type here and it
+ * satisfies every other one. That is why a first assignment of `none` fixes
+ * nothing: there is no information in it to fix a name's type with.
+ *
+ * A series is a wrapper rather than a flag, and broadcast (section 5.2) makes
+ * `T` and `series T` interchangeable at every boundary, so nothing outside this
+ * file compares two types by identity.
+ *
+ * `unknown` is what an expression has after a diagnostic was already reported
+ * about it. It satisfies everything and everything satisfies it, so one mistake
+ * produces one diagnostic instead of one per operator above it.
+ */
+/** The scalar types, which are the ones an array may hold and a `var` may take. */
+export declare const VALUE_KINDS: readonly ["number", "string", "bool", "color"];
+export type ValueKind = (typeof VALUE_KINDS)[number];
+/** The runtime object types of language.md 5.4. */
+export declare const OBJECT_KINDS: readonly ["line", "label", "box", "polyline", "table"];
+export type ObjectKind = (typeof OBJECT_KINDS)[number];
+/** The declaration handle types of language.md 5.4. */
+export declare const HANDLE_KINDS: readonly ["plot", "fill", "level"];
+export type HandleKind = (typeof HANDLE_KINDS)[number];
+export type Type = {
+    readonly kind: ValueKind;
+} | {
+    readonly kind: 'none';
+} | {
+    readonly kind: 'series';
+    readonly element: Type;
+} | {
+    readonly kind: 'array';
+    readonly element: Type;
+} | {
+    readonly kind: 'handle';
+    readonly handle: HandleKind;
+} | {
+    readonly kind: 'object';
+    readonly object: ObjectKind;
+}
+/**
+ * The object kinds one parameter accepts, and nothing else.
+ *
+ * `draw.setFrom` moves the first anchor of a line or of a box, and neither a
+ * single object type nor `any` says that: the first is too narrow to write
+ * and the second takes a label, a number and everything else, which is how a
+ * setter applied to the wrong object came to compile, run on every bar and
+ * draw nothing with nothing reported.
+ *
+ * It is a set of object kinds rather than a union of arbitrary types because
+ * a set is what the eleven signatures that need it mean, and nothing else in
+ * version 1 needs more. A general union would have to answer what it means
+ * for a series, an array element and a name's type, and no entry is asking.
+ * This type therefore appears in a library signature and never as the type of
+ * an expression, so nothing downstream has to hold one.
+ */
+ | {
+    readonly kind: 'objects';
+    readonly objects: readonly ObjectKind[];
+}
+/** The absence of a result. Not a type a name can hold; see language.md 5.1. */
+ | {
+    readonly kind: 'nothing';
+}
+/**
+ * A stand-in inside a library signature, and nowhere else.
+ *
+ * `element(arr, i)` returns whatever `arr` holds and `orElse(x, fallback)`
+ * returns whatever it was given. Both are one signature over many types, and
+ * the call site binds the stand-in to a real type before anything downstream
+ * sees it, so no expression is ever left with one of these as its type.
+ */
+ | {
+    readonly kind: 'variable';
+    readonly name: string;
+}
+/** Already reported about. Satisfies everything, so mistakes do not cascade. */
+ | {
+    readonly kind: 'unknown';
+};
+export declare const NUMBER: Type;
+export declare const STRING: Type;
+export declare const BOOL: Type;
+export declare const COLOR: Type;
+export declare const NONE: Type;
+export declare const NOTHING: Type;
+export declare const UNKNOWN: Type;
+export declare function seriesOf(element: Type): Type;
+export declare function arrayOf(element: Type): Type;
+export declare function handleType(handle: HandleKind): Type;
+export declare function objectType(object: ObjectKind): Type;
+/** The set of object kinds a parameter accepts, for a signature that takes two. */
+export declare function objectsType(objects: readonly ObjectKind[]): Type;
+/** The value behind a series, and the type itself when it is not one. */
+export declare function elementOf(type: Type): Type;
+export declare function isSeries(type: Type): boolean;
+export declare function isHandle(type: Type): boolean;
+export declare function isDefinite(type: Type): boolean;
+/**
+ * The type as a reader sees it in a message.
+ *
+ * Every OS2003, OS2012 and OS3011 puts one of these in front of somebody, so
+ * the spelling is the spelling of the specification's own tables rather than an
+ * internal tag: `series number`, not `series(number)`.
+ */
+export declare function typeText(type: Type): string;
+/**
+ * Whether two types are the same once broadcast is taken into account.
+ *
+ * Broadcast (language.md 5.2) changes no value, so `number` and `series number`
+ * are the same type to every rule in the language that asks whether two things
+ * mix. The series-ness survives in the result, which is what `join` is for.
+ */
+export declare function sameType(left: Type, right: Type): boolean;
+/**
+ * Whether a value of `from` may stand where `to` is wanted.
+ *
+ * `none` is accepted everywhere a value is, because it is a member of every
+ * type. `nothing` is accepted nowhere, because a call that draws rather than
+ * computing has no result to stand anywhere: that case is OS2003.
+ */
+export declare function accepts(to: Type, from: Type): boolean;
+/**
+ * Whether two types may stand beside each other.
+ *
+ * This is `sameType` with the rule of language.md 6 added: `none` is a member
+ * of every type, so an arm of a ternary, a `case` value or an operand of `==`
+ * that is absent mixes with anything. It is the test every rule that compares
+ * two written expressions uses, and `sameType` is the narrower question of
+ * whether two definite types are the same one.
+ */
+export declare function compatible(left: Type, right: Type): boolean;
+/**
+ * The type of a place that holds both, with series-ness carried across.
+ *
+ * A name assigned a plain number on one line and a series number on another
+ * holds a series number, because a bar where the plain value was written is a
+ * bar of the series. `none` never decides the answer, which is the rule of
+ * language.md 10.1 stated once, here, for every caller.
+ */
+export declare function join(left: Type, right: Type): Type;
+/** Whether this type may be an array element, language.md 14.1. OS2019 otherwise. */
+export declare function canBeArrayElement(type: Type): boolean;
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/core/check/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,mFAAmF;AACnF,eAAO,MAAM,WAAW,gDAAiD,CAAC;AAC1E,MAAM,MAAM,SAAS,GAAG,CAAC,OAAO,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC;AAErD,mDAAmD;AACnD,eAAO,MAAM,YAAY,wDAAyD,CAAC;AACnF,MAAM,MAAM,UAAU,GAAG,CAAC,OAAO,YAAY,CAAC,CAAC,MAAM,CAAC,CAAC;AAEvD,uDAAuD;AACvD,eAAO,MAAM,YAAY,oCAAqC,CAAC;AAC/D,MAAM,MAAM,UAAU,GAAG,CAAC,OAAO,YAAY,CAAC,CAAC,MAAM,CAAC,CAAC;AAEvD,MAAM,MAAM,IAAI,GACZ;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,GAC5B;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACzB;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAA;CAAE,GACnD;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAA;CAAE,GAClD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAA;CAAE,GACxD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAA;CAAE;AAC1D;;;;;;;;;;;;;;;GAeG;GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,UAAU,EAAE,CAAA;CAAE;AACvE,gFAAgF;GAC9E;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE;AAC9B;;;;;;;GAOG;GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE;AACtD,gFAAgF;GAC9E;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,CAAC;AAEjC,eAAO,MAAM,MAAM,EAAE,IAAyB,CAAC;AAC/C,eAAO,MAAM,MAAM,EAAE,IAAyB,CAAC;AAC/C,eAAO,MAAM,IAAI,EAAE,IAAuB,CAAC;AAC3C,eAAO,MAAM,KAAK,EAAE,IAAwB,CAAC;AAC7C,eAAO,MAAM,IAAI,EAAE,IAAuB,CAAC;AAC3C,eAAO,MAAM,OAAO,EAAE,IAA0B,CAAC;AACjD,eAAO,MAAM,OAAO,EAAE,IAA0B,CAAC;AAEjD,wBAAgB,QAAQ,CAAC,OAAO,EAAE,IAAI,GAAG,IAAI,CAE5C;AAED,wBAAgB,OAAO,CAAC,OAAO,EAAE,IAAI,GAAG,IAAI,CAE3C;AAED,wBAAgB,UAAU,CAAC,MAAM,EAAE,UAAU,GAAG,IAAI,CAEnD;AAED,wBAAgB,UAAU,CAAC,MAAM,EAAE,UAAU,GAAG,IAAI,CAEnD;AAED,mFAAmF;AACnF,wBAAgB,WAAW,CAAC,OAAO,EAAE,SAAS,UAAU,EAAE,GAAG,IAAI,CAEhE;AASD,yEAAyE;AACzE,wBAAgB,SAAS,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,CAE1C;AAED,wBAAgB,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAE5C;AAED,wBAAgB,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAE5C;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAE9C;AAED;;;;;;GAMG;AACH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,CAqB3C;AAeD;;;;;;GAMG;AACH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,GAAG,OAAO,CAmBzD;AAED;;;;;;GAMG;AACH,wBAAgB,OAAO,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,GAAG,OAAO,CAOrD;AAED;;;;;;;;GAQG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,GAAG,OAAO,CAI3D;AAED;;;;;;;GAOG;AACH,wBAAgB,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,GAAG,IAAI,CAOlD;AAED,qFAAqF;AACrF,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAYrD"}

package/dist/core/check/types.js

@@ -0,0 +1,221 @@
+/**
+ * The types of language.md section 5, as the checker holds them.
+ *
+ * An annotation is syntax and has a span; this is the checker's answer, it has
+ * no position, and it exists for expressions nobody annotated. The two are
+ * separate for that reason and `ast/annotations.ts` says the same thing from
+ * the other side.
+ *
+ * Three things about this model are worth knowing before reading anything that
+ * uses it.
+ *
+ * `none` is a member of every type (section 6), so it is a type here and it
+ * satisfies every other one. That is why a first assignment of `none` fixes
+ * nothing: there is no information in it to fix a name's type with.
+ *
+ * A series is a wrapper rather than a flag, and broadcast (section 5.2) makes
+ * `T` and `series T` interchangeable at every boundary, so nothing outside this
+ * file compares two types by identity.
+ *
+ * `unknown` is what an expression has after a diagnostic was already reported
+ * about it. It satisfies everything and everything satisfies it, so one mistake
+ * produces one diagnostic instead of one per operator above it.
+ */
+/** The scalar types, which are the ones an array may hold and a `var` may take. */
+export const VALUE_KINDS = ['number', 'string', 'bool', 'color'];
+/** The runtime object types of language.md 5.4. */
+export const OBJECT_KINDS = ['line', 'label', 'box', 'polyline', 'table'];
+/** The declaration handle types of language.md 5.4. */
+export const HANDLE_KINDS = ['plot', 'fill', 'level'];
+export const NUMBER = { kind: 'number' };
+export const STRING = { kind: 'string' };
+export const BOOL = { kind: 'bool' };
+export const COLOR = { kind: 'color' };
+export const NONE = { kind: 'none' };
+export const NOTHING = { kind: 'nothing' };
+export const UNKNOWN = { kind: 'unknown' };
+export function seriesOf(element) {
+    return element.kind === 'series' ? element : { kind: 'series', element };
+}
+export function arrayOf(element) {
+    return { kind: 'array', element };
+}
+export function handleType(handle) {
+    return { kind: 'handle', handle };
+}
+export function objectType(object) {
+    return { kind: 'object', object };
+}
+/** The set of object kinds a parameter accepts, for a signature that takes two. */
+export function objectsType(objects) {
+    return { kind: 'objects', objects };
+}
+/** The object kinds a type stands for, or nothing when it stands for none. */
+function objectKindsOf(type) {
+    if (type.kind === 'object')
+        return [type.object];
+    if (type.kind === 'objects')
+        return type.objects;
+    return undefined;
+}
+/** The value behind a series, and the type itself when it is not one. */
+export function elementOf(type) {
+    return type.kind === 'series' ? type.element : type;
+}
+export function isSeries(type) {
+    return type.kind === 'series';
+}
+export function isHandle(type) {
+    return type.kind === 'handle';
+}
+export function isDefinite(type) {
+    return type.kind !== 'none' && type.kind !== 'unknown';
+}
+/**
+ * The type as a reader sees it in a message.
+ *
+ * Every OS2003, OS2012 and OS3011 puts one of these in front of somebody, so
+ * the spelling is the spelling of the specification's own tables rather than an
+ * internal tag: `series number`, not `series(number)`.
+ */
+export function typeText(type) {
+    switch (type.kind) {
+        case 'series':
+            return `series ${typeText(type.element)}`;
+        case 'array':
+            return `array<${typeText(type.element)}>`;
+        case 'handle':
+            return type.handle;
+        case 'object':
+            return type.object;
+        case 'objects':
+            return kindList(type.objects);
+        case 'nothing':
+            return 'nothing';
+        case 'variable':
+            return type.name;
+        case 'unknown':
+            return 'unknown';
+        default:
+            return type.kind;
+    }
+}
+/**
+ * A set of object kinds as a reader sees it: `a line or a box`.
+ *
+ * Written out rather than abbreviated because this is the whole of what OS3011
+ * can tell somebody who passed the wrong object: the sentence has to name what
+ * the setter does take, and a reader who is told `object` learns nothing.
+ */
+function kindList(kinds) {
+    if (kinds.length === 0)
+        return 'nothing';
+    if (kinds.length === 1)
+        return kinds[0];
+    return `${kinds.slice(0, -1).join(', ')} or ${kinds[kinds.length - 1]}`;
+}
+/**
+ * Whether two types are the same once broadcast is taken into account.
+ *
+ * Broadcast (language.md 5.2) changes no value, so `number` and `series number`
+ * are the same type to every rule in the language that asks whether two things
+ * mix. The series-ness survives in the result, which is what `join` is for.
+ */
+export function sameType(left, right) {
+    const a = elementOf(left);
+    const b = elementOf(right);
+    if (a.kind === 'unknown' || b.kind === 'unknown')
+        return true;
+    if (a.kind === 'variable' || b.kind === 'variable')
+        return true;
+    // A set of object kinds is compared before the tags are, because an object
+    // and a set the object is in are the same type to every rule that asks. A
+    // kind outside the set is not, which is the whole point of writing the set.
+    if (a.kind === 'objects' || b.kind === 'objects') {
+        const wanted = objectKindsOf(a);
+        const given = objectKindsOf(b);
+        if (wanted === undefined || given === undefined)
+            return false;
+        return given.some((one) => wanted.includes(one));
+    }
+    if (a.kind !== b.kind)
+        return false;
+    if (a.kind === 'array' && b.kind === 'array')
+        return sameType(a.element, b.element);
+    if (a.kind === 'handle' && b.kind === 'handle')
+        return a.handle === b.handle;
+    if (a.kind === 'object' && b.kind === 'object')
+        return a.object === b.object;
+    return true;
+}
+/**
+ * Whether a value of `from` may stand where `to` is wanted.
+ *
+ * `none` is accepted everywhere a value is, because it is a member of every
+ * type. `nothing` is accepted nowhere, because a call that draws rather than
+ * computing has no result to stand anywhere: that case is OS2003.
+ */
+export function accepts(to, from) {
+    if (to.kind === 'unknown' || from.kind === 'unknown')
+        return true;
+    if (to.kind === 'variable' || from.kind === 'variable')
+        return true;
+    if (from.kind === 'nothing' || to.kind === 'nothing')
+        return from.kind === to.kind;
+    if (from.kind === 'none')
+        return true;
+    if (to.kind === 'none')
+        return true;
+    return sameType(to, from);
+}
+/**
+ * Whether two types may stand beside each other.
+ *
+ * This is `sameType` with the rule of language.md 6 added: `none` is a member
+ * of every type, so an arm of a ternary, a `case` value or an operand of `==`
+ * that is absent mixes with anything. It is the test every rule that compares
+ * two written expressions uses, and `sameType` is the narrower question of
+ * whether two definite types are the same one.
+ */
+export function compatible(left, right) {
+    if (left.kind === 'nothing' || right.kind === 'nothing')
+        return left.kind === right.kind;
+    if (elementOf(left).kind === 'none' || elementOf(right).kind === 'none')
+        return true;
+    return sameType(left, right);
+}
+/**
+ * The type of a place that holds both, with series-ness carried across.
+ *
+ * A name assigned a plain number on one line and a series number on another
+ * holds a series number, because a bar where the plain value was written is a
+ * bar of the series. `none` never decides the answer, which is the rule of
+ * language.md 10.1 stated once, here, for every caller.
+ */
+export function join(left, right) {
+    if (left.kind === 'unknown')
+        return right;
+    if (right.kind === 'unknown')
+        return left;
+    if (left.kind === 'none')
+        return right;
+    if (right.kind === 'none')
+        return left;
+    const element = elementOf(left);
+    return isSeries(left) || isSeries(right) ? seriesOf(element) : element;
+}
+/** Whether this type may be an array element, language.md 14.1. OS2019 otherwise. */
+export function canBeArrayElement(type) {
+    switch (type.kind) {
+        case 'number':
+        case 'string':
+        case 'bool':
+        case 'color':
+        case 'object':
+        case 'unknown':
+            return true;
+        default:
+            return false;
+    }
+}
+//# sourceMappingURL=types.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/core/check/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,mFAAmF;AACnF,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAU,CAAC;AAG1E,mDAAmD;AACnD,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,CAAU,CAAC;AAGnF,uDAAuD;AACvD,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAU,CAAC;AAyC/D,MAAM,CAAC,MAAM,MAAM,GAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AAC/C,MAAM,CAAC,MAAM,MAAM,GAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AAC/C,MAAM,CAAC,MAAM,IAAI,GAAS,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAC3C,MAAM,CAAC,MAAM,KAAK,GAAS,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAC7C,MAAM,CAAC,MAAM,IAAI,GAAS,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAC3C,MAAM,CAAC,MAAM,OAAO,GAAS,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;AACjD,MAAM,CAAC,MAAM,OAAO,GAAS,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;AAEjD,MAAM,UAAU,QAAQ,CAAC,OAAa;IACpC,OAAO,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;AAC3E,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,OAAa;IACnC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;AACpC,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,MAAkB;IAC3C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AACpC,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,MAAkB;IAC3C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AACpC,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,WAAW,CAAC,OAA8B;IACxD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC;AACtC,CAAC;AAED,8EAA8E;AAC9E,SAAS,aAAa,CAAC,IAAU;IAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACjD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC,OAAO,CAAC;IACjD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,SAAS,CAAC,IAAU;IAClC,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;AACtD,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,IAAU;IACjC,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC;AAChC,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,IAAU;IACjC,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC;AAChC,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,IAAU;IACnC,OAAO,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;AACzD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,QAAQ,CAAC,IAAU;IACjC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO,UAAU,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QAC5C,KAAK,OAAO;YACV,OAAO,SAAS,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC;QAC5C,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,MAAM,CAAC;QACrB,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,MAAM,CAAC;QACrB,KAAK,SAAS;YACZ,OAAO,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAChC,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC;QACnB,KAAK,UAAU;YACb,OAAO,IAAI,CAAC,IAAI,CAAC;QACnB,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC;QACnB;YACE,OAAO,IAAI,CAAC,IAAI,CAAC;IACrB,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,SAAS,QAAQ,CAAC,KAA4B;IAC5C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACzC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,CAAC,CAAW,CAAC;IAClD,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAW,EAAE,CAAC;AACpF,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,QAAQ,CAAC,IAAU,EAAE,KAAW;IAC9C,MAAM,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAC1B,MAAM,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;IAC3B,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAC9D,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,IAAI,CAAC;IAChE,2EAA2E;IAC3E,0EAA0E;IAC1E,4EAA4E;IAC5E,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACjD,MAAM,MAAM,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,KAAK,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAI,MAAM,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QAC9D,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IACnD,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACpC,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,QAAQ,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;IACpF,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,CAAC;IAC7E,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,CAAC;IAC7E,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,OAAO,CAAC,EAAQ,EAAE,IAAU;IAC1C,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAClE,IAAI,EAAE,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,IAAI,CAAC;IACpE,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,CAAC;IACnF,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IACtC,IAAI,EAAE,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IACpC,OAAO,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;AAC5B,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,UAAU,CAAC,IAAU,EAAE,KAAW;IAChD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC;IACzF,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,SAAS,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IACrF,OAAO,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AAC/B,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,IAAI,CAAC,IAAU,EAAE,KAAW;IAC1C,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAC1C,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAC1C,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC;IACvC,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IACvC,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAChC,OAAO,QAAQ,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;AACzE,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,iBAAiB,CAAC,IAAU;IAC1C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ,CAAC;QACd,KAAK,MAAM,CAAC;QACZ,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS;YACZ,OAAO,IAAI,CAAC;QACd;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC"}

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

@@ -0,0 +1,73 @@
+/**
+ * Warmup: the first bar an expression can honestly produce a value for.
+ *
+ * language.md 7.3 makes warmup a promise rather than a hint, and stdlib.md
+ * states a length per function so two engines cannot disagree by a bar. This
+ * module is the arithmetic of composing those lengths, and nothing else.
+ *
+ * Three answers are possible and all three are useful, which is why this is a
+ * small lattice and not a number:
+ *
+ * `at` is an exact first bar. Every length on the path was known while
+ * compiling, so the checker can say "bar 33" and mean it.
+ *
+ * `atLeast` is a floor. A length that comes from `input()` is not known until
+ * the settings are resolved, and a warmup that depends on the data (`vwap`
+ * starts at the session's first bar) is not known even then. Saying "at least
+ * bar 9" is true; saying "bar 9" would not be, and a warning built on a number
+ * that was invented is worse than no warning.
+ *
+ * `never` is a value that is absent on every bar of the run: a name that was
+ * never given a definite type is of type `none` (language.md 10.1), and a plot
+ * of one is OS8009. This is the one case where the compiler can tell a trader
+ * that a line will not appear before they run the study and wonder why.
+ *
+ * There is no warmup field in a compiled program (`compiled-program.md` section
+ * 7) and there is not meant to be one: the line starts on the bar the value
+ * stops being absent. What is here serves the diagnostics and the editor, which
+ * is why it is allowed to be approximate and has to say when it is.
+ */
+export type Warmup = {
+    readonly kind: 'at';
+    readonly bar: number;
+} | {
+    readonly kind: 'atLeast';
+    readonly bar: number;
+} | {
+    readonly kind: 'never';
+};
+/** A value on the very first bar. */
+export declare const BAR_ZERO: Warmup;
+export declare const NEVER: Warmup;
+export declare function atBar(bar: number): Warmup;
+export declare function atLeastBar(bar: number): Warmup;
+/** The floor of a warmup, for a rule that can only give a lower bound. */
+export declare function weaken(warmup: Warmup): Warmup;
+/**
+ * The warmup of something that needs both of two values.
+ *
+ * Arithmetic propagates absence (language.md 6.2), so a sum is absent until
+ * both sides are present: the later of the two. An operand that is never
+ * present makes the whole thing never present.
+ */
+export declare function later(left: Warmup, right: Warmup): Warmup;
+/**
+ * The warmup of something that needs either of two values.
+ *
+ * `orElse(x, fallback)` and a ternary whose arms warm up at different bars are
+ * both this: present as soon as the earlier one is.
+ */
+export declare function earlier(left: Warmup, right: Warmup): Warmup;
+/** The warmup of every one of these together, or bar 0 when there are none. */
+export declare function allOf(warmups: readonly Warmup[]): Warmup;
+/**
+ * The same value, delayed by a stated number of bars.
+ *
+ * This is how a library entry's declared length composes with its source's:
+ * `sma(ema(close, 10), 10)` is absent until bar 18 because each call delays
+ * whatever it was given by its own length, and stdlib.md section 1 says so.
+ */
+export declare function delayed(warmup: Warmup, bars: number): Warmup;
+/** Whether this value is absent on every bar, which is what OS8009 reports. */
+export declare function isNever(warmup: Warmup): boolean;
+//# sourceMappingURL=warmup.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"warmup.d.ts","sourceRoot":"","sources":["../../../src/core/check/warmup.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,MAAM,MAAM,MAAM,GACd;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GAC7C;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GAClD;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC;AAE/B,qCAAqC;AACrC,eAAO,MAAM,QAAQ,EAAE,MAA+B,CAAC;AAEvD,eAAO,MAAM,KAAK,EAAE,MAA0B,CAAC;AAE/C,wBAAgB,KAAK,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAEzC;AAED,wBAAgB,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAE9C;AAED,0EAA0E;AAC1E,wBAAgB,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAE7C;AAED;;;;;;GAMG;AACH,wBAAgB,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAIzD;AAED;;;;;GAKG;AACH,wBAAgB,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAK3D;AAED,+EAA+E;AAC/E,wBAAgB,KAAK,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,CAExD;AAED;;;;;;GAMG;AACH,wBAAgB,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAI5D;AAED,+EAA+E;AAC/E,wBAAgB,OAAO,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAE/C"}