openalgo-script 0.1.0-alpha.0 → 0.2.0

package/dist/core/check/calls.js

@@ -0,0 +1,348 @@
+import { withoutGrouping } from '../ast/index.js';
+import { bindArguments, arityText, signatureText } from './arguments.js';
+import { warmupOfCall } from './call-warmup.js';
+import { reportStrategyOnly } from './checker.js';
+import { isCompileTimeConstant } from './constant.js';
+import { refuseHandle } from './handles.js';
+import { literalNumber, literalString } from './literals.js';
+import { recordOutput, reportCallWarnings } from './outputs.js';
+import { isTopLevelOnly, libraryEntries } from './surface.js';
+import { closestName } from './suggest.js';
+import { NOTHING, UNKNOWN, accepts, elementOf, isHandle, typeText } from './types.js';
+import { BAR_ZERO } from './warmup.js';
+/** The calls whose first argument is an array that an empty literal may fill. */
+const INSERTERS = new Set(['push', 'unshift', 'insert', 'set']);
+function shapesOf(entry) {
+    return entry.parameters.map((one) => ({ name: one.name, optional: one.optional }));
+}
+/**
+ * The signature a call means.
+ *
+ * With one candidate there is nothing to choose. With several, arity decides
+ * first because it is the cheaper test and it separates most of the library's
+ * overloads on its own; where two signatures take the same count, the written
+ * positional arguments decide, which is `stdlib.md` 2.2's second rule.
+ */
+function selectOverload(checker, call, entries) {
+    const callable = entries.filter((one) => one.callable);
+    const first = callable[0];
+    if (first === undefined || callable.length === 1)
+        return first;
+    const given = call.args.length;
+    const byArity = callable.filter((one) => {
+        const required = one.parameters.filter((p) => !p.optional).length;
+        return given >= required && given <= one.parameters.length;
+    });
+    const narrowed = byArity.length === 0 ? callable : byArity;
+    const only = narrowed[0];
+    if (only === undefined || narrowed.length === 1)
+        return only;
+    const byType = narrowed.find((one) => call.args.every((argument, index) => {
+        if (argument.label !== undefined)
+            return true;
+        const parameter = one.parameters[index];
+        return parameter === undefined || accepts(parameter.type, checker.typeOf(argument.value));
+    }));
+    return byType ?? only;
+}
+/** Binds the stand-ins of a signature to the types the call actually supplied. */
+function bindVariables(checker, entry, filled) {
+    const bound = new Map();
+    const remember = (name, type) => {
+        const existing = bound.get(name);
+        if (existing === undefined || existing.kind === 'none' || existing.kind === 'unknown') {
+            bound.set(name, type);
+        }
+    };
+    for (let i = 0; i < entry.parameters.length; i += 1) {
+        const parameter = entry.parameters[i];
+        const argument = filled[i];
+        if (parameter === undefined || argument === undefined)
+            continue;
+        // A stand-in binds to the type it was given, and a declaration handle is
+        // the one type it must not carry: a signature that returned one would hand
+        // a name a handle the emitter has no declaration for (`language.md` 5.4).
+        // `validateArguments` reports it; this keeps the result out of the tree.
+        const supplied = checker.typeOf(argument.value);
+        const given = supplied.kind === 'handle' ? UNKNOWN : supplied;
+        const wanted = parameter.type;
+        if (wanted.kind === 'variable')
+            remember(wanted.name, given);
+        else if (wanted.kind === 'array' && wanted.element.kind === 'variable') {
+            const element = elementOf(given);
+            if (element.kind === 'array')
+                remember(wanted.element.name, element.element);
+        }
+    }
+    return bound;
+}
+/**
+ * Whether a parameter is written to take whatever it is given.
+ *
+ * A stand-in (`orElse(x: T, fallback: T)`) and `any` (`text(x: any)`) both name
+ * no type, so a handle in one of them has no declared type to be named against
+ * and OS3011 would have nothing to put in its sentence. What is true of both is
+ * that they take a value, which is the answer OS2003 gives.
+ */
+function takesAnyValue(type) {
+    switch (type.kind) {
+        case 'variable':
+        case 'unknown':
+            return true;
+        case 'array':
+        case 'series':
+            return takesAnyValue(type.element);
+        default:
+            return false;
+    }
+}
+function substitute(type, bound) {
+    switch (type.kind) {
+        case 'variable':
+            return bound.get(type.name) ?? UNKNOWN;
+        case 'array':
+            return { kind: 'array', element: substitute(type.element, bound) };
+        case 'series':
+            return { kind: 'series', element: substitute(type.element, bound) };
+        default:
+            return type;
+    }
+}
+/** Every argument against the parameter it filled: type, value set, range, constancy. */
+export function validateArguments(checker, entry, filled, bound) {
+    for (let i = 0; i < entry.parameters.length; i += 1) {
+        const parameter = entry.parameters[i];
+        const argument = filled[i];
+        if (parameter === undefined || argument === undefined)
+            continue;
+        const expected = substitute(parameter.type, bound);
+        const given = checker.typeOf(argument.value);
+        const span = argument.span;
+        if (given.kind === 'nothing') {
+            checker.report('OS2003', span, {
+                leftType: typeText(expected),
+                rightType: typeText(NOTHING),
+            });
+        }
+        else if (entry.name === 'fill' && (i === 0 || i === 1)) {
+            // `unknown` is what an expression already reported about carries, and it
+            // satisfies everything, so a band drawn to a name whose own line was
+            // refused does not collect a second diagnostic about the same mistake.
+            if (given.kind !== 'unknown' && (given.kind !== 'handle' || given.handle !== 'plot')) {
+                checker.report('OS3020', span, {
+                    argument: parameter.name,
+                    found: typeText(given),
+                });
+            }
+        }
+        else if (isHandle(given) && parameter.type.kind !== 'handle') {
+            // `fill` is the one signature in version 1 that declares a handle
+            // parameter, and it is answered above. Every other parameter takes a
+            // value, including a stand-in, which binds to whatever it is given and
+            // would otherwise carry a handle into a call that has no way to hold one.
+            if (takesAnyValue(parameter.type)) {
+                refuseHandle(checker, argument.value, given);
+            }
+            else if (expected.kind === 'object' || expected.kind === 'objects') {
+                // A setter that takes a set of object kinds is the same case as one
+                // that takes a single kind: the argument wanted a runtime object and a
+                // declaration handle has no value on a bar. OS3019's own example is a
+                // plot handle given to `draw.setColor`, which reached OS2003 while that
+                // parameter was written `any`.
+                checker.report('OS3019', span, {
+                    name: entry.name,
+                    argument: parameter.name,
+                    expected: typeText(expected),
+                    found: typeText(given),
+                });
+            }
+            else {
+                checker.report('OS3011', span, {
+                    name: entry.name,
+                    argument: parameter.name,
+                    expected: typeText(expected),
+                    found: typeText(given),
+                });
+            }
+        }
+        else if (!accepts(expected, given)) {
+            checker.report('OS3011', span, {
+                name: entry.name,
+                argument: parameter.name,
+                expected: typeText(expected),
+                found: typeText(given),
+            });
+        }
+        // OS3023. An argument that names something the file declares, in a release
+        // where nothing can declare one. The value is not read and no suggestion is
+        // offered, because there is no name that would have been right: what the
+        // reader has to do is take the argument out. Refused whether the name was
+        // written or computed, which is the whole difference from the set check
+        // below: a computed leg was ignored exactly as quietly as a misspelt one,
+        // and a script that named one leg and closed another traded the leg it did
+        // not name.
+        if (entry.undeclared.includes(parameter.name)) {
+            checker.report('OS3023', span, { name: entry.name, argument: parameter.name });
+        }
+        const allowed = entry.values[parameter.name];
+        const written = literalString(argument.value);
+        if (allowed !== undefined && written !== undefined && !allowed.includes(written)) {
+            checker.report('OS3008', span, {
+                argument: parameter.name,
+                values: allowed.join(', '),
+                found: written,
+                suggestion: closestName(written, allowed),
+            });
+        }
+        const range = entry.whole[parameter.name];
+        const value = range === undefined ? undefined : literalNumber(argument.value);
+        if (range !== undefined && value !== undefined && !inRange(value, range.min, range.max)) {
+            checker.report('OS3004', span, {
+                name: entry.name,
+                argument: parameter.name,
+                range: range.text,
+                found: value,
+            });
+        }
+        if (entry.constant.includes(parameter.name) && !isCompileTimeConstant(checker, argument.value)) {
+            checker.report('OS3003', span, { option: parameter.name });
+        }
+    }
+    reportConflicts(checker, entry, filled);
+}
+/**
+ * OS3010: two arguments that state one thing two ways.
+ *
+ * Reconciling them would need a rule, and every rule anybody has proposed for
+ * it surprises somebody, so both are refused and the script says which it
+ * meant. The caret goes under the second of the two, which is the one the
+ * reader is most likely to have added.
+ */
+function reportConflicts(checker, entry, filled) {
+    for (const [first, second] of entry.conflicts) {
+        const a = filled[entry.parameters.findIndex((one) => one.name === first)];
+        const b = filled[entry.parameters.findIndex((one) => one.name === second)];
+        if (a === undefined || b === undefined)
+            continue;
+        checker.report('OS3010', b.span, { first, second });
+    }
+}
+function inRange(value, min, max) {
+    if (!Number.isInteger(value))
+        return false;
+    if (min !== undefined && value < min)
+        return false;
+    return max === undefined || value <= max;
+}
+/**
+ * An empty array literal taking its element type from the first insertion.
+ *
+ * `language.md` 14.1 gives an unannotated `[]` its type from the first `push`,
+ * `unshift`, `insert` or `set` in source order, and this is that moment: the
+ * checker is looking at the call, it knows which name the array came from, and
+ * it knows what is being put in.
+ */
+function fixElementType(checker, entry, filled) {
+    if (!INSERTERS.has(entry.name))
+        return;
+    const target = filled[0];
+    const value = filled[filled.length - 1];
+    if (target === undefined || value === undefined)
+        return;
+    const reference = withoutGrouping(target.value);
+    if (reference.kind !== 'nameReference')
+        return;
+    const binding = checker.lookup(reference.name);
+    if (binding === undefined)
+        return;
+    const current = elementOf(binding.type);
+    if (current.kind !== 'array' || current.element.kind !== 'unknown')
+        return;
+    const element = elementOf(checker.typeOf(value.value));
+    if (element.kind === 'unknown' || element.kind === 'none')
+        return;
+    binding.type = { kind: 'array', element };
+}
+/**
+ * A call to a name the library holds.
+ *
+ * The result is recorded whether or not anything was reported about it, because
+ * every stage above this one asks the same two questions of a call site, and a
+ * hole in the map would make each of them invent an answer of its own.
+ */
+export function resolveLibraryCall(checker, call, name, placement) {
+    const entries = libraryEntries(name);
+    const entry = selectOverload(checker, call, entries);
+    if (entry === undefined) {
+        const held = entries[0];
+        checker.report('OS2010', call.span, {
+            name,
+            type: held === undefined ? typeText(UNKNOWN) : typeText(held.returns),
+            suggestion: checker.suggestionFor(name),
+        });
+        return unresolved(call, name);
+    }
+    if (entry.planned) {
+        checker.report('OS2020', call.span, { name });
+    }
+    reportStrategyOnly(checker, name, call.span, entry.strategyOnly);
+    checkPlacement(checker, call, entry, placement);
+    const shapes = shapesOf(entry);
+    const filled = bindArguments(checker, call.span, call.args, name, shapes);
+    const bound = bindVariables(checker, entry, filled);
+    validateArguments(checker, entry, filled, bound);
+    fixElementType(checker, entry, filled);
+    const stateful = entry.stateful;
+    if (stateful && checker.isConditional(call)) {
+        checker.report('OS8001', call.span, { name });
+    }
+    const checked = {
+        call,
+        name,
+        target: 'library',
+        entry,
+        fn: undefined,
+        arguments: filled,
+        returns: substitute(entry.returns, bound),
+        warmup: warmupOfCall(checker, entry, filled),
+        stateful,
+        stateId: stateful ? checker.takeStateId() : undefined,
+        seriesArguments: [],
+    };
+    remember(checker, checked);
+    recordOutput(checker, entry, checked);
+    reportCallWarnings(checker, entry, checked);
+    return checked;
+}
+/** OS3006 and OS3007: a call that describes the file's shape, written inside it. */
+function checkPlacement(checker, call, entry, placement) {
+    if (!entry.topLevel || placement.topLevel)
+        return;
+    const construct = placement.construct ?? 'a block';
+    if (entry.name === 'input')
+        checker.report('OS3007', call.span, {});
+    else if (isTopLevelOnly(entry.name)) {
+        checker.report('OS3006', call.span, { name: entry.name, construct });
+    }
+}
+export function unresolved(call, name) {
+    return {
+        call,
+        name,
+        target: 'unresolved',
+        entry: undefined,
+        fn: undefined,
+        arguments: [],
+        returns: UNKNOWN,
+        warmup: BAR_ZERO,
+        stateful: false,
+        stateId: undefined,
+        seriesArguments: [],
+    };
+}
+export function remember(checker, checked) {
+    checker.calls.push(checked);
+    checker.callSites.set(checked.call, checked);
+}
+export { arityText, signatureText };
+//# sourceMappingURL=calls.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"calls.js","sourceRoot":"","sources":["../../../src/core/check/calls.ts"],"names":[],"mappings":"AAcA,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AACzE,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAGhD,OAAO,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAElD,OAAO,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAC;AACtD,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAE5C,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC7D,OAAO,EAAE,YAAY,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAChE,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9D,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAE3C,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AACtF,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAEvC,iFAAiF;AACjF,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC;AAEhE,SAAS,QAAQ,CAAC,KAAmB;IACnC,OAAO,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;AACrF,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,cAAc,CACrB,OAAgB,EAChB,IAAU,EACV,OAAgC;IAEhC,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACvD,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC1B,IAAI,KAAK,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAE/D,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC;IAC/B,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE;QACtC,MAAM,QAAQ,GAAG,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC;QAClE,OAAO,KAAK,IAAI,QAAQ,IAAI,KAAK,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC;IAC7D,CAAC,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC;IAC3D,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IACzB,IAAI,IAAI,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAE7D,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CACnC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE;QAClC,IAAI,QAAQ,CAAC,KAAK,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QAC9C,MAAM,SAAS,GAAG,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACxC,OAAO,SAAS,KAAK,SAAS,IAAI,OAAO,CAAC,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;IAC5F,CAAC,CAAC,CACH,CAAC;IACF,OAAO,MAAM,IAAI,IAAI,CAAC;AACxB,CAAC;AAED,kFAAkF;AAClF,SAAS,aAAa,CACpB,OAAgB,EAChB,KAAmB,EACnB,MAAyC;IAEzC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAgB,CAAC;IAEtC,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAE,IAAU,EAAQ,EAAE;QAClD,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACtF,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACxB,CAAC;IACH,CAAC,CAAC;IAEF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACpD,MAAM,SAAS,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAI,SAAS,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS;YAAE,SAAS;QAChE,yEAAyE;QACzE,2EAA2E;QAC3E,0EAA0E;QAC1E,yEAAyE;QACzE,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAChD,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;QAC9D,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC;QAC9B,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU;YAAE,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;aACxD,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACvE,MAAM,OAAO,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;YACjC,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO;gBAAE,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;QAC/E,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,aAAa,CAAC,IAAU;IAC/B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,UAAU,CAAC;QAChB,KAAK,SAAS;YACZ,OAAO,IAAI,CAAC;QACd,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ;YACX,OAAO,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACrC;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,IAAU,EAAE,KAAgC;IAC9D,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,UAAU;YACb,OAAO,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC;QACzC,KAAK,OAAO;YACV,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,CAAC;QACrE,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,CAAC;QACtE;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED,yFAAyF;AACzF,MAAM,UAAU,iBAAiB,CAC/B,OAAgB,EAChB,KAAmB,EACnB,MAAyC,EACzC,KAAgC;IAEhC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACpD,MAAM,SAAS,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAI,SAAS,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS;YAAE,SAAS;QAEhE,MAAM,QAAQ,GAAG,UAAU,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACnD,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC7C,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC;QAE3B,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC7B,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,EAAE;gBAC7B,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC;gBAC5B,SAAS,EAAE,QAAQ,CAAC,OAAO,CAAC;aAC7B,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;YACzD,yEAAyE;YACzE,qEAAqE;YACrE,uEAAuE;YACvE,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,EAAE,CAAC;gBACrF,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,EAAE;oBAC7B,QAAQ,EAAE,SAAS,CAAC,IAAI;oBACxB,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC;iBACvB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;aAAM,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC/D,kEAAkE;YAClE,qEAAqE;YACrE,uEAAuE;YACvE,0EAA0E;YAC1E,IAAI,aAAa,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;gBAClC,YAAY,CAAC,OAAO,EAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YAC/C,CAAC;iBAAM,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACrE,oEAAoE;gBACpE,uEAAuE;gBACvE,sEAAsE;gBACtE,wEAAwE;gBACxE,+BAA+B;gBAC/B,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,EAAE;oBAC7B,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,QAAQ,EAAE,SAAS,CAAC,IAAI;oBACxB,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC;oBAC5B,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC;iBACvB,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,EAAE;oBAC7B,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,QAAQ,EAAE,SAAS,CAAC,IAAI;oBACxB,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC;oBAC5B,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC;iBACvB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;aAAM,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAC;YACrC,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,EAAE;gBAC7B,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,QAAQ,EAAE,SAAS,CAAC,IAAI;gBACxB,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC;gBAC5B,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC;aACvB,CAAC,CAAC;QACL,CAAC;QAED,2EAA2E;QAC3E,4EAA4E;QAC5E,yEAAyE;QACzE,0EAA0E;QAC1E,wEAAwE;QACxE,0EAA0E;QAC1E,2EAA2E;QAC3E,YAAY;QACZ,IAAI,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9C,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,QAAQ,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC;QACjF,CAAC;QAED,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC7C,MAAM,OAAO,GAAG,aAAa,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC9C,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;YACjF,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,EAAE;gBAC7B,QAAQ,EAAE,SAAS,CAAC,IAAI;gBACxB,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC1B,KAAK,EAAE,OAAO;gBACd,UAAU,EAAE,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC;aAC1C,CAAC,CAAC;QACL,CAAC;QAED,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC1C,MAAM,KAAK,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC9E,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YACxF,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,EAAE;gBAC7B,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,QAAQ,EAAE,SAAS,CAAC,IAAI;gBACxB,KAAK,EAAE,KAAK,CAAC,IAAI;gBACjB,KAAK,EAAE,KAAK;aACb,CAAC,CAAC;QACL,CAAC;QAED,IAAI,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,qBAAqB,CAAC,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YAC/F,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC;QAC7D,CAAC;IACH,CAAC;IAED,eAAe,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;AAC1C,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,eAAe,CACtB,OAAgB,EAChB,KAAmB,EACnB,MAAyC;IAEzC,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QAC9C,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC;QAC1E,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC;QAC3E,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS;YAAE,SAAS;QACjD,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;IACtD,CAAC;AACH,CAAC;AAED,SAAS,OAAO,CAAC,KAAa,EAAE,GAAuB,EAAE,GAAuB;IAC9E,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC3C,IAAI,GAAG,KAAK,SAAS,IAAI,KAAK,GAAG,GAAG;QAAE,OAAO,KAAK,CAAC;IACnD,OAAO,GAAG,KAAK,SAAS,IAAI,KAAK,IAAI,GAAG,CAAC;AAC3C,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,cAAc,CACrB,OAAgB,EAChB,KAAmB,EACnB,MAAyC;IAEzC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;QAAE,OAAO;IACvC,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACzB,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACxC,IAAI,MAAM,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO;IAExD,MAAM,SAAS,GAAG,eAAe,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAChD,IAAI,SAAS,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO;IAC/C,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAC/C,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO;IAElC,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACxC,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,IAAI,OAAO,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO;IAE3E,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IACvD,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO;IAClE,OAAO,CAAC,IAAI,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;AAC5C,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAChC,OAAgB,EAChB,IAAU,EACV,IAAY,EACZ,SAAoB;IAEpB,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IACrC,MAAM,KAAK,GAAG,cAAc,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAErD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACxB,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE;YAClC,IAAI;YACJ,IAAI,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC;YACrE,UAAU,EAAE,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC;SACxC,CAAC,CAAC;QACH,OAAO,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAChC,CAAC;IAED,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QAClB,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;IAChD,CAAC;IAED,kBAAkB,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC;IACjE,cAAc,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;IAEhD,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC/B,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IAC1E,MAAM,KAAK,GAAG,aAAa,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IACpD,iBAAiB,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;IACjD,cAAc,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IAEvC,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;IAChC,IAAI,QAAQ,IAAI,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5C,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;IAChD,CAAC;IAED,MAAM,OAAO,GAAgB;QAC3B,IAAI;QACJ,IAAI;QACJ,MAAM,EAAE,SAAS;QACjB,KAAK;QACL,EAAE,EAAE,SAAS;QACb,SAAS,EAAE,MAAM;QACjB,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC;QACzC,MAAM,EAAE,YAAY,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC;QAC5C,QAAQ;QACR,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,SAAS;QACrD,eAAe,EAAE,EAAE;KACpB,CAAC;IACF,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC3B,YAAY,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IACtC,kBAAkB,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAC5C,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,oFAAoF;AACpF,SAAS,cAAc,CACrB,OAAgB,EAChB,IAAU,EACV,KAAmB,EACnB,SAAoB;IAEpB,IAAI,CAAC,KAAK,CAAC,QAAQ,IAAI,SAAS,CAAC,QAAQ;QAAE,OAAO;IAClD,MAAM,SAAS,GAAG,SAAS,CAAC,SAAS,IAAI,SAAS,CAAC;IACnD,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;SAC/D,IAAI,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;IACvE,CAAC;AACH,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,IAAU,EAAE,IAAY;IACjD,OAAO;QACL,IAAI;QACJ,IAAI;QACJ,MAAM,EAAE,YAAY;QACpB,KAAK,EAAE,SAAS;QAChB,EAAE,EAAE,SAAS;QACb,SAAS,EAAE,EAAE;QACb,OAAO,EAAE,OAAO;QAChB,MAAM,EAAE,QAAQ;QAChB,QAAQ,EAAE,KAAK;QACf,OAAO,EAAE,SAAS;QAClB,eAAe,EAAE,EAAE;KACpB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,OAAgB,EAAE,OAAoB;IAC7D,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC5B,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AAC/C,CAAC;AAED,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,CAAC"}

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

