@scriptc/compiler 0.0.34 → 0.0.36

package/dist/ir/ir.test.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/ir/ir.test.js

@@ -0,0 +1,17 @@
+import { describe, expect, test } from "vitest";
+import { HANDLE_KINDS, POINTER_KINDS } from "./ir.js";
+describe("IR kind sets", () => {
+    test("keeps procStream as the scalar handle exception", () => {
+        expect(HANDLE_KINDS.has("procStream")).toBe(true);
+        expect(POINTER_KINDS.has("procStream")).toBe(false);
+        for (const kind of HANDLE_KINDS) {
+            if (kind !== "procStream")
+                expect(POINTER_KINDS.has(kind)).toBe(true);
+        }
+    });
+    test("distinguishes pointer values from object-like scalars", () => {
+        expect(POINTER_KINDS.has("record")).toBe(true);
+        expect(POINTER_KINDS.has("date")).toBe(false);
+    });
+});
+//# sourceMappingURL=ir.test.js.map

package/dist/ir/ir.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ir.test.js","sourceRoot":"","sources":["../../src/ir/ir.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAChD,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAEtD,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,IAAI,CAAC,iDAAiD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClD,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpD,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;YAChC,IAAI,IAAI,KAAK,YAAY;gBAAE,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxE,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,uDAAuD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/C,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/ir/serialize.d.ts

@@ -1,4 +1,4 @@
-import type { IrModule } from "./nodes.js";
+import type { IrModule } from "./ir.js";
 export declare const IR_VERSION: 6;
 export declare function serializeModule(mod: IrModule): string;
 export declare function deserializeModule(json: string): IrModule;

package/dist/ir/serialize.js

