@scriptc/compiler 0.2.6 → 0.2.8

package/dist/frontend/lowering/cycle-initialization.d.ts

@@ -0,0 +1,46 @@
+import * as ts from "../ts7/adapter.js";
+import type { Lowerer } from "./lowerer.js";
+import { type IrGlobal, type IrModule, type IrStmt } from "../../ir/ir.js";
+/** One flagged binding: its storage, its flag, and the module bodies whose
+ * top-level code only runs after the declaration (no check needed). */
+export interface CycleInitFlag {
+    global: IrGlobal;
+    flagId: string;
+    name: string;
+    /** The declaring module. */
+    module: ts.SourceFile;
+    settled: ReadonlySet<ts.SourceFile>;
+    /** True for a binding of an import cycle. A binding flagged only for its
+     * own module's early calls is checked opportunistically: whatever cannot
+     * be checked keeps the unchecked behavior instead of refusing. */
+    cycle: boolean;
+}
+/** Registers the initialization flags after global collection. Bindings
+ * whose early access has no exact representation are refused: a `var`
+ * (Node reads `undefined` there, but module storage only starts when the
+ * declaring module's body starts), a class (its references are static), a
+ * binding without module storage, or one with a use the lowering resolves
+ * from the binding's type (a property key, a `typeof` operand). */
+export declare function markCycleEarlyBindings(lowerer: Lowerer): void;
+/** The declaring statement's IR with each flagged binding's flag set right
+ * after the binding's first store (or after the whole statement when the
+ * declaration stores nothing, as `let x;` can). */
+export declare function withCycleInitFlags(lowerer: Lowerer, stmt: ts.Statement, lowered: IrStmt[]): IrStmt[];
+/** Inserts the initialization checks into every function that can access a
+ * flagged binding before its declaration ran: every function except the
+ * %init bodies of settled modules, and in the declaring module's own %init
+ * only the statements up to the one that sets the flag (earlier reads
+ * there come from inlined callback bodies; tsc rejects direct ones). Reads
+ * check before reading; writes check after evaluating the assigned value,
+ * as PutValue does. The declaration's own store is never checked. */
+export declare function checkCycleBindingAccesses(lowerer: Lowerer, mod: IrModule): void;
+/** Class layouts that read module storage directly (an evaluated heritage
+ * value, a symbol-keyed field) bypass the checks: refuse when that storage
+ * is a flagged import-cycle binding, and leave a same-module binding
+ * unchecked. */
+export declare function refuseUncheckedCycleReads(lowerer: Lowerer, classes: readonly {
+    baseValueGlobal?: string;
+    symbolFields?: {
+        globalId: string;
+    }[];
+}[]): void;

package/dist/frontend/lowering/cycle-initialization.js