@@ -0,0 +1,23 @@
+/**
+ * The checker, from a syntax tree to a checked one.
+ *
+ * The order the passes run in is the order the language asks for. The header is
+ * read first, because whether a file is a strategy and whether it acts on a
+ * moving bar are facts every later rule consults, including about lines above
+ * the declaration. Declarations of `fn` are collected next, because a function
+ * may be called before the line it is written on. Then the file runs top to
+ * bottom, which is the order a bar runs in and the order a name has to be
+ * assigned before it is read.
+ *
+ * What is left over is the small set of things that can only be known once
+ * everything has been seen: whether a name was ever read, whether an empty
+ * array literal ever received an element, whether two columns were given one
+ * title, whether a tag a `close` names is one this file can place, and which
+ * names need a series register rather than a slot.
+ */
+import type { Script } from '../ast/index.js';
+import type { DiagnosticSink } from '../diagnostics/index.js';
+import type { SourceFile } from '../source/index.js';
+import type { CheckedScript } from './checked.js';
+export declare function check(file: SourceFile, script: Script, sink: DiagnosticSink): CheckedScript;
+//# sourceMappingURL=check.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../../src/core/check/check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AACH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AAC9C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAC9D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAErD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAQlD,wBAAgB,KAAK,CAAC,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,GAAG,aAAa,CAiC3F"}

