@scriptc/compiler 0.4.1 → 0.4.2

package/dist/ir/validate.js

@@ -9,7 +9,7 @@ import { DYN_CLASS_PROPERTIES, callSiteReturnType, classValueConstructor } from
 import { unionWideningTags } from "./analysis.js";
 import { alwaysReturns } from "./control-flow.js";
 import { dynamicOperationOf, functionTier } from "./tiers.js";
-import { LIB_FN_SIGS } from "./builtin-signatures.js";
+import { LIB_FN_SIGS, pipelinePumpedRuns } from "./builtin-signatures.js";
 /** The promisified crypto calls' value kinds besides checked-dynamic. */
 const CRYPTO_PROMISE_VALUES = {
     "crypto.randomBytesPromise": "buffer",
@@ -975,7 +975,7 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
     if (fn.returnType.kind === "caught")
         err("return type is caught", fn.loc);
     for (const p of fn.params) {
-        if (p.type.kind === "caught" && fn.name !== "%caught.dynamicValue")
+        if (p.type.kind === "caught" && !fn.name.startsWith("%caught."))
             err(`param "${p.name}" is caught-typed`, fn.loc);
         if (!locals.has(p.localId)) {
             err(`param "${p.name}" has no local entry "${p.localId}"`, fn.loc);
@@ -3742,6 +3742,8 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
         // destination) admit a longer list the same way.
         const variadic = e.fn === "emitter.emit" ||
             e.fn === "emitter.emitFlex" ||
+            e.fn === "emitter.emitAny" ||
+            e.fn === "emitter.emitMixed" ||
             e.fn === "readable.new" ||
             e.fn === "writable.new" ||
             e.fn === "duplex.new" ||
@@ -3769,6 +3771,7 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
             e.fn === "writable.write" ||
             e.fn === "writable.writeStr" ||
             e.fn === "writable.writeU" ||
+            e.fn === "writable.writeEnc" ||
             e.fn === "writable.end" ||
             e.fn === "readable.unpipe" ||
             e.fn === "rl.create" ||
@@ -3909,6 +3912,12 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
                 err(`libCall dyn.objEntryPairs must return a [string, any] tuple array`, e.loc);
             return true;
         }
+        if (e.fn === "array.namedKeys" || e.fn === "array.hasNamedKey") {
+            if (e.args[0]?.type.kind !== "array") {
+                err(`libCall ${e.fn} arg 0: expected an array, got ${e.args[0]?.type.kind}`, e.loc);
+            }
+            return true;
+        }
         if (e.fn === "fetch.streamFrom") {
             const t = e.args[0]?.type;
             const ok = t?.kind === "string" ||
@@ -5037,6 +5046,7 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
             e.fn.startsWith("passthrough.") ||
             e.fn === "stream.destroy" ||
             e.fn === "stream.destroyErr" ||
+            e.fn === "stream.objectMode" ||
             e.fn === "stream.iteratorClose" ||
             e.fn === "stream.prop" ||
             e.fn === "stream.errored" ||
@@ -5157,22 +5167,34 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
             if (e.fn === "stream.pipelineStages" ||
                 e.fn === "stream.pipelineStagesDyn" ||
                 e.fn === "sp.pipelineStages") {
-                // (n, at, k, flags, mask, s1..sn, stage1..stagek, (next, read,
-                // return)?, box?, (signal, abort)?[, cb]): flags bit 0 a source
-                // function, bits 1-2 the destination, bits 3/4/5 the groups.
-                const [n, at, k, flags] = e.args
+                // (n, k, positions, flags, mask, s1..sn, stage1..stagek,
+                // helpers..., box?, (signal, abort)?[, cb]): positions bit j marks
+                // stage j a function, flags bits 1-2 the destination, bit 5 the
+                // signal group; helpers are three per function run a stream
+                // follows.
+                const [n, k, positions, flags] = e.args
                     .slice(0, 4)
                     .map((a) => (a?.kind === "numLit" ? a.value : -1));
-                const source = (flags & 1) !== 0;
+                const total = n + k;
                 const destKind = (flags >> 1) & 3;
-                const groups = (flags & 8 ? 3 : 0) + (flags & 16 ? 1 : 0) + (flags & 32 ? 2 : 0);
+                let functions = 0;
+                for (let j = 0; j < total && j < 53; j++) {
+                    if (Math.floor(positions / 2 ** j) % 2 === 1)
+                        functions++;
+                }
+                const lastIsFunction = Math.floor(positions / 2 ** (total - 1)) % 2 === 1;
+                const helperCount = 3 * pipelinePumpedRuns(total, positions);
+                const groups = helperCount + (destKind === 2 ? 1 : 0) + (flags & 32 ? 2 : 0);
                 const cbArgs = e.fn === "sp.pipelineStages" ? 0 : 1;
                 if (flags < 0 ||
                     n < 0 ||
                     k < 1 ||
-                    (source ? at !== 0 : at < 1) ||
-                    (destKind === 0 ? at + 0 >= n : at !== n) ||
-                    n + k < 2 ||
+                    positions < 1 ||
+                    total > 52 ||
+                    positions >= 2 ** total ||
+                    functions !== k ||
+                    (destKind === 2) !== lastIsFunction ||
+                    total < 2 ||
                     e.args.length !== 5 + n + k + groups + cbArgs) {
                     err(`libCall ${e.fn} count/arity mismatch`, e.loc);
                     return true;
@@ -5188,7 +5210,7 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
                         err(`libCall ${e.fn} stage function ${i} must be a func`, e.loc);
                 }
                 at2 += k;
-                const helpers = (flags & 8 ? 3 : 0) + (flags & 16 ? 1 : 0);
+                const helpers = helperCount + (destKind === 2 ? 1 : 0);
                 for (let i = at2; i < at2 + helpers; i++) {
                     if (e.args[i]?.type.kind !== "func")
                         err(`libCall ${e.fn} helper ${i} must be a func`, e.loc);
@@ -5304,6 +5326,7 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
                 e.fn === "writable.end" ||
                 e.fn === "readable.setEncoding" ||
                 e.fn === "readable.pushEncoding" ||
+                e.fn === "stream.objectMode" ||
                 e.fn === "stream.destroy" ||
                 e.fn === "stream.destroyErr" ||
                 e.fn === "stream.iteratorClose") {
@@ -5384,6 +5407,7 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
                 e.fn === "emitter.off" ||
                 e.fn === "emitter.onDyn" ||
                 e.fn === "emitter.onFlex" ||
+                e.fn === "emitter.onAny" ||
                 e.fn === "stream.onDyn" ||
                 e.fn === "emitter.offDyn" ||
                 e.fn === "emitter.onData" ||
@@ -5409,9 +5433,11 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
             if (e.fn === "emitter.emitData") {
                 const chunkT = e.args[2]?.type;
                 const ok = chunkT !== undefined &&
-                    ((chunkT.kind === "bytes" && chunkT.elem === "u8") || chunkT.kind === "string");
+                    ((chunkT.kind === "bytes" && chunkT.elem === "u8") ||
+                        chunkT.kind === "string" ||
+                        chunkT.kind === "dyn");
                 if (!ok)
-                    err(`libCall emitter.emitData chunk must be bytes<u8> or string`, e.loc);
+                    err(`libCall emitter.emitData chunk must be bytes<u8>, string or dyn`, e.loc);
                 if (e.type.kind !== "bool")
                     err(`libCall emitter.emitData must be bool`, e.loc);
                 return true;
@@ -5436,13 +5462,27 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
                     err(`libCall emitter.listeners must return a func array`, e.loc);
                 return true;
             }
-            if (e.fn === "emitter.emitFlex") {
+            if (e.fn === "emitter.emitFlex" || e.fn === "emitter.emitAny") {
                 if (e.args.slice(2).some((arg) => arg.type.kind !== "dyn")) {
-                    err("libCall emitter.emitFlex payloads must be checked-dynamic", e.loc);
+                    err(`libCall ${e.fn} payloads must be checked-dynamic`, e.loc);
+                }
+            }
+            if (e.fn === "emitter.emitMixed") {
+                const count = e.args[2];
+                const k = count?.kind === "numLit" ? count.value : -1;
+                if (!Number.isInteger(k) || k < 0 || e.args.length < 3 + k) {
+                    err("libCall emitter.emitMixed needs a literal argument count", e.loc);
+                }
+                else if (e.args.slice(3, 3 + k).some((arg) => arg.type.kind !== "dyn")) {
+                    err("libCall emitter.emitMixed untyped arguments must be checked-dynamic", e.loc);
                 }
             }
             if (e.fn === "emitter.emit" ||
                 e.fn === "emitter.emitFlex" ||
+                e.fn === "emitter.emitAny" ||
+                e.fn === "emitter.emitMixed" ||
+                e.fn === "emitter.hasTyped" ||
+                e.fn === "emitter.listenersDyn" ||
                 e.fn === "emitter.count" ||
                 e.fn === "emitter.getMax" ||
                 e.fn === "emitter.ctor" ||