@scriptc/compiler 0.2.5 → 0.2.7

package/dist/ir/builtin-signatures.js

@@ -316,6 +316,8 @@ export const LIB_FN_SIGS = defineLibFnSignatures({
      * errors surface through 'error' listeners, not the iterator). */
     "stdin.nextChunk": { argTypes: [], result: { kind: "promise", inner: BYTES_U8 } },
     "fs.readFileSync": { argTypes: [STRING, STRING], result: STRING },
+    "fs.readFileEncoded": { argTypes: [STRING, STRING], result: STRING },
+    "fs.readFdEncoded": { argTypes: [F64, STRING], result: STRING },
     /** readFileSync(path) — the Buffer read (+1 bytes); throws catchably
      * like the utf8 form. */
     "fs.readFileSyncBuf": { argTypes: [STRING], result: BYTES_U8 },
@@ -873,19 +875,15 @@ export const LIB_FN_SIGS = defineLibFnSignatures({
     "fs.writeFileModeSync": { argTypes: [STRING, STRING, F64], result: VOID },
     "fs.mkdirModeSync": { argTypes: [STRING, F64], result: VOID },
     "fs.mkdirRecursiveModeSync": { argTypes: [STRING, F64], result: VOID },
-    // Atomics.wait over an Int32Array — the synchronous-sleep idiom.
-    /** Atomics.wait(int32Array, idx, expected, timeoutMs) → "not-equal"
-     * when the element differs from `expected`, else a real nanosleep for
-     * the timeout and "timed-out" (scr_lib.c). scriptc has no threads —
-     * no other agent can ever notify, so for every compilable program this
-     * IS the spec's behavior, and "ok" is unreachable; the frontend
-     * REQUIRES the timeout argument (an infinite wait here is a certain
-     * deadlock, fenced). The SharedArrayBuffer the lib types demand exists
-     * only syntactically (new Int32Array(new SharedArrayBuffer(n)) lowers
-     * to a plain i32 typed array — sharing is unobservable without
-     * threads; SEMANTICS.md documents the stance). Never throws; +1 string
-     * result. */
     "atomics.wait": { argTypes: [bytesOf("i32"), F64, F64, F64], result: STRING },
+    "atomics.notify": { argTypes: [bytesOf("i32"), F64, F64], result: F64 },
+    "atomics.op": { argTypes: [null, F64, F64, F64, F64], result: F64 },
+    "worker.new": { argTypes: [F64, STRING, DYN], result: DYN },
+    "worker.isMainThread": { argTypes: [], result: BOOL },
+    "worker.threadId": { argTypes: [], result: F64 },
+    "worker.root": { argTypes: [], result: F64 },
+    "worker.data": { argTypes: [], result: DYN },
+    "worker.parentPort": { argTypes: [], result: DYN },
     /** child_process.spawnSync (scr_child.c): posix_spawn + waitpid + piped
      * utf8 capture — cmd borrowed, args one borrowed string[] (the frontend
      * completes an omitted list to an empty literal), result an owned (+1)
@@ -2561,6 +2559,8 @@ export const LIB_FN_SIGS = defineLibFnSignatures({
     "dyn.dataViewIs": { argTypes: [DYN], result: BOOL },
     "dyn.construct": { argTypes: [DYN, DYN, STRING], result: DYN },
     "arrayBuffer.constructor": { argTypes: [], result: DYN },
+    "sharedArrayBuffer.new": { argTypes: [DYN], result: DYN },
+    "sharedArrayBuffer.is": { argTypes: [DYN], result: BOOL },
     "arrayBuffer.new": { argTypes: [DYN], result: DYN },
     "ffi.argument": { argTypes: [DYN, STRING], result: DYN },
     "ffi.memoryModule": { argTypes: [DYN], result: DYN },
@@ -2683,6 +2683,7 @@ export const LIB_FN_SIGS = defineLibFnSignatures({
     "regex.new": { argTypes: [STRING, STRING], result: REGEX },
     "regex.resetLastIndex": { argTypes: [REGEX, F64], result: VOID },
     "regex.newChecked": { argTypes: [DYN, DYN], result: REGEX },
+    "regex.replaceCallback": { argTypes: [STRING, REGEX, DYN, BOOL], result: STRING },
     // node:events EventEmitter: receivers are emitter-hierarchy objects and
     // the chaining forms (on/off/removeAll/setMax) return the receiver's
     // own class — program-dependent object types, checked in the libCall
@@ -3346,9 +3347,8 @@ export const LIB_FN_SIGS = defineLibFnSignatures({
     "fs.accessSync": { argTypes: [STRING, F64], result: VOID },
     "fs.readFdSync": { argTypes: [F64, STRING], result: STRING },
     "fs.readFdSyncBytes": { argTypes: [F64], result: BYTES_U8 },
-    /** isatty(3) over an fd literal (0/1/2 — process.stdin/stdout/stderr
-     * .isTTY reads). A real boolean: false where Node's non-TTY streams
-     * expose undefined (documented divergence). Never throws. */
+    /** Validated isatty(3) probe. Stream property lowering maps false to
+     * undefined; tty.isatty exposes the boolean result directly. */
     "process.isTTY": { argTypes: [F64], result: BOOL },
     // Like process.envGet: the result is the module's interned
     // `number | undefined` union — checked by arms in the libCall case.