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

package/CHANGELOG.md

@@ -1,5 +1,5 @@
 ---
-last_commit_released: 619d7afddbaf25108e819abaaa9d8a6503c457d6
+last_commit_released: bf694309ae5dbc6bb546d9acc4d091f5e35fe330
 updaters:
   - package.json:
       file: package.json
@@ -15,6 +15,18 @@ 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

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.1",
+    "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)];
+}