@scriptc/compiler 0.4.3 → 0.4.4

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

@@ -15,6 +15,7 @@ import { type ContractAnnotations } from "../contract-types.js";
 import type { WidthLift } from "./width-lift.js";
 import { type FnCtx } from "./function-context.js";
 import type { FrontendServices } from "../services.js";
+import type { FsPathPlan } from "./builtins/fs-paths.js";
 import { type ProtocolDispatch } from "./class-protocol-dispatch.js";
 import { type DynamicFunction } from "../../ir/tiers.js";
 import { type TierMode, type TierReport } from "../tier-analysis.js";
@@ -33,6 +34,7 @@ import { ShapeRegistry, type TypeMapperCtx, UnionRegistry } from "../type-mapper
 import { type CompoundOp, type StdlibFnEntry, type BuiltinModuleFn } from "./surfaces.js";
 import { type BuiltinClassRef } from "./builtins/class-values.js";
 import { type FileParts } from "./lower-modules.js";
+import { type SplitRequireBinding } from "./cjs-inline-require.js";
 import { type ClassInfo, type ClassIteratorInfo, type GenericClassInfo, findStaticOn } from "./lower-classes.js";
 import { type MixinFnShape } from "./lower-mixins.js";
 import { type ParamShape, type FnSig } from "./call-signatures.js";
