@fable-org/fable-library-js 2.5.0 → 2.6.0

package/Array.js

@@ -1,7 +1,7 @@
 import { disposeSafe, getEnumerator, copyToArray, defaultOf, Exception } from "./Util.js";
 import { Helpers_allocateArrayFromCons } from "./Native.js";
 import { setItem as setItem_1, item as item_2 } from "./Array.js";
-import { value as value_2, map as map_1, defaultArg, some } from "./Option.js";
+import { value as value_2, defaultArg, some } from "./Option.js";
 import { min as min_1, max as max_1 } from "./Double.js";
 import { SR_notEnoughElements, SR_inputMustBeNonNegative, SR_inputSequenceEmpty, SR_Arg_ArgumentOutOfRangeException, SR_indexOutOfBounds } from "./Global.js";
 import { Operators_IsNull } from "./FSharp.Core.js";
@@ -183,8 +183,9 @@ export function where(predicate, array) {
     return array.filter(predicate);
 }
 export function indexOf(array, item_1, start, count, eq) {
+    let option_1 = undefined;
     const start_1 = defaultArg(start, 0) | 0;
-    const end$0027 = defaultArg(map_1((c) => ((start_1 + c) | 0), count), array.length) | 0;
+    const end$0027 = defaultArg((option_1 = count, (option_1 != null) ? (start_1 + value_2(option_1)) : undefined), array.length) | 0;
     const loop = (i_mut) => {
         loop: while (true) {
             const i = i_mut;

package/CHANGELOG.md

@@ -1,5 +1,5 @@
 ---
-last_commit_released: 6568f35ece227fc30ce84111c8d2e975b09bac00
+last_commit_released: bf694309ae5dbc6bb546d9acc4d091f5e35fe330
 updaters:
   - package.json:
       file: package.json
@@ -15,6 +15,26 @@ All notable changes to this project will be documented in this file.
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
+## 2.6.0 - 2026-09-03
+
+### 🚀 Features
+
+* *(all)* Quotations: DerivedPatterns, and captured locals as Value nodes (#4919) ([fae5093f](https://github.com/fable-compiler/Fable/commit/fae5093f2801195e865adf1acfaec63f38bbf973))
+
+### 🐞 Bug Fixes
+
+* *(all)* Emit instance calls for virtual methods inherited from Object (#4926) ([2fb535a7](https://github.com/fable-compiler/Fable/commit/2fb535a7cd35cef501c56684f205e2dffa3c36e6))
+
+<strong><small>[View changes on Github](https://github.com/fable-compiler/Fable/compare/619d7afddbaf25108e819abaaa9d8a6503c457d6..bf694309ae5dbc6bb546d9acc4d091f5e35fe330)</small></strong>
+
+## 2.5.1 - 2026-07-24
+
+### 🐞 Bug Fixes
+
+* *(js/ts,python)* Inline Option/ValueOption combinators to avoid closures and allocations (#4836) ([61cac646](https://github.com/fable-compiler/Fable/commit/61cac646e6385d82247082dbb90a98b1646560de))
+
+<strong><small>[View changes on Github](https://github.com/fable-compiler/Fable/compare/6568f35ece227fc30ce84111c8d2e975b09bac00..619d7afddbaf25108e819abaaa9d8a6503c457d6)</small></strong>
+
 ## 2.5.0 - 2026-07-15
 
 ### 🚀 Features

package/List.js

@@ -253,12 +253,13 @@ export function FSharpList__get_Item_Z524259A4(xs, index) {
             const i = i_mut, xs_1 = xs_1_mut;
             const matchValue = xs_1.tail;
             if (matchValue != null) {
+                const t = value_1(matchValue);
                 if (i === index) {
                     return xs_1.head;
                 }
                 else {
                     i_mut = (i + 1);
-                    xs_1_mut = value_1(matchValue);
+                    xs_1_mut = t;
                     continue loop;
                 }
             }

package/Map.js

@@ -702,11 +702,15 @@ export function MapTreeModule_foldSectionOpt(comparer, lo, hi, f, m, x) {
                         return x_3;
                     }
                 }
-                else if ((comparer.Compare(lo, MapTreeLeaf$2__get_Key(m2)) <= 0) && (comparer.Compare(MapTreeLeaf$2__get_Key(m2), hi) <= 0)) {
-                    return f_1(MapTreeLeaf$2__get_Key(m2), MapTreeLeaf$2__get_Value(m2), x_1);
-                }
                 else {
-                    return x_1;
+                    const cLoKey_1 = comparer.Compare(lo, MapTreeLeaf$2__get_Key(m2)) | 0;
+                    const cKeyHi_1 = comparer.Compare(MapTreeLeaf$2__get_Key(m2), hi) | 0;
+                    if ((cLoKey_1 <= 0) && (cKeyHi_1 <= 0)) {
+                        return f_1(MapTreeLeaf$2__get_Key(m2), MapTreeLeaf$2__get_Value(m2), x_1);
+                    }
+                    else {
+                        return x_1;
+                    }
                 }
             }
             else {

package/MutableMap.js

@@ -272,7 +272,7 @@ export function Dictionary__set_Item_5BDDA1(this$, k, v) {
             setItem(getItemFromDict(this$.hashMap, matchValue[1]), matchValue[2], [k, v]);
         }
         else {
-            const value = void (getItemFromDict(this$.hashMap, matchValue[1]).push([k, v]));
+            void (getItemFromDict(this$.hashMap, matchValue[1]).push([k, v]));
         }
     }
     else {
@@ -286,7 +286,7 @@ export function Dictionary__Add_5BDDA1(this$, k, v) {
             throw ArgumentException_$ctor_Z721C83C5(format("An item with the same key has already been added. Key: {0}", k));
         }
         else {
-            const value = void (getItemFromDict(this$.hashMap, matchValue[1]).push([k, v]));
+            void (getItemFromDict(this$.hashMap, matchValue[1]).push([k, v]));
         }
     }
     else {

package/MutableSet.js

@@ -178,7 +178,7 @@ export function HashSet__Add_2B595(this$, k) {
             return false;
         }
         else {
-            const value = void (getItemFromDict(this$.hashMap, matchValue[1]).push(k));
+            void (getItemFromDict(this$.hashMap, matchValue[1]).push(k));
             return true;
         }
     }

package/Option.js

@@ -70,30 +70,13 @@ export function toArray(opt) {
 export function defaultArg(opt, defaultValue) {
     return (opt != null) ? value(opt) : defaultValue;
 }
-export function defaultArgWith(opt, defThunk) {
-    return (opt != null) ? value(opt) : defThunk();
-}
 export function orElse(opt, ifNone) {
     return opt == null ? ifNone : opt;
 }
-export function orElseWith(opt, ifNoneThunk) {
-    return opt == null ? ifNoneThunk() : opt;
-}
-export function filter(predicate, opt) {
-    return (opt != null) ? (predicate(value(opt)) ? opt : undefined) : opt;
-}
+// Only used by Replacements.Util.fs's curry/uncurry helpers, not by `Option.map` itself.
 export function map(mapping, opt) {
     return (opt != null) ? some(mapping(value(opt))) : undefined;
 }
-export function map2(mapping, opt1, opt2) {
-    return (opt1 != null && opt2 != null) ? mapping(value(opt1), value(opt2)) : undefined;
-}
-export function map3(mapping, opt1, opt2, opt3) {
-    return (opt1 != null && opt2 != null && opt3 != null) ? mapping(value(opt1), value(opt2), value(opt3)) : undefined;
-}
-export function bind(binder, opt) {
-    return opt != null ? binder(value(opt)) : undefined;
-}
 export function tryOp(op, arg) {
     try {
         return some(op(arg));

package/Seq.js

@@ -277,7 +277,7 @@ export function Enumerator_unfold(f, state) {
     return Enumerator_FromFunctions$1_$ctor_58C54629(() => {
         if (curr != null) {
             const x = value_1(curr)[0];
-            const st = value_1(curr)[1];
+            value_1(curr)[1];
             return x;
         }
         else {
@@ -286,7 +286,7 @@ export function Enumerator_unfold(f, state) {
     }, () => {
         curr = f(acc);
         if (curr != null) {
-            const x_1 = value_1(curr)[0];
+            value_1(curr)[0];
             const st_1 = value_1(curr)[1];
             acc = st_1;
             return true;

package/System.Text.js

@@ -178,6 +178,13 @@ export function StringBuilder__set_Chars_413E0D0A(x, index, value) {
         setItem(x.buf, i, (item(i, x.buf).slice(0, (pos - 1) + 1) + value) + item(i, x.buf).slice(pos + 1, item(i, x.buf).length));
     }
 }
+export function StringBuilder__get_Length(x) {
+    let len = 0;
+    for (let i = x.buf.length - 1; i >= 0; i--) {
+        len = ((len + item(i, x.buf).length) | 0);
+    }
+    return len | 0;
+}
 export function StringBuilder__Replace_Z766F94C0(x, oldValue, newValue) {
     for (let i = x.buf.length - 1; i >= 0; i--) {
         setItem(x.buf, i, replace(item(i, x.buf), oldValue, newValue));
@@ -188,13 +195,6 @@ export function StringBuilder__Replace_Z384F8060(x, oldValue, newValue) {
     const str = replace(x.toString(), oldValue, newValue);
     return StringBuilder__Append_Z721C83C5(StringBuilder__Clear(x), str);
 }
-export function StringBuilder__get_Length(x) {
-    let len = 0;
-    for (let i = x.buf.length - 1; i >= 0; i--) {
-        len = ((len + item(i, x.buf).length) | 0);
-    }
-    return len | 0;
-}
-export function StringBuilder__ToString_Z37302880(x, firstIndex, length) {
-    return substring(x.toString(), firstIndex, length);
+export function StringBuilder__ToString_Z37302880(x, startIndex, length) {
+    return substring(x.toString(), startIndex, length);
 }

package/package.json

@@ -3,7 +3,7 @@
     "private": false,
     "type": "module",
     "name": "@fable-org/fable-library-js",
-    "version": "2.5.0",
+    "version": "2.6.0",
     "description": "Core library used by F# projects compiled with fable.io",
     "author": "Fable Contributors",
     "license": "MIT",

package/quotation.js

@@ -633,3 +633,50 @@ export function exprFromJSON(json) {
         default: return new ExprValue(json, "unknown");
     }
 }
+// ===================================================================
+// DerivedPatterns
+// F# defines these on top of Patterns. AndAlso and OrElse recover the
+// shape `&&` and `||` desugar into; SpecificCall matches a call by the
+// identity of a template quotation rather than by compiled name.
+// ===================================================================
+export function isAndAlso(expr) {
+    // a && b  ==>  if a then b else false
+    if (expr instanceof ExprIfThenElse
+        && expr.elseExpr instanceof ExprValue
+        && expr.elseExpr.value === false) {
+        return [expr.guard, expr.thenExpr];
+    }
+    return undefined;
+}
+export function isOrElse(expr) {
+    // a || b  ==>  if a then true else b
+    if (expr instanceof ExprIfThenElse
+        && expr.thenExpr instanceof ExprValue
+        && expr.thenExpr.value === true) {
+        return [expr.guard, expr.elseExpr];
+    }
+    return undefined;
+}
+/// A template such as <@ (=) @> quotes as nested lambdas around the call, so
+/// the identifying Call node has to be dug out before comparing.
+function templateCall(expr) {
+    let current = expr;
+    while (current instanceof ExprLambda) {
+        current = current.body;
+    }
+    return current instanceof ExprCall ? current : undefined;
+}
+// Takes both arguments; the partial application FSharp.Core expresses by
+// currying is built by the replacement instead.
+export function isSpecificCall(template, expr) {
+    const wanted = templateCall(template);
+    if (wanted === undefined || !(expr instanceof ExprCall))
+        return undefined;
+    if (expr.method !== wanted.method || expr.declaringType !== wanted.declaringType)
+        return undefined;
+    const instance = (expr.instance instanceof ExprValue && expr.instance.type === "novalue") ? null : expr.instance;
+    // The middle slot is F#'s generic-argument list. The runtime models types as
+    // names rather than System.Type, so it is always empty here; callers written
+    // against Fable match it with a wildcard.
+    return [instance, ofArray([]), ofArray(expr.args)];
+}