@@ -1,3 +1,4 @@
+import { InternalCompilerError } from "../errors.js";
 export const IR_VERSION = 6;
 export function serializeModule(mod) {
     return JSON.stringify(mod, (_key, value) => {
@@ -6,7 +7,7 @@ export function serializeModule(mod) {
             // spell them, so they ride a sentinel object no other IR value can
             // be (numbers never serialize as objects). NaN stays a bug.
             if (Number.isNaN(value))
-                throw new Error("IR contains NaN; refusing to serialize");
+                throw new InternalCompilerError("IR contains NaN; refusing to serialize");
             return { $nonfinite: value > 0 ? "inf" : "-inf" };
         }
         // JSON.stringify(-0) prints "0", silently losing the sign a numLit's

package/dist/ir/serialize.js.map

@@ -1 +1 @@
-{"version":3,"file":"serialize.js","sourceRoot":"","sources":["../../src/ir/serialize.ts"],"names":[],"mappings":"AAOA,MAAM,CAAC,MAAM,UAAU,GAAG,CAAU,CAAC;AAErC,MAAM,UAAU,eAAe,CAAC,GAAa;IAC3C,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QACzC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACzD,kEAAkE;YAClE,mEAAmE;YACnE,4DAA4D;YAC5D,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;YACnF,OAAO,EAAE,UAAU,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;QACpD,CAAC;QACD,qEAAqE;QACrE,sEAAsE;QACtE,0CAA0C;QAC1C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACtD,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;QAC9B,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,EAAE,CAAC,CAAC,CAAC;AACR,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,KAAc,EAAE,EAAE;QACpD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,YAAY,IAAI,KAAK,EAAE,CAAC;YACzE,MAAM,GAAG,GAAI,KAAgC,CAAC,UAAU,CAAC;YACzD,OAAO,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;QAClE,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAa,CAAC;IACf,IAAI,GAAG,CAAC,SAAS,KAAK,UAAU,EAAE,CAAC;QACjC,MAAM,IAAI,KAAK,CACb,iCAAiC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,sBAAsB,UAAU,EAAE,CACzF,CAAC;IACJ,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}
+{"version":3,"file":"serialize.js","sourceRoot":"","sources":["../../src/ir/serialize.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAC;AAQrD,MAAM,CAAC,MAAM,UAAU,GAAG,CAAU,CAAC;AAErC,MAAM,UAAU,eAAe,CAAC,GAAa;IAC3C,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QACzC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACzD,kEAAkE;YAClE,mEAAmE;YACnE,4DAA4D;YAC5D,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;gBAAE,MAAM,IAAI,qBAAqB,CAAC,wCAAwC,CAAC,CAAC;YACnG,OAAO,EAAE,UAAU,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;QACpD,CAAC;QACD,qEAAqE;QACrE,sEAAsE;QACtE,0CAA0C;QAC1C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACtD,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;QAC9B,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,EAAE,CAAC,CAAC,CAAC;AACR,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,KAAc,EAAE,EAAE;QACpD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,YAAY,IAAI,KAAK,EAAE,CAAC;YACzE,MAAM,GAAG,GAAI,KAAgC,CAAC,UAAU,CAAC;YACzD,OAAO,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;QAClE,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAa,CAAC;IACf,IAAI,GAAG,CAAC,SAAS,KAAK,UAAU,EAAE,CAAC;QACjC,MAAM,IAAI,KAAK,CACb,iCAAiC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,sBAAsB,UAAU,EAAE,CACzF,CAAC;IACJ,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/ir/validate.d.ts

@@ -1,4 +1,4 @@
-import type { IrLibFn, IrModule, IrRegexIntrinsicMethod, IrStrIntrinsicMethod, IrType, SrcLoc } from "./nodes.js";
+import type { IrLibFn, IrModule, IrRegexIntrinsicMethod, IrStrIntrinsicMethod, IrType, SrcLoc } from "./ir.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

package/dist/ir/validate.js

@@ -1,4 +1,4 @@
-import { arrayOf, BOOL, BYTES_U8, bytesOf, canAdaptDynFuncTo, canConvertToDyn, canExitIslandToType, canMarshalIntoIsland, canMarshalTypedFuncIntoIsland, CHILD_T, CHILDSTREAM_T, DATE_T, DGRAMSOCK_T, DYN, DYN_HANDLE_KINDS, F64, ffiClassType, ffiSourceParamTypes, FILEHANDLE_T, FSWATCHER_T, HTTP2SESSION_T, HTTP2STREAM_T, HTTPCLIENTREQ_T, HTTPREQ_T, HTTPRES_T, islandPromisePayloadTag, isFfiCallbackParam, isFfiContextParam, isFfiReleaseParam, 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, shapeHasAccessorSlots, 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, ffiClassType, ffiSourceParamTypes, FILEHANDLE_T, FSWATCHER_T, HTTP2SESSION_T, HTTP2STREAM_T, HTTPCLIENTREQ_T, HTTPREQ_T, HTTPRES_T, islandPromisePayloadTag, isFfiCallbackParam, isFfiContextParam, isFfiReleaseParam, isJsonSafeType, isRefCounted, isSupportedArrayElem, 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, shapeHasAccessorSlots, SPAWNRES_T, STATS_T, STRING, SYMBOL_T, TESTCTX_T, typeEquals, typeKey, unionFuncSetArmsOk, URL_T, VOID } from "./ir.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
@@ -319,6 +319,10 @@ export const LIB_FN_SIGS = {
     // The callback slot is a zero-param void closure OR its
     // `(() => void) | undefined` optional-binding union (checked specially).
     "net.listenOptsCb": { argTypes: [NETSERVER_T, F64, STRING, BOOL, null], result: VOID },
+    "net.listenOptsReusePort": { argTypes: [NETSERVER_T, F64, STRING, BOOL, BOOL], result: VOID },
+    // The callback is a zero-param void closure OR its optional-binding union;
+    // 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.serverAddress's record result is shape-checked in the libCall case
     // (the dgram.address sentinel pattern).
@@ -2270,6 +2274,9 @@ function validateFunction(fn, functions, ffiByName, classes, records, unions, gl
                     break;
                 }
                 const elem = e.type.elem;
+                if (!isSupportedArrayElem(elem)) {
+                    err(`arrayLit with unsupported ${elem.kind} elements (frontend must fence)`, e.loc);
+                }
                 const spreadSet = new Set(e.spreads ?? []);
                 for (const i of spreadSet) {
                     if (!Number.isInteger(i) || i < 0 || i >= e.elems.length) {
@@ -2294,6 +2301,9 @@ function validateFunction(fn, functions, ffiByName, classes, records, unions, gl
                 if (!isRefCounted(e.type.elem)) {
                     err(`arrayNewLen with non-refcounted ${e.type.elem.kind} elements (no absent value)`, e.loc);
                 }
+                if (!isSupportedArrayElem(e.type.elem)) {
+                    err(`arrayNewLen with unsupported ${e.type.elem.kind} elements (frontend must fence)`, e.loc);
+                }
                 checkExpr(e.length);
                 expectType(e.length, F64, "arrayNewLen length");
                 break;
@@ -3935,8 +3945,9 @@ function validateFunction(fn, functions, ffiByName, classes, records, unions, gl
                     }
                     break;
                 }
-                if (e.fn === "net.listenOptsCb") {
-                    const t = e.args[4]?.type;
+                if (e.fn === "net.listenOptsCb" || e.fn === "net.listenOptsReusePortCb") {
+                    const cbIndex = e.fn === "net.listenOptsReusePortCb" ? 5 : 4;
+                    const t = e.args[cbIndex]?.type;
                     const funcOk = (x) => x?.kind === "func" && x.params.length === 0 && x.ret.kind === "void";
                     let ok = funcOk(t);
                     if (!ok && t?.kind === "union") {
@@ -3945,7 +3956,7 @@ function validateFunction(fn, functions, ffiByName, classes, records, unions, gl
                             def.arms.some((a) => a.kind === "undefinedT");
                     }
                     if (!ok) {
-                        err(`libCall net.listenOptsCb callback shape (frontend must fence)`, e.loc);
+                        err(`libCall ${e.fn} callback shape (frontend must fence)`, e.loc);
                     }
                     break;
                 }
@@ -4763,7 +4774,7 @@ function validateFunction(fn, functions, ffiByName, classes, records, unions, gl
                 // marker object caughtToDyn builds) as a fresh runtime error.
                 const errorOk = e.type.kind === "object" && e.type.className === "%Error";
                 // ADAPTABLE function targets unwrap or wrap the checked-dynamic tree's function
-                // kind (the checked-dynamic function boundary, nodes.ts).
+                // kind (the checked-dynamic function boundary, ir.ts).
                 const funcOk = e.type.kind === "func" &&
                     canAdaptDynFuncTo(e.type, (id) => records.get(id), (id) => unions.get(id));
                 // Runtime HANDLE targets unwrap the checked-dynamic tree's handle kind by tag (a