@scriptc/compiler 0.1.2 → 0.1.3

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

@@ -541,7 +541,7 @@ function lowerArraySearchCall(lowerer, call, access, method, elem) {
     }
     // Preserve the existing fast path for an ordinary, non-union needle. Its
     // runtime implementation already has exact primitive/reference equality.
-    if (elem.kind !== "union" && typeEquals(needle.type, elem)) {
+    if (elem.kind !== "union" && elem.kind !== "bigint" && typeEquals(needle.type, elem)) {
         return {
             kind: "arrIntrinsic",
             method,
@@ -986,8 +986,9 @@ function truthyFilterCallback(lowerer, valueT, loc) {
 }
 /** The predicate result kinds `.filter()` accepts. JS applies ToBoolean to
  * whatever the callback answers, so a bool is not required: the scalars and
- * the reference kinds have constant or by-value answers, and a union is fine
- * when every arm does. void/dyn/jsval/caught stay out — see below. */
+ * the reference kinds have constant or by-value answers, checked-dynamic
+ * values ask their runtime kind, and a union is fine when every arm does.
+ * void/jsval/caught stay out — see below. */
 function filterPredicateOk(lowerer, ret) {
     if (ret.kind === "bool")
         return true;
@@ -997,10 +998,13 @@ function filterPredicateOk(lowerer, ret) {
     // compiled ABI has already discarded it. Treating void as constantly
     // falsy would silently answer [] where Node answers [1]. Fenced until
     // the returned value can be preserved through the void ABI.
-    // dyn/jsval/caught stay out too: no native ToBoolean to compile against.
+    // A checked-dynamic value retains its runtime kind, so scr_dyn_truthy can
+    // apply JavaScript ToBoolean exactly. Island and caught values stay out.
     if (ret.kind === "void")
         return false;
-    if (ret.kind === "dyn" || ret.kind === "jsval" || ret.kind === "caught")
+    if (ret.kind === "dyn")
+        return true;
+    if (ret.kind === "jsval" || ret.kind === "caught")
         return false;
     if (ret.kind === "union") {
         const def = lowerer.unions.get(ret.unionId);
@@ -1020,9 +1024,9 @@ function filterCond(call, fnRet, loc) {
     // `void` returns to void and a standalone `null` return to the unit-ONLY
     // UNION, which routes through toBool below; ir/validate.ts rejects a
     // bare unit return type outright). filterPredicateOk already rejected
-    // the arms with no native ToBoolean (dyn/caught) — which is exactly what
-    // requireTruthyUnion checks — and it did so at the call site, where a
-    // real node exists for the diagnostic.
+    // unsafe union arms (dyn/caught) at the call site, where a real node
+    // exists for the diagnostic. A bare dyn value is handled directly by
+    // the runtime's kind-aware ToBoolean.
     return { kind: "toBool", operand: call, type: BOOL, loc };
 }
 /** Interned synthetic loop function for one (method, elem, fnRet, arity)