@scriptc/compiler 0.3.2 → 0.3.3

package/dist/ir/validate.js

@@ -4,7 +4,7 @@
  * an ICE that points at source is a gift to whoever debugs it.
  */
 import { validByteNumberToken } from "./byte-numbers.js";
-import { arrayOf, BYTES_ELEMENT_NAME, BOOL, BYTES_U8, bytesOf, canAdaptDynFuncTo, canDynCheckTo, canConvertToDyn, DYN, DYN_HANDLE_KINDS, F64, ffiClassType, ffiSourceParamTypes, isDynTypedRefType, isFfiCallbackParam, isFfiContextParam, isFfiReleaseParam, isJsonSafeType, isJsonStringifySafeType, isRefCounted, isSortValuesElement, isSupportedArrayElem, isSupportedIndexValue, isSupportedMapKey, isSupportedMapValue, isSupportedSetElem, isUnitType, REF_TRUTHY_KINDS, RUNTIME_EMITTER_CLASS, RUNTIME_ERROR_CLASSES, RUNTIME_STREAM_CLASSES, shapeHasAccessorSlots, STRING, typeEquals, typeKey, unionContainerArmsOk, VOID, } from "./ir.js";
+import { arrayOf, BYTES_ELEMENT_NAME, BOOL, BYTES_U8, bytesOf, canAdaptDynFuncTo, canDynCheckTo, canConvertToDyn, DYN, DYN_HANDLE_KINDS, F64, ffiClassType, ffiSourceParamTypes, isDirentShape, isDynTypedRefType, isFfiCallbackParam, isFfiContextParam, isFfiReleaseParam, isJsonSafeType, isJsonStringifySafeType, isRefCounted, isSortValuesElement, isSupportedArrayElem, isSupportedIndexValue, isSupportedMapKey, isSupportedMapValue, isSupportedSetElem, isUnitType, REF_TRUTHY_KINDS, RUNTIME_EMITTER_CLASS, RUNTIME_ERROR_CLASSES, RUNTIME_STREAM_CLASSES, shapeHasAccessorSlots, STRING, typeEquals, typeKey, unionContainerArmsOk, VOID, } from "./ir.js";
 import { DYN_CLASS_PROPERTIES } from "./ir.js";
 import { unionWideningTags } from "./analysis.js";
 import { alwaysReturns } from "./control-flow.js";
@@ -1978,6 +1978,8 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
                     buffer: { argTypes: [], minArgs: 0, result: DYN },
                     setFromDyn: { argTypes: [DYN, F64], minArgs: 1, result: VOID },
                     copyWithin: { argTypes: [F64, F64, F64], minArgs: 3, result: bytesOf(recv.elem) },
+                    sortNumeric: { argTypes: [F64], minArgs: 1, result: BOOL },
+                    sortCompare: { argTypes: e.args[0] ? [e.args[0].type] : [], minArgs: 1, result: VOID },
                     equals: { argTypes: [BYTES_U8], minArgs: 1, result: BOOL },
                     compareBuf: { argTypes: [BYTES_U8, F64, F64, F64, F64], minArgs: 1, result: F64 },
                     // [needle, align, byteOffset?] — an OMITTED byteOffset is Node's
@@ -2066,6 +2068,19 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
                     if (want)
                         expectType(a, want, `bytesIntrinsic ${e.method} arg ${i}`);
                 });
+                const order = e.args[0];
+                if (e.method === "sortNumeric" &&
+                    (order?.kind !== "numLit" ||
+                        (order.value !== 0 && order.value !== 1 && order.value !== -1)))
+                    err("bytesIntrinsic sortNumeric order must be the literal 0, 1 or -1", e.loc);
+                const comparator = e.args[0]?.type;
+                if (e.method === "sortCompare" &&
+                    (e.args.length !== 1 ||
+                        comparator?.kind !== "func" ||
+                        comparator.params.length > 2 ||
+                        !comparator.params.every((param) => param.kind === "f64") ||
+                        comparator.ret.kind !== "f64"))
+                    err("bytesIntrinsic sortCompare comparator must be (number, number) => number", e.loc);
                 if (!typeEquals(e.type, sig.result)) {
                     err(`bytesIntrinsic ${e.method} result must be ${sig.result.kind}, got ${e.type.kind}`, e.loc);
                 }