@@ -576,6 +578,14 @@ export declare class Lowerer {
     /** Per CommonJS file using top-level `this`: the global holding the
      * object that stands for its original exports (lowerCjsTopLevelThis). */
     readonly cjsExportsThis: Map<ts.SourceFile, IrGlobal>;
+    /** `var m; m = require("./x")` alias bindings (cjs-inline-require.ts).
+     * Null entries cache declarations that keep ordinary storage. */
+    readonly cjsSplitRequireBindings: Map<ts.VariableDeclaration, SplitRequireBinding | null>;
+    /** Per-module whole-export symbol (cjs-inline-require.ts). Null means the
+     * module's exports are a table. */
+    readonly cjsWholeExportSymbols: Map<ts.SourceFile, ts.Symbol | null>;
+    /** Per-module live member-export classification (cjs-inline-require.ts). */
+    readonly cjsLiveMemberExports: Map<ts.SourceFile, boolean>;
     /** Inline program-module require calls whose %init the enclosing member
      * read or member call is already sequencing (cjs-inline-require.ts). */
     readonly inlineRequireInitDone: Set<ts.CallExpression>;
@@ -630,6 +640,10 @@ export declare class Lowerer {
     readonly runtimeOptionalFields: Set<string>;
     /** Bindings initialized by a Date's `toJSON()` (analyzeDateJsonResults). */
     readonly dateJsonBindings: Set<ts.Symbol>;
+    /** isTimeValueDateDeclaration's answers, and the locals that hold a
+     * Date's time value instead of a Date object (date-values.ts). */
+    readonly timeValueDateDecisions: Map<import("../ts7/ast-node.js").AstNode, boolean>;
+    readonly timeValueDateLocals: Set<IrLocal>;
     /** Record bindings whose flow class reaches storage outside the class:
      * they keep the declared layout, so an initializer from unchecked reads
      * converts once instead of the binding adopting the widened variant. */
@@ -743,6 +757,8 @@ export declare class Lowerer {
     /** Parameters read as `any` in the error-path copy of an error-first
      * callback. */
     readonly anySymbols: Set<ts.Symbol>;
+    /** overload-choice's answers per call, binding and function. */
+    readonly dynamicOverloadAnswers: Map<import("../ts7/ast-node.js").AstNode, boolean>;
     /** Error parameters of an error-first callback with a known value in
      * the copy being lowered: true while it holds an Error, false while it
      * holds null (staticCondition folds conditions on them). */
@@ -817,6 +833,9 @@ export declare class Lowerer {
     /** util.inspect's per-type traversal helpers (%util.insp.N), interned
      * by typeKey — the assertHelpers pattern with its own namespace. */
     readonly inspectHelpers: Map<string, string>;
+    /** Indexed-union safe-read helpers mapped to their numeric twins, for the
+     * fusion of an immediate ToNumber (tryLowerNumericIndexRead). */
+    readonly indexedUnionNumericTwins: Map<string, string>;
     private readonly unionLiteralOwners;
     private readonly strippedUndefinedArms;
     private readonly addedUndefinedArms;
@@ -851,6 +870,10 @@ export declare class Lowerer {
      * checks resolve through this map (stdlibGlobalNameOf), declarations
      * emit nothing. */
     readonly stdlibGlobalAliases: Map<ts.Symbol, string>;
+    /** The stdlibGlobalAliases bound through a cast of the global object
+     * (`(globalThis as { Buffer?: B }).Buffer`). Their static type is the
+     * cast's, so their value reads are refused (identifiers.ts). */
+    readonly castGlobalAliases: Set<ts.Symbol>;
     /** CJS export-table ACCESSORS (`module.exports = { get path() {...} }`),
      * lifted lazily as module-level functions and interned per accessor
      * declaration: member reads call the getter (lower-exprs). */
@@ -1048,8 +1071,13 @@ export declare class Lowerer {
         localId: string;
         type: IrType;
     } | null>;
-    /** The staged arguments that follow each such URL path, in order. */
-    readonly stagedAfterPath: Map<ts.ExpressionBase, ts.ExpressionBase[]>;
+    /** What each fs path argument of a URL-path call lowers to (the plans
+     * of builtins/fs-paths.ts). */
+    readonly fsPathPlans: Map<ts.ExpressionBase, FsPathPlan>;
+    /** The existsSync/fs.promises calls whose converted URL paths are being
+     * lowered into the call itself (lowerFallibleFsUrlCall). A call may be
+     * lowered more than once, and each lowering converts again. */
+    readonly fallibleFsCalls: Set<ts.CallExpression>;
     readonly moduleNsParamOverrides: Map<ts.ParameterDeclaration, {
         kind: "moduleNs";
         moduleId: string;

package/dist/frontend/lowering/lowerer.js

@@ -14,6 +14,7 @@ import { internTableType, lowerInternTableCall, lowerInternTableNew } from "./in
 import { lowerThreadSlotsCall, lowerThreadSlotsNew, threadSlotsType } from "./thread-slots.js";
 import { isExperimentalDeclarationFile } from "../experimental-import.js";
 import { checkCycleBindingAccesses, refuseUncheckedCycleReads, } from "./cycle-initialization.js";
+import { bindCompletionCallbacks } from "./completion-callbacks.js";
 import { isJsonRequireDecl } from "./json-require.js";
 import { checkRequireBindingAccesses, } from "./require-initialization.js";
 import { identityPreservingWidening } from "./coercions/identity.js";
@@ -69,10 +70,11 @@ import { bindingInContext, captureContextBinding, declareContextLocal, declareCo
 import { InternalCompilerError } from "../../errors.js";
 import { defaultAfterUndefined, lowerStaticallyUndefinedArgument } from "./optional-arguments.js";
 import {} from "./class-protocol-dispatch.js";
-import { ClassDynamicDispatch, trackClassFieldCreation } from "./class-dynamic-dispatch.js";
+import { ClassDynamicDispatch, boxClassInstancesExactly, trackClassFieldCreation, } from "./class-dynamic-dispatch.js";
 import { guardClassAttributeWrites } from "./class-attributes.js";
 import { guardFrozenWrites, markSloppyRecordWrites } from "./frozen-records.js";
 import { applyHandleProperties } from "./handle-properties.js";
+import { installBufferValue } from "./containers/bytes.js";
 import { ClassProtocols } from "./class-protocols.js";
 import { earlyReadVarSymbols } from "./var-hoisting.js";
 import { recordTextCodecClass } from "../../ir/ir.js";
@@ -116,7 +118,7 @@ import { builtinConstLit, builtinModuleConstOf, builtinModulesArrayLit, builtinF
 import { builtinClassAliasOf, runtimeClassValueOfType, } from "./builtins/class-values.js";
 import { splitFiles, collectProgram, collectNpmImports, collectJsonImports, moduleArtifacts, collectGlobals, declSymbolOf, defaultExportSymbolOf, lowerFileInit, lowerDefaultExport, buildMain, appendDynamicImportModules, appendForkModules, appendWorkerModules, } from "./lower-modules.js";
 import { prepareCjsModuleGraph, usesCjsTopLevelThis } from "./lower-node-module.js";
-import { cjsNamespaceModule, cjsWholeExportValueOf, inlineNamespaceRequireOf, inlineProgramRequireOf, } from "./cjs-inline-require.js";
+import { cjsNamespaceModule, cjsWholeExportValueOf, inlineNamespaceRequireOf, inlineProgramRequireOf, splitRequireBindingOf, splitWholeExportAliasTargetOf, } from "./cjs-inline-require.js";
 import { tscInteropModuleOf } from "./cjs-tsc-interop.js";
 import { usesCjsExportsIdentity } from "./cjs-exports-object.js";
 import { registerBuiltinEventTargetClasses } from "./lower-event-target.js";
@@ -124,6 +126,7 @@ import { registerBuiltinErrorClasses, defineClassValueConstruct, runtimeClassCon
 import { mixinCallClassInfoOf, mixinIntersectionInstanceType, } from "./lower-mixins.js";
 import { tryLowerExpression } from "./expressions/try-lower-expression.js";
 import { funcTypeFromParamShapes, isThisParameter, paramShape, paramShapes, checkDefaultParamBodyType, requireExactArityValue, collectSignature, collectSignatureInner, lambdaSignature, } from "./call-signatures.js";
+import { dynamicOverloadChoice, guessedOverloadIdentifier } from "./overload-choice.js";
 import { implicitAnyParamSymbolsOf, implicitLocalFnNodeOf, implicitMonoFile, collectGenericSignature, genericFnOf, lowerGenericCall, lowerGenericFnValue, inferTypeParamBindings, lowerGenericInstance, genericLocalClassBinding, } from "./generic-functions.js";
 import { bindingNeverReassigned } from "./binding-analysis.js";
 import { bodyReadsArguments } from "../arguments-usage.js";
@@ -1519,6 +1522,14 @@ export class Lowerer {
     /** Per CommonJS file using top-level `this`: the global holding the
      * object that stands for its original exports (lowerCjsTopLevelThis). */
     cjsExportsThis = new Map();
+    /** `var m; m = require("./x")` alias bindings (cjs-inline-require.ts).
+     * Null entries cache declarations that keep ordinary storage. */
+    cjsSplitRequireBindings = new Map();
+    /** Per-module whole-export symbol (cjs-inline-require.ts). Null means the
+     * module's exports are a table. */
+    cjsWholeExportSymbols = new Map();
+    /** Per-module live member-export classification (cjs-inline-require.ts). */
+    cjsLiveMemberExports = new Map();
     /** Inline program-module require calls whose %init the enclosing member
      * read or member call is already sequencing (cjs-inline-require.ts). */
     inlineRequireInitDone = new Set();
@@ -1569,6 +1580,10 @@ export class Lowerer {
     runtimeOptionalFields = new Set();
     /** Bindings initialized by a Date's `toJSON()` (analyzeDateJsonResults). */
     dateJsonBindings = new Set();
+    /** isTimeValueDateDeclaration's answers, and the locals that hold a
+     * Date's time value instead of a Date object (date-values.ts). */
+    timeValueDateDecisions = new Map();
+    timeValueDateLocals = new Set();
     /** Record bindings whose flow class reaches storage outside the class:
      * they keep the declared layout, so an initializer from unchecked reads
      * converts once instead of the binding adopting the widened variant. */
@@ -2016,6 +2031,8 @@ export class Lowerer {
     /** Parameters read as `any` in the error-path copy of an error-first
      * callback. */
     anySymbols = new Set();
+    /** overload-choice's answers per call, binding and function. */
+    dynamicOverloadAnswers = new Map();
     /** Error parameters of an error-first callback with a known value in
      * the copy being lowered: true while it holds an Error, false while it
      * holds null (staticCondition folds conditions on them). */
@@ -2090,6 +2107,9 @@ export class Lowerer {
     /** util.inspect's per-type traversal helpers (%util.insp.N), interned
      * by typeKey — the assertHelpers pattern with its own namespace. */
     inspectHelpers = new Map();
+    /** Indexed-union safe-read helpers mapped to their numeric twins, for the
+     * fusion of an immediate ToNumber (tryLowerNumericIndexRead). */
+    indexedUnionNumericTwins = new Map();
     unionLiteralOwners = new Map();
     strippedUndefinedArms = new Map();
     addedUndefinedArms = new Map();
@@ -2120,6 +2140,10 @@ export class Lowerer {
      * checks resolve through this map (stdlibGlobalNameOf), declarations
      * emit nothing. */
     stdlibGlobalAliases = new Map();
+    /** The stdlibGlobalAliases bound through a cast of the global object
+     * (`(globalThis as { Buffer?: B }).Buffer`). Their static type is the
+     * cast's, so their value reads are refused (identifiers.ts). */
+    castGlobalAliases = new Set();
     /** CJS export-table ACCESSORS (`module.exports = { get path() {...} }`),
      * lifted lazily as module-level functions and interned per accessor
      * declaration: member reads call the getter (lower-exprs). */
@@ -2292,8 +2316,13 @@ export class Lowerer {
      * (builtins/fs-paths.ts): each lowers to the hidden local that holds its
      * value, which is null until the path's lowering has saved it. */
     stagedArguments = new Map();
-    /** The staged arguments that follow each such URL path, in order. */
-    stagedAfterPath = new Map();
+    /** What each fs path argument of a URL-path call lowers to (the plans
+     * of builtins/fs-paths.ts). */
+    fsPathPlans = new Map();
+    /** The existsSync/fs.promises calls whose converted URL paths are being
+     * lowered into the call itself (lowerFallibleFsUrlCall). A call may be
+     * lowered more than once, and each lowering converts again. */
+    fallibleFsCalls = new Set();
     moduleNsParamOverrides = new Map();
     /** File → qualifier prefix: "" for the entry, "%mI." otherwise. */
     fileTag = new Map();
@@ -3197,6 +3226,12 @@ export class Lowerer {
         const cjsValue = this.cjsExportValueSymbol(symbol);
         if (cjsValue)
             symbol = cjsValue;
+        // `var m; m = require("./x"); module.exports = m` over a whole-export
+        // target: TS types the wrapper's export= as `any`, so reconnect it to
+        // the target's value symbol explicitly.
+        const splitAlias = splitWholeExportAliasTargetOf(this, symbol);
+        if (splitAlias)
+            symbol = splitAlias;
         this.flushDeferred(symbol);
         return symbol;
     }
@@ -3310,7 +3345,7 @@ export class Lowerer {
         // exact mappings, while star exports resolve to the mapped declaration
         // owner through externalTypeSpecifiersByFile.
         const moduleSymbol = this.checker.getSymbolAtLocation(sf);
-        const exported = moduleSymbol?.getExports().get(exportName);
+        const exported = moduleSymbol?.getExports().get(ts.escapedSymbolName(exportName));
         return this.externalTypeSpecifierOfSymbol(exported, seenSymbols, seenExports);
     }
     externalTypeSpecifierOfNamespaceMember(expr, member) {
@@ -3451,7 +3486,7 @@ export class Lowerer {
     cjsModuleExportSymbol(sf, name) {
         const moduleSym = this.checker.getSymbolAtLocation(sf);
         const exports = moduleSym?.getExports();
-        const direct = exports?.get(name);
+        const direct = exports?.get(ts.escapedSymbolName(name));
         if (direct)
             return direct;
         // tsgo represents `module.exports = { ... }` as one `export=` symbol
@@ -3601,8 +3636,10 @@ export class Lowerer {
             return null;
         if (ts.isImportClause(decl))
             return this.cjsDefaultImportDepOf(decl);
-        if (!ts.isVariableDeclaration(decl) || !ts.isIdentifier(decl.name) || !decl.initializer)
+        if (!ts.isVariableDeclaration(decl) || !ts.isIdentifier(decl.name))
             return null;
+        if (decl.initializer === undefined)
+            return splitRequireBindingOf(this, decl)?.dep ?? null;
         {
             const interop = tscInteropModuleOf(this, expr);
             if (interop !== null)
@@ -3705,6 +3742,10 @@ export class Lowerer {
         if (!ts.isIdentifier(expr))
             return this.cjsModuleRefDepOf(expr) !== null;
         const sym = this.checker.getSymbolAtLocation(expr);
+        const splitDecl = sym?.declarations.find(ts.isVariableDeclaration);
+        const split = splitDecl === undefined ? null : splitRequireBindingOf(this, splitDecl);
+        if (split !== null)
+            return cjsNamespaceModule(this, split.dep);
         if (this.localModuleBindingDepOf(expr) === null)
             return false;
         if (this.createRequireWholeExportSymbolOf(expr) !== null)
@@ -4012,6 +4053,9 @@ export class Lowerer {
      * their external dependencies by name). Null for everything else
      * (builtins load nothing; the rest kept its preflight fence). */
     requireInitStmt(spec, node) {
+        if (this.inlineRequireCycleCalls.has(node)) {
+            this.unsupported("SC1090", node, `require() of '${spec}' while it is still evaluating (a require cycle: Node answers its partial exports, which the static export table does not model)`);
+        }
         if (canonicalBuiltinModule(spec) === "punycode")
             return this.punycodeRequireWarning(node);
         // Project requires resolve within the program; another bare require can
@@ -6830,9 +6874,11 @@ export class Lowerer {
         finalizeClassMethodValues(this, functions);
         finalizePrivateBrands(this, functions);
         trackClassFieldCreation(this, functions);
+        boxClassInstancesExactly(this, functions);
         guardClassAttributeWrites(this, functions);
         guardFrozenWrites(this, functions);
         applyHandleProperties(this, functions);
+        installBufferValue(functions);
         // Globals typed by a class that never REGISTERED (a JS class whose
         // collection fenced — Symbol-keyed fields, an unsupported base): the
         // declaration statement and every use compiled to runtime fences, but
@@ -6948,6 +6994,8 @@ export class Lowerer {
             sanitizeUnregisteredClassTypes(module, (name) => this.classes.has(name));
         if (module)
             checkCycleBindingAccesses(this, module);
+        if (module)
+            bindCompletionCallbacks(module);
         // Execution tiers from the final bodies (ir/tiers.ts). Assigned with or
         // without a module: coverage reports the dynamic tier of programs that
         // still have blockers.
@@ -7925,6 +7973,16 @@ export class Lowerer {
     typeOf(node) {
         if (this.anySymbols.size > 0 && this.readsAnySymbol(node))
             return this.checker.getAnyType();
+        // A checked-dynamic argument that another overload could take at run
+        // time leaves the resolved overload's return a guess, and JS bindings
+        // initialized with that result hold whatever it was.
+        if ((ts.isCallExpression(node) || ts.isNewExpression(node)) &&
+            dynamicOverloadChoice(this, node))
+            return this.checker.getAnyType();
+        if (ts.isIdentifier(node) &&
+            isJsSourceFile(ts.getSourceFileOfNode(node)) &&
+            guessedOverloadIdentifier(this, node))
+            return this.checker.getAnyType();
         if (ts.isPropertyAccessExpression(node) && isJsSourceFile(ts.getSourceFileOfNode(node))) {
             const receiver = node.expression.kind === ts.SyntaxKind.ThisKeyword && this.fnStack.length > 0
                 ? this.resolveThis()?.type
@@ -12080,6 +12138,9 @@ export class Lowerer {
                 loc,
             };
         }
+        // The buffer module's Buffer is the global constructor's value.
+        if (bi.module === "buffer" && bi.member === "Buffer")
+            return { kind: "libCall", fn: "buffer.constructor", args: [], type: DYN, loc };
         if (bi.module === "fs" && (bi.member === "realpathSync" || bi.member === "realpathSync.native"))
             return fsRealpathValue(this, bi.member === "realpathSync.native", loc);
         const fn = builtinModuleFnOf(this, bi.module, bi.member);