@scriptc/compiler 0.0.21 → 0.0.23

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, 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
@@ -54,6 +54,22 @@ export const REGEX_INTRINSIC_SIGS = {
  * the libCall case checks it specially, like process.envGet's result.
  * 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 },
+    "fetch.streamNew": { argTypes: [DYN], result: DYN },
+    // Program-dependent iterable: typed arrays/bytes/string stay intact so
+    // the native stream can pull lazily; checked-dynamic values are the
+    // fallback. The libCall validator below checks the closed set.
+    "fetch.streamFrom": { argTypes: [null], result: DYN },
+    // The chunk/result record depends on ReadableStream<T>; validated below.
+    "fetch.readerRead": { argTypes: [DYN], result: VOID },
     "island.eval": { argTypes: [STRING], result: STRING },
     "island.import": { argTypes: [STRING, STRING, STRING], result: JSVAL },
     "island.importDyn": { argTypes: [STRING], result: JSVAL },
@@ -242,7 +258,7 @@ export const LIB_FN_SIGS = {
     "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.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 },
@@ -1007,7 +1023,30 @@ 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 },
@@ -1292,15 +1331,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") &&
@@ -1550,6 +1596,17 @@ function validateFunction(fn, functions, ffiByName, classes, records, unions, gl
     // Optional chains open a binding scope: chainRecv is valid only inside
     // the body of the optChain whose id it names.
     const activeChains = new Map();
+    const liveDynRefEligible = (type, seen = new Set()) => {
+        if (type.kind === "record" ||
+            type.kind === "array" ||
+            type.kind === "bytes") {
+            return true;
+        }
+        if (type.kind !== "union" || seen.has(type.unionId))
+            return false;
+        seen.add(type.unionId);
+        return unions.get(type.unionId)?.arms.some((arm) => liveDynRefEligible(arm, seen)) ?? false;
+    };
     function checkExpr(e) {
         switch (e.kind) {
             case "numLit":
@@ -2974,6 +3031,9 @@ function validateFunction(fn, functions, ffiByName, classes, records, unions, gl
                 if (!canConvertToDyn(vt, (id) => records.get(id), (id) => unions.get(id))) {
                     err(`dynFrom of non-dyn-convertible type ${vt.kind}`, e.loc);
                 }
+                if (e.liveRef && !liveDynRefEligible(vt)) {
+                    err(`live dynFrom of unsupported type ${vt.kind}`, e.loc);
+                }
                 break;
             }
             case "dynFromJsval": {
@@ -3449,6 +3509,35 @@ function validateFunction(fn, functions, ffiByName, classes, records, unions, gl
                     if (want)
                         expectType(a, want, `libCall ${e.fn} arg ${i}`);
                 });
+                if (e.fn === "fetch.streamFrom") {
+                    const t = e.args[0]?.type;
+                    const ok = t?.kind === "string" ||
+                        (t?.kind === "bytes" && t.elem === "u8") ||
+                        (t?.kind === "array" &&
+                            canConvertToDyn(t.elem, (id) => records.get(id), (id) => unions.get(id))) ||
+                        t?.kind === "dyn";
+                    if (!ok) {
+                        err(`libCall fetch.streamFrom arg 0: expected a supported iterable, got ${t?.kind}`, e.loc);
+                    }
+                    break;
+                }
+                if (e.fn === "fetch.readerRead") {
+                    if (e.type.kind !== "promise" || e.type.inner.kind !== "record") {
+                        err(`libCall fetch.readerRead must return a promise of a read-result record`, e.loc);
+                    }
+                    break;
+                }
+                if (e.fn === "fetch.responseText" || e.fn === "fetch.responseBytes") {
+                    const valueType = e.fn === "fetch.responseText" ? STRING : BYTES_U8;
+                    const inner = e.type.kind === "promise" ? e.type.inner : null;
+                    const union = inner?.kind === "union" ? unions.get(inner.unionId) : undefined;
+                    if (inner === null ||
+                        (!typeEquals(inner, valueType) &&
+                            !union?.arms.some((arm) => typeEquals(arm, valueType)))) {
+                        err(`libCall ${e.fn} must return a promise whose value includes ${valueType.kind}`, e.loc);
+                    }
+                    break;
+                }
                 if (e.fn === "string.fromCharCode") {
                     // One packed f64[] or one bytes value (the spread form).
                     const t = e.args[0]?.type;
@@ -4523,11 +4612,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);
                     }
                 }
@@ -4706,7 +4800,7 @@ function validateFunction(fn, functions, ffiByName, classes, records, unions, gl
                     getProp: 1, setProp: 2, getIdx: 2, setIdx: 3, globalGet: 0,
                     undefLit: 0, nullLit: 0, iterNew: 1, defineGetter: 3, objSpread: 2,
                     callSpread: 3, // callee + pre array + spread source
-                    callMethod: null, optCallMethod: null, callFn: null, construct: null, // receiver/callee + any number of args
+                    callMethod: null, optCallMethod: null, callFn: null, callFnThis: null, construct: null, // receiver/callee + any number of args
                     objLit: null, arrLit: null, tplStrings: null, // variable length (objLit: key/value pairs; tplStrings: n cooked + n raw)
                 };
                 const want = arity[e.op];
@@ -4716,6 +4810,9 @@ function validateFunction(fn, functions, ffiByName, classes, records, unions, gl
                 if (want === null && e.op !== "objLit" && e.op !== "arrLit" && e.op !== "tplStrings" && e.args.length < 1) {
                     err(`jsOp ${e.op} needs a receiver/callee arg`, e.loc);
                 }
+                if (e.op === "callFnThis" && e.args.length < 2) {
+                    err("jsOp callFnThis needs a callee and receiver", e.loc);
+                }
                 if (e.op === "objLit" && e.args.length % 2 !== 0) {
                     err("jsOp objLit takes key/value pairs", e.loc);
                 }
@@ -5038,7 +5135,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;