@@ -2337,7 +2352,7 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
                                             ? { argTypes: [F64], result: key }
                                             : e.method === "iterValue"
                                                 ? { argTypes: [F64], result: value }
-                                                : { argTypes: [], result: F64 }; // size / iterCount
+                                                : { argTypes: [], result: F64 }; // size / iterCount / iterStart
                 if (e.args.length !== sig.argTypes.length) {
                     err(`mapIntrinsic ${e.method}: ${e.args.length} args, expected ${sig.argTypes.length}`, e.loc);
                 }
@@ -2388,7 +2403,7 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
                                         ? { argTypes: [F64], result: elem }
                                         : e.method === "toArray"
                                             ? { argTypes: [], result: arrayOf(elem) }
-                                            : { argTypes: [], result: F64 }; // size / iterCount
+                                            : { argTypes: [], result: F64 }; // size / iterCount / iterStart
                 if (e.args.length !== sig.argTypes.length) {
                     err(`setIntrinsic ${e.method}: ${e.args.length} args, expected ${sig.argTypes.length}`, e.loc);
                 }
@@ -3619,11 +3634,15 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
             e.fn === "stream.pipeline" ||
             e.fn === "stream.pipelineDyn" ||
             e.fn === "sp.pipeline" ||
+            e.fn === "sp.pipelineOpts" ||
+            e.fn === "sp.pipelineOptsSignal" ||
             e.fn === "writable.write" ||
             e.fn === "writable.writeStr" ||
             e.fn === "writable.writeU" ||
             e.fn === "writable.end" ||
-            e.fn === "readable.unpipe";
+            e.fn === "readable.unpipe" ||
+            e.fn === "rl.create" ||
+            e.fn === "rl.createSignal";
         if (variadic ? e.args.length < sig.argTypes.length : e.args.length !== sig.argTypes.length) {
             err(`libCall ${e.fn}: ${e.args.length} args, expected ${sig.argTypes.length}`, e.loc);
         }
@@ -4297,10 +4316,14 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
             }
             return true;
         }