@@ -0,0 +1,303 @@
+/* Import-cycle initialization state: module bindings of a cycle that some
+ * read or write can reach before their declarations ran
+ * (cycleEarlyBindings) get a BOOL initialization flag. The declaring
+ * module's %init sets the flag right after the declaration's store, and
+ * every access from code that can run earlier checks it first — Node's
+ * temporal-dead-zone ReferenceError, with the same message. */
+import * as ts from "../ts7/adapter.js";
+import { cycleEarlyBindings, locOf, moduleEarlyBindings, } from "../program.js";
+import { unsupportedDiag } from "../../diagnostics/diagnostic.js";
+import { BOOL, STRING, VOID, } from "../../ir/ir.js";
+import { everyStmt, mapExprChildren, mapStmtChildren } from "../../ir/traverse.js";
+/** Registers the initialization flags after global collection. Bindings
+ * whose early access has no exact representation are refused: a `var`
+ * (Node reads `undefined` there, but module storage only starts when the
+ * declaring module's body starts), a class (its references are static), a
+ * binding without module storage, or one with a use the lowering resolves
+ * from the binding's type (a property key, a `typeof` operand). */
+export function markCycleEarlyBindings(lowerer) {
+    const early = cycleEarlyBindings(lowerer.program, lowerer.entry, lowerer.moduleOrder, lowerer.forkTargets.length === 0 && lowerer.workerTargets.length === 0);
+    const refuse = (node, reason) => {
+        if (lowerer.remainder)
+            return;
+        lowerer.pushDiag(unsupportedDiag("SC1016", locOf(node), `circular imports (${reason})`));
+    };
+    for (const binding of early) {
+        const where = `'${binding.name.text}' declared in ${binding.module.fileName} can be accessed before its declaration runs`;
+        if (binding.kind === "var") {
+            refuse(binding.reference, `the var binding ${where}, where Node reads undefined`);
+            continue;
+        }
+        if (binding.kind === "class") {
+            refuse(binding.reference, `the class ${where}`);
+            continue;
+        }
+        const global = lowerer.globalsBySymbol.get(binding.symbol);
+        if (global === undefined) {
+            refuse(binding.reference, `the binding ${where}, and it has no module storage to check`);
+            continue;
+        }
+        if (binding.folded !== undefined) {
+            refuse(binding.folded, `the binding ${where}, and this use is resolved from its type rather than its storage`);
+            continue;
+        }
+        registerInitFlag(lowerer, binding, global, true);
+    }
+    // A module's own function declarations are callable before its later
+    // bindings are declared. Only bindings that such early-running code can
+    // read get a flag; the others keep their unchecked storage.
+    for (const binding of moduleEarlyBindings(lowerer.program, lowerer.moduleOrder)) {
+        const global = lowerer.globalsBySymbol.get(binding.symbol);
+        if (global !== undefined && binding.folded === undefined) {
+            registerInitFlag(lowerer, binding, global, false);
+        }
+    }
+}
+function registerInitFlag(lowerer, binding, global, cycle) {
+    if (lowerer.cycleInitFlags.has(global.id))
+        return;
+    const flagId = `${global.id}%initialized`;
+    lowerer.globalsList.push({ id: flagId, name: "%initialized", type: BOOL, mutable: true });
+    global.initFlag = flagId;
+    const flag = {
+        global,
+        flagId,
+        name: binding.name.text,
+        module: binding.module,
+        settled: binding.settled,
+        cycle,
+    };
+    lowerer.cycleInitFlags.set(global.id, flag);
+    const stmt = declaringStatement(binding.name);
+    if (stmt !== null) {
+        const list = lowerer.cycleInitDeclarations.get(stmt) ?? [];
+        list.push(flag);
+        lowerer.cycleInitDeclarations.set(stmt, list);
+    }
+}
+function declaringStatement(name) {
+    for (let p = name.parent; p !== undefined; p = p.parent) {
+        if (ts.isVariableStatement(p))
+            return p;
+        if (ts.isSourceFile(p))
+            return null;
+    }
+    return null;
+}
+function setFlag(flag, loc) {
+    return {
+        kind: "assign",
+        localId: flag.flagId,
+        value: { kind: "boolLit", value: true, type: BOOL, loc },
+        loc,
+    };
+}
+/** The declaring statement's IR with each flagged binding's flag set right
+ * after the binding's first store (or after the whole statement when the
+ * declaration stores nothing, as `let x;` can). */
+export function withCycleInitFlags(lowerer, stmt, lowered) {
+    const flags = lowerer.cycleInitDeclarations.get(stmt);
+    if (flags === undefined)
+        return lowered;
+    const pending = new Map(flags.map((f) => [f.global.id, f]));
+    const place = (list) => {
+        const out = [];
+        for (const s of list) {
+            if (pending.size === 0) {
+                out.push(s);
+                continue;
+            }
+            if (s.kind === "assign" && pending.has(s.localId)) {
+                out.push({ ...s, initializes: true }, setFlag(pending.get(s.localId), s.loc));
+                pending.delete(s.localId);
+                continue;
+            }
+            if (s.kind === "block") {
+                out.push({ ...s, body: place(s.body) });
+                continue;
+            }
+            out.push(s);
+            // A store nested in another construct: the flag follows the construct.
+            for (const [id, flag] of [...pending]) {
+                let stores = false;
+                let nested = false;
+                everyStmt(s, {
+                    expr: (e) => {
+                        if (e.kind === "assignExpr" && e.localId === id)
+                            nested = true;
+                        return true;
+                    },
+                    stmt: (inner) => {
+                        if (inner.kind === "assign" && inner.localId === id) {
+                            inner.initializes = true;
+                            stores = true;
+                        }
+                        return true;
+                    },
+                });
+                if (nested && !flag.cycle) {
+                    // Unmarkable store of a same-module binding: keep it unchecked.
+                    lowerer.cycleInitFlags.delete(id);
+                }
+                else if (nested && !lowerer.remainder) {
+                    lowerer.pushDiag(unsupportedDiag("SC1016", locOf(stmt), `circular imports (the declaration of '${flag.name}' stores it inside an expression, where its initialization cannot be marked)`));
+                }
+                if (stores || nested) {
+                    out.push(setFlag(flag, s.loc));
+                    pending.delete(id);
+                }
+            }
+        }
+        return out;
+    };
+    const out = place(lowered);
+    const loc = locOf(stmt);
+    for (const flag of pending.values())
+        out.push(setFlag(flag, loc));
+    return out;
+}
+/** Inserts the initialization checks into every function that can access a
+ * flagged binding before its declaration ran: every function except the
+ * %init bodies of settled modules, and in the declaring module's own %init
+ * only the statements up to the one that sets the flag (earlier reads
+ * there come from inlined callback bodies; tsc rejects direct ones). Reads
+ * check before reading; writes check after evaluating the assigned value,
+ * as PutValue does. The declaration's own store is never checked. */
+export function checkCycleBindingAccesses(lowerer, mod) {
+    if (lowerer.cycleInitFlags.size === 0)
+        return;
+    const fileOfInit = new Map();
+    for (const [sf, name] of lowerer.initNameOf)
+        fileOfInit.set(name, sf);
+    for (const fn of mod.functions)
+        rewriteFunction(lowerer, fn, fileOfInit.get(fn.name));
+}
+function rewriteFunction(lowerer, fn, initOf) {
+    const active = new Map();
+    for (const [id, flag] of lowerer.cycleInitFlags) {
+        if (initOf === undefined || initOf === flag.module || !flag.settled.has(initOf)) {
+            active.set(id, flag);
+        }
+    }
+    if (active.size === 0)
+        return;
+    let temps = 0;
+    const check = (flag, loc) => {
+        const expr = {
+            kind: "intrinsic",
+            name: "module.tdzCheck",
+            args: [
+                { kind: "varRef", localId: flag.flagId, type: BOOL, loc },
+                { kind: "strLit", value: flag.name, type: STRING, loc },
+            ],
+            type: VOID,
+            loc,
+        };
+        return { kind: "exprStmt", expr, loc };
+    };
+    const temp = (type) => {
+        const id = `%cycleInit.${temps++}`;
+        fn.locals.push({ id, name: "%cycleInit", type, mutable: false });
+        return id;
+    };
+    // Post-order: children are rewritten before their parent is wrapped, so
+    // a wrapper is never visited again. (No identity set: compiled code
+    // cannot key weak collections by IR records.)
+    const wrap = {
+        expr: (e) => {
+            if (e.kind !== "varRef" && e.kind !== "incDec" && e.kind !== "assignExpr")
+                return e;
+            const flag = active.get(e.localId);
+            if (flag === undefined)
+                return e;
+            if (e.kind === "assignExpr") {
+                const t = temp(e.value.type);
+                const value = { kind: "varRef", localId: t, type: e.value.type, loc: e.loc };
+                const write = { ...e, value };
+                return {
+                    kind: "seqExpr",
+                    stmts: [{ kind: "varDecl", localId: t, init: e.value, loc: e.loc }, check(flag, e.loc)],
+                    result: write,
+                    type: e.type,
+                    loc: e.loc,
+                };
+            }
+            return { kind: "seqExpr", stmts: [check(flag, e.loc)], result: e, type: e.type, loc: e.loc };
+        },
+        stmt: (s) => {
+            if (s.kind !== "assign" || s.initializes)
+                return s;
+            const flag = active.get(s.localId);
+            if (flag === undefined)
+                return s;
+            const t = temp(s.value.type);
+            const write = {
+                kind: "assign",
+                localId: s.localId,
+                value: { kind: "varRef", localId: t, type: s.value.type, loc: s.loc },
+                loc: s.loc,
+            };
+            return {
+                kind: "block",
+                body: [
+                    { kind: "varDecl", localId: t, init: s.value, loc: s.loc },
+                    check(flag, s.loc),
+                    write,
+                ],
+                loc: s.loc,
+            };
+        },
+    };
+    const rewriteExpr = (e) => wrap.expr(mapExprChildren(e, rewriteExpr, rewriteStmt));
+    const rewriteStmt = (s) => wrap.stmt(mapStmtChildren(s, rewriteExpr, rewriteStmt));
+    const rewriteList = (list) => list.map(rewriteStmt);
+    if (initOf === undefined) {
+        fn.body = rewriteList(fn.body);
+        return;
+    }
+    // A module %init: its own bindings stop needing checks once the
+    // top-level statement setting their flag completed.
+    fn.body = fn.body.map((s) => {
+        if (active.size === 0)
+            return s;
+        const out = rewriteStmt(s);
+        for (const [id, flag] of [...active]) {
+            if (flag.module !== initOf)
+                continue;
+            const sets = !everyStmt(out, {
+                expr: () => true,
+                stmt: (inner) => !(inner.kind === "assign" && inner.localId === flag.flagId),
+            });
+            if (sets)
+                active.delete(id);
+        }
+        return out;
+    });
+}
+/** Class layouts that read module storage directly (an evaluated heritage
+ * value, a symbol-keyed field) bypass the checks: refuse when that storage
+ * is a flagged import-cycle binding, and leave a same-module binding
+ * unchecked. */
+export function refuseUncheckedCycleReads(lowerer, classes) {
+    if (lowerer.cycleInitFlags.size === 0)
+        return;
+    for (const cls of classes) {
+        const ids = [cls.baseValueGlobal, ...(cls.symbolFields ?? []).map((f) => f.globalId)];
+        for (const id of ids) {
+            const flag = id === undefined ? undefined : lowerer.cycleInitFlags.get(id);
+            if (flag === undefined)
+                continue;
+            if (!flag.cycle) {
+                // A same-module binding whose storage a class layout reads keeps
+                // the unchecked behavior: no check, and no refusal.
+                lowerer.cycleInitFlags.delete(id);
+                continue;
+            }
+            if (lowerer.remainder)
+                continue;
+            const loc = flag.global.source?.loc ?? { file: lowerer.entry.fileName, start: 0, end: 0 };
+            lowerer.pushDiag(unsupportedDiag("SC1016", loc, `circular imports (the class layout reads '${flag.name}' directly, before an initialization check can run)`));
+        }
+    }
+}
+//# sourceMappingURL=cycle-initialization.js.map

