@scriptc/compiler 0.0.22 → 0.0.24

package/dist/ir/validate.js

@@ -1,4 +1,4 @@
-import { arrayOf, BOOL, BYTES_U8, bytesOf, canAdaptDynFuncTo, canConvertToDyn, canExitIslandToType, canMarshalIntoIsland, canMarshalTypedFuncIntoIsland, CHILD_T, CHILDSTREAM_T, DGRAMSOCK_T, DYN, DYN_HANDLE_KINDS, F64, FSWATCHER_T, HTTP2SESSION_T, HTTP2STREAM_T, HTTPCLIENTREQ_T, HTTPREQ_T, HTTPRES_T, islandPromisePayloadTag, isJsonSafeType, isRefCounted, isSupportedIndexValue, isSupportedMapKey, isSupportedMapValue, isSupportedSetElem, isUnitType, jsOpResultKind, JSVAL, NETSERVER_T, NETSOCKET_T, PROCSTREAM_T, REF_TRUTHY_KINDS, REGEX, RUNTIME_EMITTER_CLASS, RUNTIME_ERROR_CLASSES, RUNTIME_STREAM_CLASSES, SEARCH_PARAMS_T, SECURECTX_T, SPAWNRES_T, STATS_T, STRING, SYMBOL_T, TESTCTX_T, typeEquals, typeKey, unionFuncSetArmsOk, URL_T, VOID } from "./nodes.js";
+import { arrayOf, BOOL, BYTES_U8, bytesOf, canAdaptDynFuncTo, canConvertToDyn, canExitIslandToType, canMarshalIntoIsland, canMarshalTypedFuncIntoIsland, CHILD_T, CHILDSTREAM_T, DATE_T, DGRAMSOCK_T, DYN, DYN_HANDLE_KINDS, F64, FILEHANDLE_T, FSWATCHER_T, HTTP2SESSION_T, HTTP2STREAM_T, HTTPCLIENTREQ_T, HTTPREQ_T, HTTPRES_T, islandPromisePayloadTag, isJsonSafeType, isRefCounted, isSupportedIndexValue, isSupportedMapKey, isSupportedMapValue, isSupportedSetElem, isUnitType, jsOpResultKind, JSVAL, NETSERVER_T, NETSOCKET_T, PROCSTREAM_T, REF_TRUTHY_KINDS, REGEX, RUNTIME_EMITTER_CLASS, RUNTIME_ERROR_CLASSES, RUNTIME_STREAM_CLASSES, SEARCH_PARAMS_T, SECURECTX_T, SPAWNRES_T, STATS_T, STRING, SYMBOL_T, TESTCTX_T, typeEquals, typeKey, unionFuncSetArmsOk, URL_T, VOID } from "./nodes.js";
 /** Per-method signature for strIntrinsic: `argTypes` lists every argument
  * position (optional ones included); `minArgs` is how many may be omitted
  * from the end (backends fill the documented defaults). Exported for the
@@ -18,7 +18,7 @@ export const STR_INTRINSIC_SIGS = {
     trim: { argTypes: [], minArgs: 0, result: STRING },
     trimStart: { argTypes: [], minArgs: 0, result: STRING },
     trimEnd: { argTypes: [], minArgs: 0, result: STRING },
-    split: { argTypes: [STRING], minArgs: 1, result: arrayOf(STRING) },
+    split: { argTypes: [STRING, F64], minArgs: 2, result: arrayOf(STRING) },
     padStart: { argTypes: [F64, STRING], minArgs: 2, result: STRING },
     padEnd: { argTypes: [F64, STRING], minArgs: 2, result: STRING },
     toLowerCase: { argTypes: [], minArgs: 0, result: STRING },
@@ -44,7 +44,7 @@ export const REGEX_INTRINSIC_SIGS = {
     flags: { receiver: REGEX, argTypes: [], result: STRING },
     replace: { receiver: STRING, argTypes: [REGEX, STRING], result: STRING },
     replaceAll: { receiver: STRING, argTypes: [REGEX, STRING], result: STRING },
-    split: { receiver: STRING, argTypes: [REGEX], result: arrayOf(STRING) },
+    split: { receiver: STRING, argTypes: [REGEX, F64], result: arrayOf(STRING) },
 };
 /** Closed-union signature table for `libCall` (mirrors ambient/scriptc.d.ts).
  * All argument positions are required — the surface has no optionals.
@@ -55,9 +55,11 @@ export const REGEX_INTRINSIC_SIGS = {
  * Exported for the frontend's lib-boundary pass (lib-boundary.ts). */
 export const LIB_FN_SIGS = {
     "fetch.start": { argTypes: [STRING, DYN], result: { kind: "promise", inner: DYN } },
+    "fetch.responseNew": { argTypes: [DYN, DYN], result: DYN },
     "fetch.responseJson": { argTypes: [DYN], result: { kind: "promise", inner: DYN } },
     "fetch.responseText": { argTypes: [DYN], result: { kind: "promise", inner: STRING } },
     "fetch.responseBytes": { argTypes: [DYN], result: { kind: "promise", inner: BYTES_U8 } },
+    "fetch.abortControllerNew": { argTypes: [], result: DYN },
     "fetch.abortTimeout": { argTypes: [DYN], result: DYN },
     "fetch.abortNow": { argTypes: [DYN], result: DYN },
     "fetch.abortAny": { argTypes: [DYN], result: DYN },
@@ -253,10 +255,13 @@ export const LIB_FN_SIGS = {
     "qs.stringify": { argTypes: [DYN, STRING, STRING], result: STRING },
     "qs.escape": { argTypes: [STRING], result: STRING },
     "qs.unescape": { argTypes: [STRING], result: STRING },
+    "util.parseArgs": { argTypes: [DYN], result: DYN },
     "fs.statSync": { argTypes: [STRING], result: STATS_T },
     "fs.lstatSync": { argTypes: [STRING], result: STATS_T },
     "fs.openSync": { argTypes: [STRING, STRING], result: F64 },
-    "fs.readSync": { argTypes: [F64, BYTES_U8, F64, F64], result: F64 },
+    "fs.readSync": { argTypes: [F64, BYTES_U8, F64, F64, F64], result: F64 },
+    "fs.writeSync": { argTypes: [F64, BYTES_U8, F64, F64, F64], result: F64 },
+    "fs.writeStrSync": { argTypes: [F64, STRING, F64, STRING], result: F64 },
     // fs.watch's callback func type is program-dependent (zero params, or
     // the eventType string) — the slot pins arity and the path/receiver.
     "fs.watch": { argTypes: [STRING], result: FSWATCHER_T },
@@ -273,6 +278,9 @@ export const LIB_FN_SIGS = {
     "stats.isDirectory": { argTypes: [STATS_T], result: BOOL },
     "stats.isSymbolicLink": { argTypes: [STATS_T], result: BOOL },
     "stats.size": { argTypes: [STATS_T], result: F64 },
+    "stats.blocks": { argTypes: [STATS_T], result: F64 },
+    "stats.nlink": { argTypes: [STATS_T], result: F64 },
+    "stats.atimeMs": { argTypes: [STATS_T], result: F64 },
     "stats.mtimeMs": { argTypes: [STATS_T], result: F64 },
     // The wider sync fs slice (unlink/chmod/chown/copyfile and the
     // mode-carrying write/mkdir forms).
@@ -280,6 +288,9 @@ export const LIB_FN_SIGS = {
     "fs.chmodSync": { argTypes: [STRING, F64], result: VOID },
     "fs.chownSync": { argTypes: [STRING, F64, F64], result: VOID },
     "fs.copyFileSync": { argTypes: [STRING, STRING], result: VOID },
+    "fs.renameSync": { argTypes: [STRING, STRING], result: VOID },
+    // Callback type is program-dependent (zero params or Error | null).
+    "fs.renameCb": { argTypes: [STRING, STRING, null], result: VOID },
     "fs.writeFileModeSync": { argTypes: [STRING, STRING, F64], result: VOID },
     "fs.mkdirModeSync": { argTypes: [STRING, F64], result: VOID },
     "fs.mkdirRecursiveModeSync": { argTypes: [STRING, F64], result: VOID },
@@ -714,19 +725,38 @@ export const LIB_FN_SIGS = {
     "fsp.readFileBytes": { argTypes: [STRING], result: { kind: "promise", inner: BYTES_U8 } },
     "zlib.deflateSync": { argTypes: [BYTES_U8], result: BYTES_U8 },
     "zlib.inflateSync": { argTypes: [BYTES_U8], result: BYTES_U8 },
-    "process.stdoutWriteBytes": { argTypes: [BYTES_U8], result: BOOL },
-    "process.stderrWriteBytes": { argTypes: [BYTES_U8], result: BOOL },
+    "process.stdoutWriteBytes": { argTypes: [BYTES_U8, STRING], result: BOOL },
+    "process.stderrWriteBytes": { argTypes: [BYTES_U8, STRING], result: BOOL },
+    // Completion callback is program-dependent: zero params, checked-dynamic,
+    // or an optional Error | null slot (same success shape as fs.rename).
+    "process.stdoutWriteBytesCb": { argTypes: [BYTES_U8, STRING, null], result: BOOL },
+    "process.stderrWriteBytesCb": { argTypes: [BYTES_U8, STRING, null], result: BOOL },
     "fsp.readFile": { argTypes: [STRING, STRING], result: { kind: "promise", inner: STRING } },
     "fsp.writeFile": { argTypes: [STRING, STRING], result: { kind: "promise", inner: VOID } },
+    "fsp.writeFileMode": { argTypes: [STRING, STRING, F64], result: { kind: "promise", inner: VOID } },
     "fsp.mkdir": { argTypes: [STRING], result: { kind: "promise", inner: VOID } },
     "fsp.mkdirMode": { argTypes: [STRING, F64], result: { kind: "promise", inner: VOID } },
     "fsp.mkdirRecursive": { argTypes: [STRING], result: { kind: "promise", inner: VOID } },
     "fsp.mkdirRecursiveMode": { argTypes: [STRING, F64], result: { kind: "promise", inner: VOID } },
     "fsp.unlink": { argTypes: [STRING], result: { kind: "promise", inner: VOID } },
     "fsp.chmod": { argTypes: [STRING, F64], result: { kind: "promise", inner: VOID } },
+    "fsp.rename": { argTypes: [STRING, STRING], result: { kind: "promise", inner: VOID } },
     "fsp.readdir": { argTypes: [STRING], result: { kind: "promise", inner: arrayOf(STRING) } },
     "fsp.rm": { argTypes: [STRING], result: { kind: "promise", inner: VOID } },
     "fsp.stat": { argTypes: [STRING], result: { kind: "promise", inner: STATS_T } },
+    "fsp.open": { argTypes: [STRING, STRING, F64], result: { kind: "promise", inner: FILEHANDLE_T } },
+    "fileHandle.fd": { argTypes: [FILEHANDLE_T], result: F64 },
+    "fileHandle.close": { argTypes: [FILEHANDLE_T], result: { kind: "promise", inner: VOID } },
+    // read/write carry call-site result record shapes; the validator checks
+    // those below, so promise<void> is only a table sentinel.
+    "fileHandle.read": { argTypes: [FILEHANDLE_T, BYTES_U8, F64, F64, F64, BOOL], result: { kind: "promise", inner: VOID } },
+    "fileHandle.writeBytes": { argTypes: [FILEHANDLE_T, BYTES_U8, F64, F64, F64, BOOL], result: { kind: "promise", inner: VOID } },
+    "fileHandle.writeStr": { argTypes: [FILEHANDLE_T, STRING, F64, STRING], result: { kind: "promise", inner: VOID } },
+    "fileHandle.readFile": { argTypes: [FILEHANDLE_T, STRING], result: { kind: "promise", inner: STRING } },
+    "fileHandle.readFileBytes": { argTypes: [FILEHANDLE_T, STRING], result: { kind: "promise", inner: BYTES_U8 } },
+    "fileHandle.writeFile": { argTypes: [FILEHANDLE_T, STRING, STRING], result: { kind: "promise", inner: VOID } },
+    "fileHandle.writeFileBytes": { argTypes: [FILEHANDLE_T, BYTES_U8, STRING], result: { kind: "promise", inner: VOID } },
+    "fileHandle.stat": { argTypes: [FILEHANDLE_T], result: { kind: "promise", inner: STATS_T } },
     "process.argv": { argTypes: [], result: arrayOf(STRING) },
     "process.platform": { argTypes: [], result: STRING },
     // The one libCall whose result type is program-dependent (union ids are
@@ -1021,10 +1051,34 @@ export const LIB_FN_SIGS = {
     "number.isInteger": { argTypes: [F64], result: BOOL },
     "number.isSafeInteger": { argTypes: [F64], result: BOOL },
     "date.now": { argTypes: [], result: F64 },
+    "date.newNow": { argTypes: [], result: DATE_T },
+    "date.newMs": { argTypes: [F64], result: DATE_T },
+    "date.newString": { argTypes: [STRING], result: DATE_T },
+    "date.getTime": { argTypes: [DATE_T], result: F64 },
+    "date.valueOf": { argTypes: [DATE_T], result: F64 },
     "date.toISOString": { argTypes: [F64], result: STRING },
+    "date.toISOStringValue": { argTypes: [DATE_T], result: STRING },
+    "date.getFullYear": { argTypes: [DATE_T], result: F64 },
+    "date.getUTCFullYear": { argTypes: [DATE_T], result: F64 },
+    "date.getMonth": { argTypes: [DATE_T], result: F64 },
+    "date.getUTCMonth": { argTypes: [DATE_T], result: F64 },
+    "date.getDate": { argTypes: [DATE_T], result: F64 },
+    "date.getUTCDate": { argTypes: [DATE_T], result: F64 },
+    "date.getDay": { argTypes: [DATE_T], result: F64 },
+    "date.getUTCDay": { argTypes: [DATE_T], result: F64 },
+    "date.getHours": { argTypes: [DATE_T], result: F64 },
+    "date.getUTCHours": { argTypes: [DATE_T], result: F64 },
+    "date.getMinutes": { argTypes: [DATE_T], result: F64 },
+    "date.getUTCMinutes": { argTypes: [DATE_T], result: F64 },
+    "date.getSeconds": { argTypes: [DATE_T], result: F64 },
+    "date.getUTCSeconds": { argTypes: [DATE_T], result: F64 },
+    "date.getMilliseconds": { argTypes: [DATE_T], result: F64 },
+    "date.getUTCMilliseconds": { argTypes: [DATE_T], result: F64 },
+    "date.getTimezoneOffset": { argTypes: [DATE_T], result: F64 },
     "date.parseGetTime": { argTypes: [STRING], result: F64 },
     "date.utc": { argTypes: [F64, F64, F64, F64, F64, F64, F64], result: F64 },
     "text.decode": { argTypes: [BYTES_U8], result: STRING },
+    "text.decodeLegacy": { argTypes: [BYTES_U8, F64], result: STRING },
     "fs.mkdirRecursiveSync": { argTypes: [STRING], result: VOID },
     "fs.rmOptsSync": { argTypes: [STRING, BOOL, BOOL], result: VOID },
     "fs.rmRetrySync": { argTypes: [STRING, BOOL, BOOL, F64, F64], result: VOID },
@@ -1306,15 +1360,22 @@ export function validateModule(mod) {
         }
         u.arms.forEach((arm, i) => {
             // The unit kinds (undefinedT/nullT) are valid arms — union membership
-            // is the ONLY place they may appear; void/union/map/dyn/jsval
-            // stay out (maps have no discriminant to narrow on). Func/set arm
+            // is the ONLY place they may appear; void/union/map/dyn/jsval/date
+            // stay out (maps and scalar Date values have no supported union
+            // representation/discriminant to narrow on). Func/set arm
             // sibling rules live in unionFuncSetArmsOk (shared with the frontend's
             // union builders): a func arm allows unit and FUNC siblings (the
             // nullable-callback shape, and the primitive-constructor tables where
             // closure pointer identity per tag is the narrowing); a set arm is
             // valid exactly when every other arm is a unit (the defaulted-Set-
             // param ABI); func/set-beside-data stays out.
-            if (arm.kind === "void" || arm.kind === "union" || arm.kind === "map" || arm.kind === "dyn" || arm.kind === "jsval" || arm.kind === "generator") {
+            if (arm.kind === "void" ||
+                arm.kind === "union" ||
+                arm.kind === "map" ||
+                arm.kind === "dyn" ||
+                arm.kind === "jsval" ||
+                arm.kind === "date" ||
+                arm.kind === "generator") {
                 errors.push({ message: `union ${u.id}: arm ${i} is ${arm.kind}`, loc: noLoc });
             }
             if ((arm.kind === "func" || arm.kind === "set") &&
@@ -2183,7 +2244,7 @@ function validateFunction(fn, functions, ffiByName, classes, records, unions, gl
                 const isDvGet = e.method.startsWith("dvGet");
                 const isNum = e.method === "readNum" || e.method === "writeNum" || e.method === "readNumVar" || e.method === "writeNumVar";
                 const U8_ONLY_EXTRA = new Set([
-                    "toString", "equals", "compareBuf", "indexOf", "lastIndexOf", "includes",
+                    "toString", "toStringVar", "equals", "compareBuf", "indexOf", "lastIndexOf", "includes",
                     "indexOfNum", "lastIndexOfNum", "includesNum", "fill", "fillNum", "fillStr",
                     "copy", "swap16", "swap32", "swap64", "writeStr",
                 ]);
@@ -2243,7 +2304,7 @@ function validateFunction(fn, functions, ffiByName, classes, records, unions, gl
                                             ? { argTypes: [], minArgs: 0, result: arrayOf(F64) }
                                             : e.method === "setFrom"
                                                 ? { argTypes: [bytesOf(recv.elem), F64], minArgs: 1, result: VOID }
-                                                : e.method === "toString"
+                                                : e.method === "toString" || e.method === "toStringVar"
                                                     ? { argTypes: [STRING, F64, F64], minArgs: 1, result: STRING }
                                                     : e.method === "readNum"
                                                         ? { argTypes: [STRING, F64], minArgs: 2, result: F64 }
@@ -2291,9 +2352,9 @@ function validateFunction(fn, functions, ffiByName, classes, records, unions, gl
                     break;
                 }
                 const elem = e.receiver.type.elem;
-                const sig = e.method === "push"
+                const sig = e.method === "push" || e.method === "unshift"
                     ? { argTypes: e.args.map(() => elem), result: F64 }
-                    : e.method === "pushSpread"
+                    : e.method === "pushSpread" || e.method === "unshiftSpread"
                         ? { argTypes: [e.receiver.type], result: F64 }
                         : e.method === "pop"
                             ? { argTypes: [], result: elem }
@@ -2307,15 +2368,17 @@ function validateFunction(fn, functions, ffiByName, classes, records, unions, gl
                                             ? { argTypes: [F64, F64], result: e.receiver.type }
                                             : e.method === "toReversed"
                                                 ? { argTypes: [], result: e.receiver.type }
-                                                : e.method === "toSpliced"
-                                                    ? { argTypes: [F64, F64, e.receiver.type], result: e.receiver.type }
-                                                    : e.method === "with"
-                                                        ? { argTypes: [F64, elem], result: e.receiver.type }
-                                                        : e.method === "splice"
-                                                            ? { argTypes: [F64, F64], result: e.receiver.type }
-                                                            : e.method === "shift"
-                                                                ? { argTypes: [], result: e.type } // union-checked below
-                                                                : { argTypes: [], result: F64 }; // length
+                                                : e.method === "reverse"
+                                                    ? { argTypes: [], result: e.receiver.type }
+                                                    : e.method === "toSpliced"
+                                                        ? { argTypes: [F64, F64, e.receiver.type], result: e.receiver.type }
+                                                        : e.method === "with"
+                                                            ? { argTypes: [F64, elem], result: e.receiver.type }
+                                                            : e.method === "splice"
+                                                                ? { argTypes: [F64, F64], result: e.receiver.type }
+                                                                : e.method === "shift"
+                                                                    ? { argTypes: [], result: e.type } // union-checked below
+                                                                    : { argTypes: [], result: F64 }; // length
                 if (e.method === "join" &&
                     elem.kind !== "f64" && elem.kind !== "string" && elem.kind !== "bool" &&
                     !(elem.kind === "union" &&
@@ -3477,6 +3540,21 @@ function validateFunction(fn, functions, ffiByName, classes, records, unions, gl
                     if (want)
                         expectType(a, want, `libCall ${e.fn} arg ${i}`);
                 });
+                if (e.fn === "fileHandle.read" || e.fn === "fileHandle.writeBytes" || e.fn === "fileHandle.writeStr") {
+                    const inner = e.type.kind === "promise" ? e.type.inner : undefined;
+                    const shape = inner?.kind === "record" ? records.get(inner.shapeId) : undefined;
+                    const countName = e.fn === "fileHandle.read" ? "bytesRead" : "bytesWritten";
+                    const payload = e.args[1]?.type;
+                    const count = shape?.fields.find((f) => f.name === countName);
+                    const buffer = shape?.fields.find((f) => f.name === "buffer");
+                    const ok = shape !== undefined && !shape.tuple && shape.indexValue === undefined && shape.fields.length === 2 &&
+                        count?.type.kind === "f64" && payload !== undefined && buffer !== undefined &&
+                        typeEquals(buffer.type, payload);
+                    if (!ok) {
+                        err(`libCall ${e.fn} must return a promise of { ${countName}: number, buffer }`, e.loc);
+                    }
+                    break;
+                }
                 if (e.fn === "fetch.streamFrom") {
                     const t = e.args[0]?.type;
                     const ok = t?.kind === "string" ||
@@ -3887,6 +3965,34 @@ function validateFunction(fn, functions, ffiByName, classes, records, unions, gl
                     }
                     break;
                 }
+                if (e.fn === "fs.renameCb" ||
+                    e.fn === "process.stdoutWriteBytesCb" ||
+                    e.fn === "process.stderrWriteBytesCb") {
+                    // The callback is void and accepts either no parameters, one
+                    // checked-dynamic error slot (JS), or Error | null (optionally
+                    // including undefined for an explicitly optional parameter).
+                    const cbT = e.args[2]?.type;
+                    let ok = cbT?.kind === "func" && cbT.ret.kind === "void" && cbT.params.length <= 1;
+                    if (ok && cbT?.kind === "func" && cbT.params.length === 1) {
+                        const p = cbT.params[0];
+                        if (p.kind === "dyn") {
+                            ok = true;
+                        }
+                        else {
+                            const def = p.kind === "union" ? unions.get(p.unionId) : undefined;
+                            ok =
+                                def !== undefined &&
+                                    def.arms.some((a) => a.kind === "nullT") &&
+                                    def.arms.some((a) => a.kind === "object" && a.className === "%Error") &&
+                                    def.arms.every((a) => a.kind === "nullT" || a.kind === "undefinedT" ||
+                                        (a.kind === "object" && a.className === "%Error"));
+                        }
+                    }
+                    if (!ok) {
+                        err(`libCall ${e.fn} callback shape (frontend must fence)`, e.loc);
+                    }
+                    break;
+                }
                 if (e.fn === "net.serverAddress") {
                     // Result is the {address, family, port} record (dgram.address's
                     // check, another receiver).
@@ -4580,11 +4686,16 @@ function validateFunction(fn, functions, ffiByName, classes, records, unions, gl
                     }
                 }
                 else {
-                    // throw: any throwable payload (the throw statement's rule).
+                    // throw: any exception-representable payload (the throw
+                    // statement's rule). Date cannot retain its object kind in the
+                    // untyped exception cell.
                     if (e.arg === null) {
                         err("genResume throw with no payload", e.loc);
                     }
-                    else if (e.arg.type.kind === "void" || e.arg.type.kind === "dyn" || e.arg.type.kind === "caught") {
+                    else if (e.arg.type.kind === "void" ||
+                        e.arg.type.kind === "dyn" ||
+                        e.arg.type.kind === "caught" ||
+                        e.arg.type.kind === "date") {
                         err(`genResume throw of a ${e.arg.type.kind} value`, e.loc);
                     }
                 }
@@ -5098,7 +5209,7 @@ function validateFunction(fn, functions, ffiByName, classes, records, unions, gl
                 checkExpr(s.value);
                 // dyn throws are allowed: the dyn node rides the REF cell arm by
                 // reference (the JS-lane `throw err` of a dyn argument).
-                if (s.value.type.kind === "void" || s.value.type.kind === "caught") {
+                if (s.value.type.kind === "void" || s.value.type.kind === "caught" || s.value.type.kind === "date") {
                     err(`throw of a ${s.value.type.kind} value`, s.loc);
                 }
                 break;