@scriptc/compiler 0.4.5 → 0.4.6

package/dist/frontend/lowering/surfaces.js

@@ -1,3 +1,4 @@
+import { isWebStreamMemberInJavaScript } from "./builtins/web-streams-dyn.js";
 import * as ts from "../ts7/adapter.js";
 import { staticCondition, staticallySelected } from "./static-typeof.js";
 function unparenthesized(e) {
@@ -1589,7 +1590,8 @@ function buildBuiltinModuleFns() {
         // lowerVarDecl / collectGlobals BEFORE any call lowering runs — and
         // inspect/format/formatWithOptions plus parseArgs through the util spoke
         // (lower-inspect.ts: per-type synthesized traversal helpers,
-        // compile-time format strings, checked-dynamic config/result for
+        // compile-time format strings and the runtime formatter for the others,
+        // checked-dynamic config/result for
         // parseArgs), which both dispatch paths try before the generic table.
         // parseArgs is tabled as well so the generated surface manifest records
         // the dedicated static member; the spoke owns its optional arity and
@@ -1616,6 +1618,67 @@ function buildBuiltinModuleFns() {
                 ],
             },
             parseArgs: { fn: "util.parseArgs", params: [DYN], result: DYN },
+            aborted: {
+                fn: "util.aborted",
+                params: [DYN, DYN],
+                result: DYN,
+                valueParams: [
+                    { mode: "optional", type: DYN, defaultValue: undefined },
+                    { mode: "optional", type: DYN, defaultValue: undefined },
+                ],
+            },
+            diff: {
+                fn: "util.diff",
+                params: [DYN, DYN],
+                result: DYN,
+                valueParams: [
+                    { mode: "optional", type: DYN, defaultValue: undefined },
+                    { mode: "optional", type: DYN, defaultValue: undefined },
+                ],
+            },
+            debounce: {
+                fn: "util.debounce",
+                params: [DYN, DYN, DYN],
+                result: DYN,
+                valueParams: [
+                    { mode: "optional", type: DYN, defaultValue: undefined },
+                    { mode: "optional", type: DYN, defaultValue: undefined },
+                    { mode: "optional", type: DYN, defaultValue: undefined },
+                ],
+            },
+            throttle: {
+                fn: "util.throttle",
+                params: [DYN, DYN, DYN, DYN],
+                result: DYN,
+                valueParams: [
+                    { mode: "optional", type: DYN, defaultValue: undefined },
+                    { mode: "optional", type: DYN, defaultValue: undefined },
+                    { mode: "optional", type: DYN, defaultValue: undefined },
+                    { mode: "optional", type: DYN, defaultValue: undefined },
+                ],
+            },
+            convertProcessSignalToExitCode: {
+                fn: "util.signalExitCode",
+                params: [DYN],
+                result: F64,
+                valueParams: [{ mode: "optional", type: DYN, defaultValue: undefined }],
+            },
+            // The deprecated helpers report DEP0044 and DEP0060 on their first call.
+            isArray: {
+                fn: "util.isArrayDeprecated",
+                params: [DYN],
+                result: BOOL,
+                valueParams: [{ mode: "optional", type: DYN, defaultValue: undefined }],
+            },
+            _extend: {
+                fn: "util.extend",
+                params: [DYN, DYN],
+                result: DYN,
+                valueParams: [
+                    { mode: "optional", type: DYN, defaultValue: undefined },
+                    { mode: "optional", type: DYN, defaultValue: undefined },
+                ],
+            },
             parseEnv: { fn: "util.parseEnv", params: [DYN], result: DYN },
             getSystemErrorName: {
                 fn: "util.getSystemErrorName",
@@ -1680,6 +1743,7 @@ function buildBuiltinModuleFns() {
                     { mode: "optional", type: DYN, defaultValue: undefined },
                 ],
             },
+            // util.debug is util.debuglog, under its name.
             debug: {
                 fn: "util.debuglog",
                 params: [DYN, DYN],
@@ -1688,6 +1752,7 @@ function buildBuiltinModuleFns() {
                     { mode: "required", type: DYN },
                     { mode: "optional", type: DYN, defaultValue: undefined },
                 ],
+                valueName: "debuglog",
             },
         },
         // The util/types spoke supplies the probe name to the shared brand check.
@@ -1740,10 +1805,29 @@ function buildBuiltinModuleFns() {
             transcode: { fn: "buffer.transcode", params: [DYN, DYN, DYN], result: BYTES_U8 },
         },
         tty: {
-            isatty: { fn: "process.isTTY", params: [F64], result: BOOL },
+            isatty: {
+                fn: "process.isTTY",
+                params: [F64],
+                result: BOOL,
+                // As a value (loggers store `tty.isatty`), the adapter takes any
+                // argument: a value that is not an integral fd answers false, and is
+                // never coerced.
+                valueFn: "process.isTTYValue",
+                valueParams: [{ mode: "optional", type: DYN, defaultValue: undefined }],
+                valueLength: 1,
+            },
         },
         process: {
             loadEnvFile: { fn: "process.loadEnvFile", params: [DYN], result: VOID },
+            // Every spelling of process.cwd as a value is this one function, which
+            // reads the directory when it is called.
+            cwd: {
+                fn: "process.cwd",
+                params: [],
+                result: STRING,
+                valueParams: [],
+                valueName: "wrappedCwd",
+            },
         },
         // node:string_decoder's surface is the StringDecoder CLASS — new/write/
         // end are special-cased (lowerNew + lowerStringDecoderMethodCall); no