-        if (e.fn === "fs.readdirTypesSync" || e.fn === "fsp.readdirTypes") {
+        if (e.fn === "fs.readdirTypesSync" ||
+            e.fn === "fsp.readdirTypes" ||
+            e.fn === "fs.globTypesSync" ||
+            e.fn === "fsp.globTypes") {
             // Result: the interned Dirent record array — {%dtype: f64,
             // name: string, parentPath: string} rows (canonical field
-            // order; the structure lowerFsReaddirTypesCall pinned).
+            // order; the structure lowerFsReaddirTypesCall pinned). The glob
+            // forms answer the array itself.
             const result = e.fn === "fsp.readdirTypes"
                 ? e.type.kind === "promise"
                     ? e.type.inner
@@ -4309,7 +4332,23 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
             const shape = result?.kind === "array" && result.elem.kind === "record"
                 ? records.get(result.elem.shapeId)
                 : undefined;
-            const ok = shape !== undefined &&
+            const ok = shape !== undefined && isDirentShape(shape);
+            if (!ok) {
+                err(`libCall ${e.fn} must return ${e.fn === "fsp.readdirTypes" ? "a promise of " : ""}the Dirent record array`, e.loc);
+            }
+            return true;
+        }
+        if (e.fn === "dir.readSync" || e.fn === "dir.read") {
+            // Result: `Dirent | null` (a promise of it for dir.read) — the
+            // interned Dirent row shape readdirTypesSync uses, or null.
+            const result = e.fn === "dir.read" ? (e.type.kind === "promise" ? e.type.inner : undefined) : e.type;
+            const def = result?.kind === "union" ? unions.get(result.unionId) : undefined;
+            const row = def?.arms.find((a) => a.kind === "record");
+            const shape = row?.kind === "record" ? records.get(row.shapeId) : undefined;
+            const ok = def !== undefined &&
+                def.arms.length === 2 &&
+                def.arms.some((a) => a.kind === "nullT") &&
+                shape !== undefined &&
                 !shape.tuple &&
                 shape.indexValue === undefined &&
                 shape.fields.length === 3 &&
@@ -4320,7 +4359,7 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
                 shape.fields[2].name === "parentPath" &&
                 shape.fields[2].type.kind === "string";
             if (!ok) {
-                err(`libCall ${e.fn} must return ${e.fn === "fsp.readdirTypes" ? "a promise of " : ""}the Dirent record array`, e.loc);
+                err(`libCall ${e.fn} must return ${e.fn === "dir.read" ? "a promise of " : ""}Dirent | null`, e.loc);
             }
             return true;
         }
@@ -4612,6 +4651,31 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
         return false;
     }
     function checkLibSpecialCall(e) {
+        if (e.fn === "crypto.randomFillView" || e.fn === "crypto.randomFillViewRest") {
+            // The filled view is the result, at its own element type.
+            const view = e.args[0]?.type;
+            if (view?.kind !== "bytes" || !typeEquals(e.type, view)) {
+                err(`libCall ${e.fn} must return its view argument's type`, e.loc);
+            }
+            return true;
+        }
+        if (e.fn === "crypto.timingSafeEqual") {
+            if (e.args[0]?.type.kind !== "bytes" || e.args[1]?.type.kind !== "bytes")
+                err(`libCall ${e.fn} arguments must be views`, e.loc);
+        }
+        if (e.fn === "crypto.randomFillCb") {
+            if (e.args[0]?.type.kind !== "bytes")
+                err(`libCall ${e.fn} buffer must be a view`, e.loc);
+            if (e.args[4]?.type.kind !== "func")
+                err(`libCall ${e.fn} callback must be a function`, e.loc);
+        }
+        if (e.fn === "crypto.randomFillCbDyn" ||
+            e.fn === "crypto.randomIntCb" ||
+            e.fn === "crypto.generateKeyCb") {
+            const callback = e.args[e.args.length - 1]?.type;
+            if (callback?.kind !== "func")
+                err(`libCall ${e.fn} callback must be a function`, e.loc);
+        }
         if (e.fn === "global.undefRead") {
             // Always throws — the result type is whatever the declared type
             // of the undefined global mapped to (never materialized).
@@ -4732,7 +4796,11 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
             e.fn === "stream.finished" ||
             e.fn === "stream.finishedDyn" ||
             e.fn === "stream.pipeline" ||
-            e.fn === "stream.pipelineDyn") {
+            e.fn === "stream.pipelineDyn" ||
+            e.fn === "stream.addAbortSignal" ||
+            e.fn === "stream.addAbortSignalFn" ||
+            e.fn === "stream.finishedOpts" ||
+            e.fn === "stream.finishedOptsSignal") {
             // Receiver/result: stream-hierarchy objects (a class whose base
             // chain reaches a runtime stream class). Constructors have no
             // receiver — their RESULT names the class; chaining forms
@@ -4749,6 +4817,15 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
                 }
                 return false;
             };
+            if (e.fn === "stream.addAbortSignal" || e.fn === "stream.addAbortSignalFn") {
+                // [stream, signal] (the option) or [signal, stream] (the module
+                // function): the result is the stream argument's type.
+                const s = e.args[e.fn === "stream.addAbortSignal" ? 0 : 1];
+                if (!isStreamObject(s?.type) || !typeEquals(e.type, s.type)) {
+                    err(`libCall ${e.fn} must take and return a stream-hierarchy object`, e.loc);
+                }
+                return true;
+            }
             if (e.fn.endsWith(".new")) {
                 if (!isStreamObject(e.type)) {
                     err(`libCall ${e.fn} must return a stream class, got ${e.type.kind}`, e.loc);
@@ -4781,6 +4858,20 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
                     err(`libCall ${e.fn} must be void`, e.loc);
                 return true;
             }
+            if (e.fn === "stream.finishedOpts" || e.fn === "stream.finishedOptsSignal") {
+                // (recv, readable, writable, error[, signal], cb) → the cleanup
+                // closure; the callback is a func or a checked-dynamic value.
+                if (!isStreamObject(e.args[0]?.type)) {
+                    err(`libCall ${e.fn} receiver must be a stream-hierarchy object`, e.loc);
+                }
+                const cbK = e.args[e.args.length - 1]?.type.kind;
+                if (cbK !== "func" && cbK !== "dyn")
+                    err(`libCall ${e.fn} callback must be a func or dyn`, e.loc);
+                if (e.type.kind !== "func") {
+                    err(`libCall ${e.fn} must return the cleanup closure, got ${e.type.kind}`, e.loc);
+                }
+                return true;
+            }
             if (e.fn === "stream.finished" || e.fn === "stream.finishedDyn") {
                 // (recv, cb) → the cleanup closure.
                 if (!isStreamObject(e.args[0]?.type)) {