@scriptc/compiler 0.0.34 → 0.0.35

package/dist/frontend/lowering/lower-containers.js

@@ -3,7 +3,7 @@
  * methods with Node-exact forEach desugaring, and the string and regex
  * method surfaces. */
 import * as ts from "../ts7/adapter.js";
-import { BOOL, BYTES_U8, CAUGHT, DYN, F64, JSVAL, STRING, UNDEFINED_T, VOID, arrayOf, bytesOf, funcOf, isRefCounted, isSupportedIndexValue, isUnitType, typeEquals } from "../../ir/nodes.js";
+import { BOOL, BYTES_U8, CAUGHT, DYN, F64, JSVAL, STRING, UNDEFINED_T, VOID, arrayOf, bytesOf, funcOf, isRefCounted, isSupportedArrayElem, isSupportedIndexValue, isUnitType, typeEquals } from "../../ir/nodes.js";
 import { ARRAY_METHODS, MAP_METHODS, SET_COMBINE_METHODS, SET_METHODS, STR_METHODS } from "./surfaces.js";
 import { droppableStatic, isRequireMainFilename, lowerDynObjectLiteral, probeLower, pureReemittable } from "./lower-exprs.js";
 import { forOfVarTarget, lowerDestructuringAssign } from "./lower-stmts.js";
@@ -91,6 +91,18 @@ function lowerSplitLimitArg(L, node, loc) {
     const defaultValue = { kind: "numLit", value: 4294967295, type: F64, loc };
     return node ? lowerOptionalDefaultArg(L, node, F64, defaultValue) : defaultValue;
 }
+/** Callback-driven array producers bypass mapType's ordinary T[] mapping:
+ * the callback is lowered first, then the helper's result array is built
+ * directly from its IR return type. Fence element kinds ScrArr cannot hold
+ * before constructing that array type. */
+function fenceProducedArrayElem(L, node, producer, elem) {
+    if (elem.kind === "dyn") {
+        L.unsupported("SC1090", node, `${producer} with a callback returning 'unknown'-typed values (the result array has no static element type — annotate the callback's return)`);
+    }
+    if (!isSupportedArrayElem(elem)) {
+        L.unsupported("SC1090", node, `${producer} with a callback returning '${L.fmt(elem)}' values (arrays of this element kind have no representation — store the values individually)`);
+    }
+}
 /** Ambient array method calls. `push`/`unshift`/`pop`/`reverse`/
  * `indexOf`/`includes`/`join`
    * lower to arrIntrinsic; the HOF family — `map`/`filter`/`forEach`/
@@ -566,28 +578,8 @@ export function lowerArrayHofCall(L, call, access, method, elem) {
         // story yet).
         L.badType(call, L.typeOf(call));
     }
-    if (method === "map" &&
-        (fnRet.kind === "map" || fnRet.kind === "set" || fnRet.kind === "url" ||
-            fnRet.kind === "searchParams" || fnRet.kind === "generator" || fnRet.kind === "caught" ||
-            fnRet.kind === "stats" || fnRet.kind === "fileHandle" || fnRet.kind === "spawnRes" || fnRet.kind === "netSocket" ||
-            fnRet.kind === "dgramSocket" || fnRet.kind === "testCtx" || fnRet.kind === "httpReq" ||
-            fnRet.kind === "httpRes" || fnRet.kind === "httpClientReq" || fnRet.kind === "secureCtx" ||
-            fnRet.kind === "fsWatcher" || fnRet.kind === "childStream" || fnRet.kind === "procStream" ||
-            isUnitType(fnRet))) {
-        // The result would be an array of an element kind ScrArr has no
-        // home for (mapTypeOf's own array exclusions) — the callback return
-        // type bypasses that gate, so it is enforced here: a named fence,
-        // never a mistyped array into the backends.
-        L.unsupported("SC1090", call, `'.map()' with a callback returning '${L.fmt(fnRet)}' values (arrays of this element kind have no representation — store the values individually)`);
-    }
-    if (method === "map" && fnRet.kind === "dyn") {
-        // A checked-dynamic callback return would make the result a
-        // dyn-element STATIC array, which has no backend representation
-        // (dynFallbackType's rule: an unmappable element makes the WHOLE
-        // value dyn — but map's fresh array is built here, not by a
-        // declaration, so the honest answer is the fence).
-        L.unsupported("SC1090", call, "'.map()' with a callback returning 'unknown'-typed values (the result array has no static element type — annotate the callback's return)");
-    }
+    if (method === "map")
+        fenceProducedArrayElem(L, call, "'.map()'", fnRet);
     // JS applies ToBoolean to whatever the predicate answers, so a non-bool
     // result is not an error — the filter loop wraps the call in the same
     // toBool an `if` statement would apply. The island/dyn shapes, whose
@@ -753,6 +745,7 @@ export function lowerTupleReadMethodCall(L, call, access) {
     const fnRet = fnArg.type.ret;
     if (fnRet.kind === "void" || fnRet.kind === "func")
         L.badType(call, L.typeOf(call));
+    fenceProducedArrayElem(L, call, "'.map()'", fnRet);
     const helper = arrayHofHelper(L, "map", snapshotElem, fnRet, arity, loc);
     return { kind: "call", callee: helper, args: [snapshot, fnArg], type: arrayOf(fnRet), loc };
 }
@@ -1270,6 +1263,7 @@ export function lowerArrayFlatMapCall(L, call, access, elem) {
         // No flatten happens: exactly map's loop, map's helper.
         if (fnRet.kind === "void" || fnRet.kind === "func")
             L.badType(call, L.typeOf(call));
+        fenceProducedArrayElem(L, call, "'.flatMap()'", fnRet);
         const helper = arrayHofHelper(L, "map", elem, fnRet, arity, loc);
         return { kind: "call", callee: helper, args: [receiver, fnArg], type: arrayOf(fnRet), loc };
     }
@@ -2356,6 +2350,7 @@ export function lowerArrayFromCall(L, call, access) {
     const fnRet = fnT.ret;
     if (fnRet.kind === "void" || fnRet.kind === "func")
         L.badType(call, L.typeOf(call));
+    fenceProducedArrayElem(L, call, "'Array.from({ length }, mapper)'", fnRet);
     const arity = fnT.params.length;
     const key = `fromLen:${typeKey(fnRet)}:${arity}`;
     let helper = L.arrHofHelpers.get(key);