@@ -1973,7 +2057,9 @@ export const BUILTIN_MODULE_FN_ALIASES = {
         rename: ["fs.checkPath"],
         readlinkSync: ["fs.readlinkSyncStr", "fs.readlinkSyncBuffer"],
         // The bytes-data form and the { mode } options form.
-        writeFileSync: ["fs.writeFileSyncBytes", "fs.writeFileModeSync"],
+        // The bytes-data form, the { mode } options form, and the
+        // file-descriptor data form.
+        writeFileSync: ["fs.writeFileSyncBytes", "fs.writeFileModeSync", "fs.writeFileSyncFd"],
         appendFileSync: ["fs.appendFileSyncBytes"],
         // The fs stream members (bytesRead/bytesWritten, pending, path, close).
         createReadStream: [
@@ -2000,8 +2086,8 @@ export const BUILTIN_MODULE_FN_ALIASES = {
         mkdirSync: ["fs.mkdirModeSync", "fs.mkdirRecursiveSync", "fs.mkdirRecursiveModeSync"],
         // The { recursive, force } and maxRetries/retryDelay option lowerings.
         rmSync: ["fs.rmOptsSync", "fs.rmRetrySync"],
-        // The { withFileTypes: true } Dirent form.
-        readdirSync: ["fs.readdirTypesSync"],
+        // The { withFileTypes: true } Dirent form and the { recursive: true } walk.
+        readdirSync: ["fs.readdirTypesSync", "fs.readdirRecursiveSync"],
         // The { throwIfNoEntry } probe form.
         statSync: ["fs.statProbeSync"],
         // realpathSync and realpathSync.native read as function values.
@@ -2063,6 +2149,9 @@ export const BUILTIN_MODULE_FN_ALIASES = {
         randomInt: ["crypto.randomIntMax", "crypto.randomIntCb", "crypto.randomIntPromise"],
         randomUUID: ["crypto.randomUUIDOpts"],
     },
+    tty: {
+        isatty: ["process.isTTYValue"],
+    },
     os: {
         // lowerOsUserInfoCall assembles the record from scalar libCalls.
         userInfo: ["os.userHomedir", "os.userShell"],
@@ -2472,12 +2561,6 @@ function buildAmbientSurfaceFns() {
             fns: ["process.release"],
             note: "the compatibility target's release metadata as one stable read-only object",
         },
-        {
-            id: "node-builtin.process.cwd",
-            kind: "node-builtin",
-            name: "process.cwd",
-            fns: ["process.cwd"],
-        },
         {
             id: "node-builtin.process.chdir",
             kind: "node-builtin",
@@ -2612,7 +2695,7 @@ function buildAmbientSurfaceFns() {
             id: "node-builtin.process.isTTY",
             kind: "node-builtin",
             name: "process.isTTY",
-            fns: ["process.isTTY"],
+            fns: ["process.isTTY", "process.isTTYValue"],
             note: "the isTTY read on process.stdin/stdout/stderr — one surface across the three streams",
         },
         {
@@ -2992,6 +3075,10 @@ export function stdlibMemberFence(lowerer, access) {
     // fence belongs here.
     if (lowerer.mapTypeOf(lowerer.typeOf(recv))?.kind === "dyn")
         return;
+    // JavaScript reads web stream values (read results, sources, strategies)
+    // as checked-dynamic objects (web-streams-dyn.ts).
+    if (isWebStreamMemberInJavaScript(lowerer, access))
+        return;
     // Name the container the way the source reads: the global's name when
     // the receiver IS a stdlib global (Math, process), the dotted path for
     // a member of one (process.stdout — its TYPE text would be the useless
@@ -3408,6 +3495,15 @@ export function stdlibGlobalAliasDecl(lowerer, nameNode, init) {
     lowerer.stdlibGlobalAliases.set(symbol, name);
     if (init !== undefined && castGlobalAliasSource(lowerer, init))
         lowerer.castGlobalAliases.add(symbol);
+    // The snapshot exists for reads, and its declaration emits nothing: a
+    // read that needs its VALUE (an argument, a return) cannot resolve, so
+    // register the declaration to report the cause there rather than at the
+    // use (rejectUnresolvedSymbol). TypeScript sources only: JavaScript
+    // bindings keep their checked-dynamic value paths. A snapshot no read
+    // resolves stays elided — reading a global has no side effects, so
+    // eliding an unread one is observationally identical to Node.
+    if (!isJsSourceFile(ts.getSourceFileOfNode(nameNode)))
+        lowerer.stdlibGlobalAliasDecls.set(symbol, { alias: name, name: nameNode });
     return true;
 }
 /** True when an alias initializer reads its global through a cast of the