package/dist/frontend/lowering/cycle-initialization.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cycle-initialization.js","sourceRoot":"","sources":["../../../src/frontend/lowering/cycle-initialization.ts"],"names":[],"mappings":"AAAA;;;;;+DAK+D;AAC/D,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAExC,OAAO,EACL,kBAAkB,EAClB,KAAK,EACL,mBAAmB,GAEpB,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAClE,OAAO,EACL,IAAI,EACJ,MAAM,EACN,IAAI,GAQL,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAiBnF;;;;;mEAKmE;AACnE,MAAM,UAAU,sBAAsB,CAAC,OAAgB;IACrD,MAAM,KAAK,GAAG,kBAAkB,CAC9B,OAAO,CAAC,OAAO,EACf,OAAO,CAAC,KAAK,EACb,OAAO,CAAC,WAAW,EACnB,OAAO,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,CACvE,CAAC;IACF,MAAM,MAAM,GAAG,CAAC,IAAa,EAAE,MAAc,EAAQ,EAAE;QACrD,IAAI,OAAO,CAAC,SAAS;YAAE,OAAO;QAC9B,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,qBAAqB,MAAM,GAAG,CAAC,CAAC,CAAC;IAC3F,CAAC,CAAC;IACF,KAAK,MAAM,OAAO,IAAI,KAAK,EAAE,CAAC;QAC5B,MAAM,KAAK,GAAG,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,iBAAiB,OAAO,CAAC,MAAM,CAAC,QAAQ,8CAA8C,CAAC;QAC1H,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC3B,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,mBAAmB,KAAK,8BAA8B,CAAC,CAAC;YAClF,SAAS;QACX,CAAC;QACD,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC7B,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,aAAa,KAAK,EAAE,CAAC,CAAC;YAChD,SAAS;QACX,CAAC;QACD,MAAM,MAAM,GAAG,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC3D,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,eAAe,KAAK,yCAAyC,CAAC,CAAC;YACzF,SAAS;QACX,CAAC;QACD,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YACjC,MAAM,CACJ,OAAO,CAAC,MAAM,EACd,eAAe,KAAK,kEAAkE,CACvF,CAAC;YACF,SAAS;QACX,CAAC;QACD,gBAAgB,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IACnD,CAAC;IACD,qEAAqE;IACrE,wEAAwE;IACxE,4DAA4D;IAC5D,KAAK,MAAM,OAAO,IAAI,mBAAmB,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;QAChF,MAAM,MAAM,GAAG,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC3D,IAAI,MAAM,KAAK,SAAS,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YACzD,gBAAgB,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;QACpD,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CACvB,OAAgB,EAChB,OAA0B,EAC1B,MAAgB,EAChB,KAAc;IAEd,IAAI,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QAAE,OAAO;IAClD,MAAM,MAAM,GAAG,GAAG,MAAM,CAAC,EAAE,cAAc,CAAC;IAC1C,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;IAC1F,MAAM,CAAC,QAAQ,GAAG,MAAM,CAAC;IACzB,MAAM,IAAI,GAAkB;QAC1B,MAAM;QACN,MAAM;QACN,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI;QACvB,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,KAAK;KACN,CAAC;IACF,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IAC5C,MAAM,IAAI,GAAG,kBAAkB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9C,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,MAAM,IAAI,GAAG,OAAO,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QAC3D,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChB,OAAO,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAChD,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAa;IACvC,KAAK,IAAI,CAAC,GAAwB,IAAI,CAAC,MAAM,EAAE,CAAC,KAAK,SAAS,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;QAC7E,IAAI,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;QACxC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;IACtC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,OAAO,CAAC,IAAmB,EAAE,GAAW;IAC/C,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,IAAI,CAAC,MAAM;QACpB,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;QACxD,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;mDAEmD;AACnD,MAAM,UAAU,kBAAkB,CAChC,OAAgB,EAChB,IAAkB,EAClB,OAAiB;IAEjB,MAAM,KAAK,GAAG,OAAO,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACtD,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC;IACxC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAU,CAAC,CAAC,CAAC;IACrE,MAAM,KAAK,GAAG,CAAC,IAAc,EAAY,EAAE;QACzC,MAAM,GAAG,GAAa,EAAE,CAAC;QACzB,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;gBACvB,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACZ,SAAS;YACX,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;gBAClD,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;gBAC/E,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;gBAC1B,SAAS;YACX,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBACvB,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACxC,SAAS;YACX,CAAC;YACD,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACZ,uEAAuE;YACvE,KAAK,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,EAAE,CAAC;gBACtC,IAAI,MAAM,GAAG,KAAK,CAAC;gBACnB,IAAI,MAAM,GAAG,KAAK,CAAC;gBACnB,SAAS,CAAC,CAAC,EAAE;oBACX,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;wBACV,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,OAAO,KAAK,EAAE;4BAAE,MAAM,GAAG,IAAI,CAAC;wBAC/D,OAAO,IAAI,CAAC;oBACd,CAAC;oBACD,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE;wBACd,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,KAAK,EAAE,EAAE,CAAC;4BACnD,KAAgC,CAAC,WAAW,GAAG,IAAI,CAAC;4BACrD,MAAM,GAAG,IAAI,CAAC;wBAChB,CAAC;wBACD,OAAO,IAAI,CAAC;oBACd,CAAC;iBACF,CAAC,CAAC;gBACH,IAAI,MAAM,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;oBAC1B,gEAAgE;oBAChE,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;gBACpC,CAAC;qBAAM,IAAI,MAAM,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC;oBACxC,OAAO,CAAC,QAAQ,CACd,eAAe,CACb,QAAQ,EACR,KAAK,CAAC,IAAI,CAAC,EACX,yCAAyC,IAAI,CAAC,IAAI,8EAA8E,CACjI,CACF,CAAC;gBACJ,CAAC;gBACD,IAAI,MAAM,IAAI,MAAM,EAAE,CAAC;oBACrB,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;oBAC/B,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;gBACrB,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IACF,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC;IAC3B,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,MAAM,EAAE;QAAE,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IAClE,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;qEAMqE;AACrE,MAAM,UAAU,yBAAyB,CAAC,OAAgB,EAAE,GAAa;IACvE,IAAI,OAAO,CAAC,cAAc,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO;IAC9C,MAAM,UAAU,GAAG,IAAI,GAAG,EAAyB,CAAC;IACpD,KAAK,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,OAAO,CAAC,UAAU;QAAE,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACtE,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,SAAS;QAAE,eAAe,CAAC,OAAO,EAAE,EAAE,EAAE,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;AACxF,CAAC;AAED,SAAS,eAAe,CACtB,OAAgB,EAChB,EAAc,EACd,MAAiC;IAEjC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAyB,CAAC;IAChD,KAAK,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,OAAO,CAAC,cAAc,EAAE,CAAC;QAChD,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAChF,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QACvB,CAAC;IACH,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO;IAC9B,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,MAAM,KAAK,GAAG,CAAC,IAAmB,EAAE,GAAW,EAAU,EAAE;QACzD,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,iBAAiB;YACvB,IAAI,EAAE;gBACJ,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;gBACzD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;aACxD;YACD,IAAI,EAAE,IAAI;YACV,GAAG;SACJ,CAAC;QACF,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACzC,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,IAAY,EAAU,EAAE;QACpC,MAAM,EAAE,GAAG,cAAc,KAAK,EAAE,EAAE,CAAC;QACnC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;QACjE,OAAO,EAAE,CAAC;IACZ,CAAC,CAAC;IACF,wEAAwE;IACxE,oEAAoE;IACpE,8CAA8C;IAC9C,MAAM,IAAI,GAAG;QACX,IAAI,EAAE,CAAC,CAAS,EAAU,EAAE;YAC1B,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY;gBAAE,OAAO,CAAC,CAAC;YACpF,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACnC,IAAI,IAAI,KAAK,SAAS;gBAAE,OAAO,CAAC,CAAC;YACjC,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;gBAC5B,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBAC7B,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC;gBACrF,MAAM,KAAK,GAAW,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC;gBACtC,OAAO;oBACL,IAAI,EAAE,SAAS;oBACf,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;oBACvF,MAAM,EAAE,KAAK;oBACb,IAAI,EAAE,CAAC,CAAC,IAAI;oBACZ,GAAG,EAAE,CAAC,CAAC,GAAG;iBACX,CAAC;YACJ,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC;QAC/F,CAAC;QACD,IAAI,EAAE,CAAC,CAAS,EAAU,EAAE;YAC1B,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,WAAW;gBAAE,OAAO,CAAC,CAAC;YACnD,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACnC,IAAI,IAAI,KAAK,SAAS;gBAAE,OAAO,CAAC,CAAC;YACjC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC7B,MAAM,KAAK,GAAW;gBACpB,IAAI,EAAE,QAAQ;gBACd,OAAO,EAAE,CAAC,CAAC,OAAO;gBAClB,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE;gBACrE,GAAG,EAAE,CAAC,CAAC,GAAG;aACX,CAAC;YACF,OAAO;gBACL,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE;oBACJ,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE;oBAC1D,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC;oBAClB,KAAK;iBACN;gBACD,GAAG,EAAE,CAAC,CAAC,GAAG;aACX,CAAC;QACJ,CAAC;KACF,CAAC;IACF,MAAM,WAAW,GAAG,CAAC,CAAS,EAAU,EAAE,CACxC,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC;IAC1D,MAAM,WAAW,GAAG,CAAC,CAAS,EAAU,EAAE,CACxC,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC;IAC1D,MAAM,WAAW,GAAG,CAAC,IAAc,EAAY,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IACxE,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,EAAE,CAAC,IAAI,GAAG,WAAW,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAC/B,OAAO;IACT,CAAC;IACD,gEAAgE;IAChE,oDAAoD;IACpD,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAC1B,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC;YAAE,OAAO,CAAC,CAAC;QAChC,MAAM,GAAG,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;QAC3B,KAAK,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC;YACrC,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM;gBAAE,SAAS;YACrC,MAAM,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,EAAE;gBAC3B,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;gBAChB,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,KAAK,IAAI,CAAC,MAAM,CAAC;aAC7E,CAAC,CAAC;YACH,IAAI,IAAI;gBAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC9B,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;gBAGgB;AAChB,MAAM,UAAU,yBAAyB,CACvC,OAAgB,EAChB,OAAuF;IAEvF,IAAI,OAAO,CAAC,cAAc,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO;IAC9C,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,eAAe,EAAE,GAAG,CAAC,GAAG,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;QACtF,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;YACrB,MAAM,IAAI,GAAG,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC3E,IAAI,IAAI,KAAK,SAAS;gBAAE,SAAS;YACjC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;gBAChB,iEAAiE;gBACjE,oDAAoD;gBACpD,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,EAAG,CAAC,CAAC;gBACnC,SAAS;YACX,CAAC;YACD,IAAI,OAAO,CAAC,SAAS;gBAAE,SAAS;YAChC,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;YAC1F,OAAO,CAAC,QAAQ,CACd,eAAe,CACb,QAAQ,EACR,GAAG,EACH,6CAA6C,IAAI,CAAC,IAAI,qDAAqD,CAC5G,CACF,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/frontend/lowering/divergences.d.ts

@@ -0,0 +1,9 @@
+import * as ts from "../ts7/adapter.js";
+import { type ScrDiagnostic } from "../../diagnostics/diagnostic.js";
+import type { Lowerer } from "./lowerer.js";
+export declare function scanDivergences(lowerer: Lowerer, files: readonly ts.SourceFile[]): ScrDiagnostic[];
+/** The date-string grammar the native runtime accepts (scr_lib.c
+ * scr_date_parse_get_time): ECMAScript's date-time format with an explicit
+ * offset (date-only forms are UTC) and the certificate-time shape
+ * "Mon DD HH:MM:SS YYYY GMT". Everything else parses to NaN natively. */
+export declare function nativeDateParses(text: string): boolean;