@scriptc/compiler 0.1.4 → 0.1.5

package/dist/ir/validate.js

@@ -11,8 +11,8 @@ export const STR_INTRINSIC_SIGS = {
     charAt: { argTypes: [F64], minArgs: 1, result: STRING },
     indexOf: { argTypes: [STRING, F64], minArgs: 1, result: F64 },
     includes: { argTypes: [STRING, F64], minArgs: 1, result: BOOL },
-    startsWith: { argTypes: [STRING], minArgs: 1, result: BOOL },
-    endsWith: { argTypes: [STRING], minArgs: 1, result: BOOL },
+    startsWith: { argTypes: [STRING, F64], minArgs: 1, result: BOOL },
+    endsWith: { argTypes: [STRING, F64], minArgs: 1, result: BOOL },
     slice: { argTypes: [F64, F64], minArgs: 0, result: STRING },
     substring: { argTypes: [F64, F64], minArgs: 1, result: STRING },
     repeat: { argTypes: [F64], minArgs: 1, result: STRING },
@@ -196,11 +196,27 @@ export const LIB_FN_SIGS = {
     "os.networkInterfaces": { argTypes: [], result: VOID },
     "math.maxArr": { argTypes: [arrayOf(F64)], result: F64 },
     "math.minArr": { argTypes: [arrayOf(F64)], result: F64 },
+    "math.hypotArr": { argTypes: [arrayOf(F64)], result: F64 },
     "math.floor": { argTypes: [F64], result: F64 },
     "math.abs": { argTypes: [F64], result: F64 },
     "math.round": { argTypes: [F64], result: F64 },
     "math.trunc": { argTypes: [F64], result: F64 },
     "math.ceil": { argTypes: [F64], result: F64 },
+    "math.sin": { argTypes: [F64], result: F64 },
+    "math.cos": { argTypes: [F64], result: F64 },
+    "math.tan": { argTypes: [F64], result: F64 },
+    "math.asin": { argTypes: [F64], result: F64 },
+    "math.acos": { argTypes: [F64], result: F64 },
+    "math.atan": { argTypes: [F64], result: F64 },
+    "math.cbrt": { argTypes: [F64], result: F64 },
+    "math.sign": { argTypes: [F64], result: F64 },
+    "math.exp": { argTypes: [F64], result: F64 },
+    "math.sqrt": { argTypes: [F64], result: F64 },
+    "math.log": { argTypes: [F64], result: F64 },
+    "math.log2": { argTypes: [F64], result: F64 },
+    "math.log10": { argTypes: [F64], result: F64 },
+    "math.atan2": { argTypes: [F64, F64], result: F64 },
+    "math.pow": { argTypes: [F64, F64], result: F64 },
     "math.min": { argTypes: [F64, F64], result: F64 },
     "math.max": { argTypes: [F64, F64], result: F64 },
     "math.random": { argTypes: [], result: F64 },
@@ -383,6 +399,7 @@ export const LIB_FN_SIGS = {
     // the callback follows the reusePort BOOL in this additive ABI.
     "net.listenOptsReusePortCb": { argTypes: [NETSERVER_T, F64, STRING, BOOL, BOOL, null], result: VOID },
     "net.serverPort": { argTypes: [NETSERVER_T], result: F64 },
+    "net.serverListening": { argTypes: [NETSERVER_T], result: BOOL },
     // net.serverAddress's record result is shape-checked in the libCall case
     // (the dgram.address sentinel pattern).
     "net.serverAddress": { argTypes: [NETSERVER_T], result: VOID },
@@ -458,19 +475,38 @@ export const LIB_FN_SIGS = {
     // union, checked like process.envGet.
     "http.createServer": { argTypes: [null], result: NETSERVER_T },
     "http.createServerEmpty": { argTypes: [], result: NETSERVER_T },
+    "http.validateHeaderName": { argTypes: [STRING, STRING], result: VOID },
+    "http.validateHeaderValue": { argTypes: [STRING, DYN], result: VOID },
     "http.serverJoinDupHeaders": { argTypes: [NETSERVER_T], result: VOID },
     "http.serverAllowMissingHostHeader": { argTypes: [NETSERVER_T], result: VOID },
     "http.serverTimeoutGet": { argTypes: [NETSERVER_T, F64], result: F64 },
+    "http.serverSetTimeout": { argTypes: [NETSERVER_T, F64], result: VOID },
+    "http.serverSetTimeoutCb": { argTypes: [NETSERVER_T, F64, null], result: VOID },
+    "http.serverOnTimeout": { argTypes: [NETSERVER_T, null, BOOL], result: VOID },
+    "http.serverCloseAllConnections": { argTypes: [NETSERVER_T], result: VOID },
+    "http.serverCloseIdleConnections": { argTypes: [NETSERVER_T], result: VOID },
     "http.serverTimeoutSet": { argTypes: [NETSERVER_T, F64, F64], result: VOID },
     "http.serverTimeoutOptionSet": { argTypes: [NETSERVER_T, F64, DYN], result: VOID },
     "net.serverOnListening": { argTypes: [NETSERVER_T, { kind: "func", params: [], ret: VOID }, BOOL], result: VOID },
     "http.resStatusGet": { argTypes: [HTTPRES_T], result: F64 },
     "http.resStatusSet": { argTypes: [HTTPRES_T, F64], result: VOID },
-    "http.resStatusMsgGet": { argTypes: [HTTPRES_T], result: STRING },
+    "http.resStatusMsgGet": { argTypes: [HTTPRES_T], result: VOID },
     "http.resStatusMsgSet": { argTypes: [HTTPRES_T, STRING], result: VOID },
+    "http.resRequest": { argTypes: [HTTPRES_T], result: HTTPREQ_T },
+    "http.resSocket": { argTypes: [HTTPRES_T], result: VOID },
+    "http.resWritableFinished": { argTypes: [HTTPRES_T], result: BOOL },
+    "http.resSendDateGet": { argTypes: [HTTPRES_T], result: BOOL },
+    "http.resSendDateSet": { argTypes: [HTTPRES_T, BOOL], result: VOID },
+    "http.resStrictContentLengthGet": { argTypes: [HTTPRES_T], result: BOOL },
+    "http.resStrictContentLengthSet": { argTypes: [HTTPRES_T, BOOL], result: VOID },
+    "http.resSetTimeout": { argTypes: [HTTPRES_T, F64], result: VOID },
+    "http.resSetTimeoutCb": { argTypes: [HTTPRES_T, F64, { kind: "func", params: [], ret: VOID }], result: VOID },
     // resGetHeader answers the interned `string | undefined` union — the
     // reqHeader/envGet sentinel pattern (VOID here, checked specially).
     "http.resGetHeader": { argTypes: [HTTPRES_T, STRING], result: VOID },
+    "http.resGetHeaderNames": { argTypes: [HTTPRES_T], result: arrayOf(STRING) },
+    "http.resGetRawHeaderNames": { argTypes: [HTTPRES_T], result: arrayOf(STRING) },
+    "http.resGetHeaders": { argTypes: [HTTPRES_T], result: DYN },
     "http.resHasHeader": { argTypes: [HTTPRES_T, STRING], result: BOOL },
     "http.resRemoveHeader": { argTypes: [HTTPRES_T, STRING], result: VOID },
     "http.resOnFinish": { argTypes: [HTTPRES_T, { kind: "func", params: [], ret: VOID }], result: VOID },
@@ -485,6 +521,9 @@ export const LIB_FN_SIGS = {
     "http.resSetHeader": { argTypes: [HTTPRES_T, STRING, STRING], result: VOID },
     "http.resWriteHead": { argTypes: [HTTPRES_T, F64], result: VOID },
     "http.resWriteHeadN": { argTypes: [HTTPRES_T, F64, arrayOf(STRING), arrayOf(STRING)], result: VOID },
+    "http.resWriteContinue": { argTypes: [HTTPRES_T], result: VOID },
+    "http.resWriteProcessing": { argTypes: [HTTPRES_T], result: VOID },
+    "http.resWriteEarlyHints": { argTypes: [HTTPRES_T, arrayOf(STRING)], result: VOID },
     "http.resWrite": { argTypes: [HTTPRES_T, STRING], result: VOID },
     "http.resWriteBytes": { argTypes: [HTTPRES_T, BYTES_U8], result: VOID },
     "http.resEnd": { argTypes: [HTTPRES_T], result: VOID },
@@ -493,6 +532,7 @@ export const LIB_FN_SIGS = {
     "http.resWriteDyn": { argTypes: [HTTPRES_T, DYN], result: VOID },
     "http.resEndDyn": { argTypes: [HTTPRES_T, DYN], result: VOID },
     "http.resHeadersSent": { argTypes: [HTTPRES_T], result: BOOL },
+    "http.resWritableEnded": { argTypes: [HTTPRES_T], result: BOOL },
     "http.resFlushHeaders": { argTypes: [HTTPRES_T], result: VOID },
     "http.resAddTrailers": { argTypes: [HTTPRES_T, arrayOf(STRING)], result: VOID },
     "http.resCork": { argTypes: [HTTPRES_T], result: VOID },
@@ -697,6 +737,13 @@ export const LIB_FN_SIGS = {
     "https.requestFn": { argTypes: [BOOL, STRING, F64, STRING, STRING, F64, arrayOf(STRING), BOOL, BOOL, null], result: HTTPCLIENTREQ_T },
     "https.requestFnCb": { argTypes: [BOOL, STRING, F64, STRING, STRING, F64, arrayOf(STRING), BOOL, BOOL, null, null], result: HTTPCLIENTREQ_T },
     "http.clientWrite": { argTypes: [HTTPCLIENTREQ_T, STRING], result: VOID },
+    "http.clientSetHeader": { argTypes: [HTTPCLIENTREQ_T, STRING, STRING], result: VOID },
+    "http.clientGetHeader": { argTypes: [HTTPCLIENTREQ_T, STRING], result: VOID },
+    "http.clientHasHeader": { argTypes: [HTTPCLIENTREQ_T, STRING], result: BOOL },
+    "http.clientRemoveHeader": { argTypes: [HTTPCLIENTREQ_T, STRING], result: VOID },
+    "http.clientGetHeaderNames": { argTypes: [HTTPCLIENTREQ_T], result: arrayOf(STRING) },
+    "http.clientGetRawHeaderNames": { argTypes: [HTTPCLIENTREQ_T], result: arrayOf(STRING) },
+    "http.clientGetHeaders": { argTypes: [HTTPCLIENTREQ_T], result: DYN },
     "http.clientWriteBytes": { argTypes: [HTTPCLIENTREQ_T, BYTES_U8], result: VOID },
     "http.clientEnd": { argTypes: [HTTPCLIENTREQ_T], result: VOID },
     "http.clientEndStr": { argTypes: [HTTPCLIENTREQ_T, STRING], result: VOID },
@@ -708,12 +755,34 @@ export const LIB_FN_SIGS = {
     "http.clientCork": { argTypes: [HTTPCLIENTREQ_T], result: VOID },
     "http.clientUncork": { argTypes: [HTTPCLIENTREQ_T], result: VOID },
     "http.clientWritableCorked": { argTypes: [HTTPCLIENTREQ_T], result: F64 },
+    "http.clientMethod": { argTypes: [HTTPCLIENTREQ_T], result: STRING },
+    "http.clientPath": { argTypes: [HTTPCLIENTREQ_T], result: STRING },
+    "http.clientHost": { argTypes: [HTTPCLIENTREQ_T], result: STRING },
+    "http.clientProtocol": { argTypes: [HTTPCLIENTREQ_T], result: STRING },
+    "http.clientHeadersSent": { argTypes: [HTTPCLIENTREQ_T], result: BOOL },
+    "http.clientWritableEnded": { argTypes: [HTTPCLIENTREQ_T], result: BOOL },
+    "http.clientWritableFinished": { argTypes: [HTTPCLIENTREQ_T], result: BOOL },
+    "http.clientSocket": { argTypes: [HTTPCLIENTREQ_T], result: NETSOCKET_T },
+    "http.clientReusedSocket": { argTypes: [HTTPCLIENTREQ_T], result: BOOL },
+    "http.clientSetNoDelay": { argTypes: [HTTPCLIENTREQ_T, BOOL], result: VOID },
+    "http.clientSetSocketKeepAlive": { argTypes: [HTTPCLIENTREQ_T, BOOL, F64], result: VOID },
+    "http.clientSetTimeout": { argTypes: [HTTPCLIENTREQ_T, F64], result: VOID },
+    "http.clientSetTimeoutCb": { argTypes: [HTTPCLIENTREQ_T, F64, { kind: "func", params: [], ret: VOID }], result: VOID },
+    "http.statusCodes": { argTypes: [], result: DYN },
+    "http.methods": { argTypes: [], result: arrayOf(STRING) },
+    "http.reqSetTimeout": { argTypes: [HTTPREQ_T, F64], result: VOID },
+    "http.reqSetTimeoutCb": { argTypes: [HTTPREQ_T, F64, { kind: "func", params: [], ret: VOID }], result: VOID },
     "http.clientDestroy": { argTypes: [HTTPCLIENTREQ_T], result: VOID },
+    "http.clientAbort": { argTypes: [HTTPCLIENTREQ_T], result: VOID },
+    "http.clientAborted": { argTypes: [HTTPCLIENTREQ_T], result: BOOL },
     "http.clientDestroyed": { argTypes: [HTTPCLIENTREQ_T], result: BOOL },
     "http.clientOnResponse": { argTypes: [HTTPCLIENTREQ_T, null, BOOL], result: VOID },
+    "http.clientOnSocket": { argTypes: [HTTPCLIENTREQ_T, null, BOOL], result: VOID },
+    "http.clientOnFinish": { argTypes: [HTTPCLIENTREQ_T, { kind: "func", params: [], ret: VOID }, BOOL], result: VOID },
     "http.clientOnError": { argTypes: [HTTPCLIENTREQ_T, null, BOOL], result: VOID },
     "http.clientOnTimeout": { argTypes: [HTTPCLIENTREQ_T, { kind: "func", params: [], ret: VOID }, BOOL], result: VOID },
     "http.clientOnClose": { argTypes: [HTTPCLIENTREQ_T, { kind: "func", params: [], ret: VOID }, BOOL], result: VOID },
+    "http.clientOnAbort": { argTypes: [HTTPCLIENTREQ_T, { kind: "func", params: [], ret: VOID }, BOOL], result: VOID },
     "cp.execSync": {
         argTypes: [STRING, arrayOf(STRING), BOOL, STRING, BOOL, STRING, BOOL, arrayOf(STRING), F64, F64, F64],
         result: STRING,
@@ -1257,6 +1326,7 @@ export const LIB_FN_SIGS = {
     // form) — checked in the libCall case.
     "string.fromCharCode": { argTypes: [null], result: STRING },
     "string.lastIndexOf": { argTypes: [STRING, STRING], result: F64 },
+    "string.lastIndexOfFrom": { argTypes: [STRING, STRING, F64], result: F64 },
     "string.raw": { argTypes: [arrayOf(STRING), arrayOf(STRING)], result: STRING },
 };
 /** True for an object type naming a runtime-provided error class. */
@@ -2663,7 +2733,7 @@ function validateFunction(fn, functions, ffiByName, classes, records, unions, gl
                     ? { argTypes: e.args.map(() => elem), result: F64 }
                     : e.method === "pushSpread" || e.method === "concatSpread" || e.method === "unshiftSpread"
                         ? { argTypes: [e.receiver.type], result: F64 }
-                        : e.method === "nextPresent"
+                        : e.method === "nextPresent" || e.method === "getNumber"
                             ? { argTypes: [F64], result: F64 }
                             : e.method === "pop"
                                 ? { argTypes: [], result: e.type } // union-checked below
@@ -2690,6 +2760,9 @@ function validateFunction(fn, functions, ffiByName, classes, records, unions, gl
                                                                         : e.method === "shift"
                                                                             ? { argTypes: [], result: e.type } // union-checked below
                                                                             : { argTypes: [], result: F64 }; // length
+                if (e.method === "getNumber" && elem.kind !== "f64") {
+                    err(`arrIntrinsic getNumber requires f64 elements, got ${elem.kind}`, e.loc);
+                }
                 if (e.method === "join" &&
                     elem.kind !== "f64" && elem.kind !== "string" && elem.kind !== "bool" &&
                     !(elem.kind === "union" &&
@@ -4186,7 +4259,7 @@ function validateFunction(fn, functions, ffiByName, classes, records, unions, gl
                     }
                     break;
                 }
-                if (e.fn === "http.reqStatusMessage") {
+                if (e.fn === "http.reqStatusMessage" || e.fn === "http.resStatusMsgGet") {
                     // Result is the interned `string | undefined` union (reqHeader's).
                     const def = e.type.kind === "union" ? unions.get(e.type.unionId) : undefined;
                     const ok = def &&
@@ -4194,10 +4267,19 @@ function validateFunction(fn, functions, ffiByName, classes, records, unions, gl
                         def.arms.some((a) => a.kind === "string") &&
                         def.arms.some((a) => a.kind === "undefinedT");
                     if (!ok) {
-                        err(`libCall http.reqStatusMessage must return the 'string | undefined' union`, e.loc);
+                        err(`libCall ${e.fn} must return the 'string | undefined' union`, e.loc);
                     }
                     break;
                 }
+                if (e.fn === "http.resSocket") {
+                    const def = e.type.kind === "union" ? unions.get(e.type.unionId) : undefined;
+                    const ok = def && def.arms.length === 2 &&
+                        def.arms.some((a) => a.kind === "netSocket") &&
+                        def.arms.some((a) => a.kind === "nullT");
+                    if (!ok)
+                        err(`libCall http.resSocket must return the 'Socket | null' union`, e.loc);
+                    break;
+                }
                 if (e.fn === "http.reqH2Stream") {
                     const def = e.type.kind === "union" ? unions.get(e.type.unionId) : undefined;
                     const ok = def && def.arms.length === 2 &&
@@ -4207,7 +4289,7 @@ function validateFunction(fn, functions, ffiByName, classes, records, unions, gl
                         err(`libCall http.reqH2Stream must return the 'Http2Stream | undefined' union`, e.loc);
                     break;
                 }
-                if (e.fn === "http.reqHeader" || e.fn === "http.reqTrailer" || e.fn === "http.resGetHeader") {
+                if (e.fn === "http.reqHeader" || e.fn === "http.reqTrailer" || e.fn === "http.resGetHeader" || e.fn === "http.clientGetHeader") {
                     // Result is the interned `string | undefined` union (envGet's).
                     const def = e.type.kind === "union" ? unions.get(e.type.unionId) : undefined;
                     const ok = def &&
@@ -4230,13 +4312,15 @@ function validateFunction(fn, functions, ffiByName, classes, records, unions, gl
                 }
                 if (e.fn === "net.createServerCb" || e.fn === "net.serverOnConnection" ||
                     e.fn === "net.serverOnSecureConnection" ||
+                    e.fn === "http.serverSetTimeoutCb" || e.fn === "http.serverOnTimeout" ||
+                    e.fn === "http.clientOnSocket" ||
                     e.fn === "net.sockOnData" || e.fn === "net.serverOnError" ||
                     e.fn === "net.sockOnError") {
                     // The program-dependent listener shapes: a void closure with no
                     // params, or exactly the one supported parameter per event
                     // (socket handle / data chunk bytes / error %Error). The
                     // callback slot is arg 0 for createServerCb, arg 1 otherwise.
-                    const cbT = e.args[e.fn === "net.createServerCb" ? 0 : 1]?.type;
+                    const cbT = e.args[e.fn === "net.createServerCb" ? 0 : e.fn === "http.serverSetTimeoutCb" ? 2 : 1]?.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];