package/dist/core/check/check.js

@@ -0,0 +1,163 @@
+import { Checker, TOP_LEVEL, finaliseStorage } from './checker.js';
+import { checkDeclaration, checkLimits, readHeader } from './declaration.js';
+import { checkFunctionDeclarations, checkRemainingFunctions } from './functions.js';
+import { reportRepeatedAlertIds } from './outputs.js';
+import { checkStatement } from './statements.js';
+import { reportUnplaceableTags } from './tags.js';
+import { elementOf } from './types.js';
+export function check(file, script, sink) {
+    const checker = new Checker(file, script, sink);
+    readHeader(checker, script);
+    checkFunctionDeclarations(checker, script);
+    let limits = false;
+    for (const item of script.items) {
+        switch (item.kind) {
+            case 'functionDeclaration':
+                continue;
+            case 'scriptDeclaration':
+                checkDeclaration(checker, item);
+                continue;
+            case 'limitsLine':
+                checkLimits(checker, item, script, limits);
+                limits = true;
+                continue;
+            default:
+                checkStatement(checker, item, TOP_LEVEL);
+        }
+    }
+    checkRemainingFunctions(checker);
+    finaliseStorage(checker);
+    reportUnknownElementTypes(checker);
+    reportNamesNeverRead(checker);
+    reportRepeatedTitles(checker);
+    reportInputKeys(checker);
+    reportRepeatedAlertIds(checker);
+    reportUnplaceableTags(checker);
+    return checker.finish();
+}
+/**
+ * OS2015: an empty array literal that never learned what it holds.
+ *
+ * `language.md` 14.1 gives one its element type from an annotation or from the
+ * first `push`, `unshift`, `insert` or `set` in the file. With neither, there
+ * is no type, and the moment to say so is now rather than at the literal, where
+ * the insertion three lines below had not been read yet.
+ */
+function reportUnknownElementTypes(checker) {
+    for (const binding of checker.bindings) {
+        const type = elementOf(binding.type);
+        if (type.kind !== 'array' || type.element.kind !== 'unknown')
+            continue;
+        checker.report('OS2015', binding.declaredAt, {});
+    }
+}
+/** OS8010 and OS8018: a name, or an input, that nothing in the file reads. */
+function reportNamesNeverRead(checker) {
+    for (const binding of checker.bindings) {
+        if (binding.isRead)
+            continue;
+        if (binding.kind === 'library' || binding.kind === 'function')
+            continue;
+        if (binding.kind === 'parameter' || binding.kind === 'loop')
+            continue;
+        if (binding.input !== undefined) {
+            const input = checker.inputs[binding.input];
+            checker.report('OS8018', binding.declaredAt, {
+                title: `"${input?.title ?? binding.name}"`,
+                line: binding.declaredAt.line,
+            });
+            continue;
+        }
+        checker.report('OS8010', binding.declaredAt, {
+            name: binding.name,
+            line: binding.declaredAt.line,
+        });
+    }
+}
+/**
+ * OS3017: two things in one file given the same name.
+ *
+ * A title is what every later stage keys on, from a legend entry to a saved
+ * alert subscription, so two of them is not a cosmetic problem: one of the two
+ * would have to lose, and nothing anywhere decides which.
+ */
+function reportRepeatedTitles(checker) {
+    const seen = new Map();
+    for (const output of checker.outputs) {
+        if (output.form === 'fill' || output.title === '')
+            continue;
+        const key = `${output.form}:${output.title}`;
+        const first = seen.get(key);
+        if (first === undefined)
+            seen.set(key, output.span.line);
+        else {
+            checker.report('OS3017', output.span, {
+                kind: output.form,
+                name: `"${output.title}"`,
+                line: first,
+            });
+        }
+    }
+    const inputs = new Map();
+    for (const input of checker.inputs) {
+        if (input.title === '')
+            continue;
+        const first = inputs.get(input.title);
+        if (first === undefined)
+            inputs.set(input.title, input.span.line);
+        else {
+            checker.report('OS3017', input.span, {
+                kind: 'input',
+                name: `"${input.title}"`,
+                line: first,
+            });
+        }
+    }
+}
+/**
+ * OS3021, OS3024 and OS3022: an input whose settings key is missing, or is
+ * another's.
+ *
+ * `host-interface.md` 8.1 keys a stored value by the name the input was
+ * assigned to, and an input written where a value belongs is assigned to none.
+ * Its key is its title instead: the one thing about the row a user sees, and
+ * therefore the one thing whose change is a rename rather than an edit. That
+ * holds only while every input lands on a key of its own, and there are exactly
+ * two ways it does not. A title spelling another input's name puts two rows on
+ * one key, and one user value would serve both. A title that is not there at
+ * all is no key and no label either.
+ *
+ * **No title and an empty title are two programs and take two codes.** Both end
+ * with nothing to be keyed by, and a reader who wrote `input(14, "")` did write
+ * a title as a string literal, so OS3021's message and its fix are both untrue
+ * of their file: they tell them to do the thing they have just done. OS3024 is
+ * the same refusal with a sentence that is true of it, and it refines OS3021
+ * rather than widening it, because the two fixes are different edits.
+ *
+ * Two inputs carrying one title is the third way and is OS3017 above, which is
+ * why this runs after it: the case is already reported and reporting it twice
+ * would be two codes for one edit.
+ */
+function reportInputKeys(checker) {
+    const names = new Map();
+    for (const input of checker.inputs) {
+        if (input.name !== '')
+            names.set(input.name, input.span.line);
+    }
+    for (const input of checker.inputs) {
+        if (input.name !== '')
+            continue;
+        if (input.title === '') {
+            if (input.titleWritten)
+                checker.report('OS3024', input.span, {});
+            else
+                checker.report('OS3021', input.span, {});
+            continue;
+        }
+        const taken = names.get(input.title);
+        if (taken === undefined)
+            continue;
+        checker.report('OS3022', input.span, { name: `"${input.title}"`, line: taken });
+    }
+}
+//# sourceMappingURL=check.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"check.js","sourceRoot":"","sources":["../../../src/core/check/check.ts"],"names":[],"mappings":"AAoBA,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAEnE,OAAO,EAAE,gBAAgB,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC7E,OAAO,EAAE,yBAAyB,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AACpF,OAAO,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AACtD,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,EAAE,qBAAqB,EAAE,MAAM,WAAW,CAAC;AAClD,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAEvC,MAAM,UAAU,KAAK,CAAC,IAAgB,EAAE,MAAc,EAAE,IAAoB;IAC1E,MAAM,OAAO,GAAG,IAAI,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IAEhD,UAAU,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC5B,yBAAyB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAE3C,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAChC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,qBAAqB;gBACxB,SAAS;YACX,KAAK,mBAAmB;gBACtB,gBAAgB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;gBAChC,SAAS;YACX,KAAK,YAAY;gBACf,WAAW,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;gBAC3C,MAAM,GAAG,IAAI,CAAC;gBACd,SAAS;YACX;gBACE,cAAc,CAAC,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;IAED,uBAAuB,CAAC,OAAO,CAAC,CAAC;IACjC,eAAe,CAAC,OAAO,CAAC,CAAC;IACzB,yBAAyB,CAAC,OAAO,CAAC,CAAC;IACnC,oBAAoB,CAAC,OAAO,CAAC,CAAC;IAC9B,oBAAoB,CAAC,OAAO,CAAC,CAAC;IAC9B,eAAe,CAAC,OAAO,CAAC,CAAC;IACzB,sBAAsB,CAAC,OAAO,CAAC,CAAC;IAChC,qBAAqB,CAAC,OAAO,CAAC,CAAC;IAE/B,OAAO,OAAO,CAAC,MAAM,EAAE,CAAC;AAC1B,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,yBAAyB,CAAC,OAAgB;IACjD,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS;YAAE,SAAS;QACvE,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IACnD,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,SAAS,oBAAoB,CAAC,OAAgB;IAC5C,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACvC,IAAI,OAAO,CAAC,MAAM;YAAE,SAAS;QAC7B,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU;YAAE,SAAS;QACxE,IAAI,OAAO,CAAC,IAAI,KAAK,WAAW,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM;YAAE,SAAS;QAEtE,IAAI,OAAO,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAChC,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAC5C,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,UAAU,EAAE;gBAC3C,KAAK,EAAE,IAAI,KAAK,EAAE,KAAK,IAAI,OAAO,CAAC,IAAI,GAAG;gBAC1C,IAAI,EAAE,OAAO,CAAC,UAAU,CAAC,IAAI;aAC9B,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,UAAU,EAAE;YAC3C,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,IAAI,EAAE,OAAO,CAAC,UAAU,CAAC,IAAI;SAC9B,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,SAAS,oBAAoB,CAAC,OAAgB;IAC5C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IAEvC,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACrC,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,KAAK,KAAK,EAAE;YAAE,SAAS;QAC5D,MAAM,GAAG,GAAG,GAAG,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAC7C,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,KAAK,KAAK,SAAS;YAAE,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;aACpD,CAAC;YACJ,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,EAAE;gBACpC,IAAI,EAAE,MAAM,CAAC,IAAI;gBACjB,IAAI,EAAE,IAAI,MAAM,CAAC,KAAK,GAAG;gBACzB,IAAI,EAAE,KAAK;aACZ,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QACnC,IAAI,KAAK,CAAC,KAAK,KAAK,EAAE;YAAE,SAAS;QACjC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,KAAK,KAAK,SAAS;YAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;aAC7D,CAAC;YACJ,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,EAAE;gBACnC,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE,IAAI,KAAK,CAAC,KAAK,GAAG;gBACxB,IAAI,EAAE,KAAK;aACZ,CAAC,CAAC;QACL,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,SAAS,eAAe,CAAC,OAAgB;IACvC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QACnC,IAAI,KAAK,CAAC,IAAI,KAAK,EAAE;YAAE,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChE,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QACnC,IAAI,KAAK,CAAC,IAAI,KAAK,EAAE;YAAE,SAAS;QAChC,IAAI,KAAK,CAAC,KAAK,KAAK,EAAE,EAAE,CAAC;YACvB,IAAI,KAAK,CAAC,YAAY;gBAAE,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;;gBAC5D,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAC9C,SAAS;QACX,CAAC;QACD,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACrC,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAClC,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,KAAK,CAAC,KAAK,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAClF,CAAC;AACH,CAAC"}