@scriptc/compiler 0.2.7 → 0.2.9

package/dist/frontend/program-analysis.d.ts

@@ -1,5 +1,11 @@
 import type { ExportDeclaration, SourceFile, VariableDeclaration } from "./ts7/ast-types.js";
 import type { ModuleSourceCandidates } from "./module-source-candidates.js";
+import type { CycleEarlyBinding } from "./program.js";
+/** Early bindings computed for one module order of a program. */
+export interface EarlyBindingsMemo {
+    key: string;
+    bindings: CycleEarlyBinding[];
+}
 /** Facts owned by one program snapshot. Strong collections are bounded by
  * the program lifecycle, so neither GC finalizers nor native weak handles
  * are needed, and newer snapshots cannot inherit stale package decisions. */
@@ -8,5 +14,9 @@ export declare class ProgramAnalysis {
     readonly nodeEsmFiles: Map<SourceFile, boolean>;
     readonly prunedNpmReexports: Set<ExportDeclaration>;
     readonly moduleSourceCandidates: Map<SourceFile, ModuleSourceCandidates>;
+    /** The modules of every import cycle the exact initialization rule admitted. */
+    readonly exactCycleMembers: Set<SourceFile>;
+    cycleEarlyBindings: EarlyBindingsMemo | null;
+    moduleEarlyBindings: EarlyBindingsMemo | null;
     clear(): void;
 }

package/dist/frontend/program-analysis.js

@@ -6,11 +6,18 @@ export class ProgramAnalysis {
     nodeEsmFiles = new Map();
     prunedNpmReexports = new Set();
     moduleSourceCandidates = new Map();
+    /** The modules of every import cycle the exact initialization rule admitted. */
+    exactCycleMembers = new Set();
+    cycleEarlyBindings = null;
+    moduleEarlyBindings = null;
     clear() {
         this.createRequireReasons.clear();
         this.nodeEsmFiles.clear();
         this.prunedNpmReexports.clear();
         this.moduleSourceCandidates.clear();
+        this.exactCycleMembers.clear();
+        this.cycleEarlyBindings = null;
+        this.moduleEarlyBindings = null;
     }
 }
 //# sourceMappingURL=program-analysis.js.map

package/dist/frontend/program-analysis.js.map

@@ -1 +1 @@
-{"version":3,"file":"program-analysis.js","sourceRoot":"","sources":["../../src/frontend/program-analysis.ts"],"names":[],"mappings":"AAGA;;6EAE6E;AAC7E,MAAM,OAAO,eAAe;IACjB,oBAAoB,GAAG,IAAI,GAAG,EAAsC,CAAC;IACrE,YAAY,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC9C,kBAAkB,GAAG,IAAI,GAAG,EAAqB,CAAC;IAClD,sBAAsB,GAAG,IAAI,GAAG,EAAsC,CAAC;IAEhF,KAAK;QACH,IAAI,CAAC,oBAAoB,CAAC,KAAK,EAAE,CAAC;QAClC,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC;QAC1B,IAAI,CAAC,kBAAkB,CAAC,KAAK,EAAE,CAAC;QAChC,IAAI,CAAC,sBAAsB,CAAC,KAAK,EAAE,CAAC;IACtC,CAAC;CACF"}
+{"version":3,"file":"program-analysis.js","sourceRoot":"","sources":["../../src/frontend/program-analysis.ts"],"names":[],"mappings":"AAUA;;6EAE6E;AAC7E,MAAM,OAAO,eAAe;IACjB,oBAAoB,GAAG,IAAI,GAAG,EAAsC,CAAC;IACrE,YAAY,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC9C,kBAAkB,GAAG,IAAI,GAAG,EAAqB,CAAC;IAClD,sBAAsB,GAAG,IAAI,GAAG,EAAsC,CAAC;IAChF,gFAAgF;IACvE,iBAAiB,GAAG,IAAI,GAAG,EAAc,CAAC;IACnD,kBAAkB,GAA6B,IAAI,CAAC;IACpD,mBAAmB,GAA6B,IAAI,CAAC;IAErD,KAAK;QACH,IAAI,CAAC,oBAAoB,CAAC,KAAK,EAAE,CAAC;QAClC,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC;QAC1B,IAAI,CAAC,kBAAkB,CAAC,KAAK,EAAE,CAAC;QAChC,IAAI,CAAC,sBAAsB,CAAC,KAAK,EAAE,CAAC;QACpC,IAAI,CAAC,iBAAiB,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,CAAC,kBAAkB,GAAG,IAAI,CAAC;QAC/B,IAAI,CAAC,mBAAmB,GAAG,IAAI,CAAC;IAClC,CAAC;CACF"}

package/dist/frontend/program.d.ts

@@ -1,6 +1,14 @@
 import * as ts from "./ts7/adapter.js";
 import type { ScrDiagnostic } from "../diagnostics/diagnostic.js";
 import type { FrontendServices } from "./services.js";
+export interface TypeWorldDifferences {
+    /** No @types/node: the bundled fallback declarations type Node. */
+    nodeFallback: boolean;
+    /** The project tsconfig's "lib" entries (scriptc checks with its own). */
+    projectLib: readonly string[] | null;
+    /** The project disables strictNullChecks; scriptc forces it on. */
+    forcedStrictNullChecks: boolean;
+}
 export interface LoadResult {
     program: ts.Program;
     entry: ts.SourceFile;
@@ -23,6 +31,9 @@ export interface LoadResult {
      * checkPreflight. */
     startupCrash?: StartupCrash | null;
     configDiags: ScrDiagnostic[];
+    /** How scriptc's type world differs from the project's own tsc setup —
+     * used only to label the TypeScript errors those differences cause. */
+    typeWorld?: TypeWorldDifferences;
     /** Coverage-only external host modules: exact bare specifier → local
      * declaration file. These participate in checker resolution but never
      * become runtime module edges. */
@@ -186,6 +197,20 @@ export interface CycleEarlyBinding {
  * Otherwise every deferred reference and every top-level reference from
  * another member counts. */
 export declare function cycleEarlyBindings(program: ts.Program, entry: ts.SourceFile, order: readonly ts.SourceFile[], singleRoot: boolean): CycleEarlyBinding[];
+/** Top-level let/const bindings, in modules outside the exactly-initialized
+ * cycles, that code running before their declaration completes can read.
+ * Function declarations are callable from the module's start, so a call
+ * made by earlier top-level code (or by the declaration's own initializer)
+ * can observe the temporal dead zone. Reachability is syntactic: a stored
+ * callable (a function or class declaration, or a function, class or
+ * object-literal method stored by a variable initializer) becomes reachable
+ * once reachable code names its binding, and every other function-like in
+ * reachable code counts as reachable because it may be handed to a callee.
+ * A binding is reported only when one of its references in a deferred
+ * position is reachable before the declaration ran, so modules that call
+ * nothing early report nothing. Bindings of exactly-initialized cycles are
+ * covered by cycleEarlyBindings. */
+export declare function moduleEarlyBindings(program: ts.Program, order: readonly ts.SourceFile[]): CycleEarlyBinding[];
 /** Resolves an import specifier from `from` to a source file of the
  * program, or null (unresolvable / outside the program). Exported (as
  * resolveImport) for the lowering: CommonJS require statements lower to