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

package/CHANGELOG.md

@@ -1,5 +1,5 @@
 ---
-last_commit_released: a8d9bf5f0b7cc4560bb107963348e765695c22b6
+last_commit_released: 6568f35ece227fc30ce84111c8d2e975b09bac00
 updaters:
   - package.json:
       file: package.json
@@ -15,6 +15,15 @@ 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.5.0 - 2026-07-15
+
+### 🚀 Features
+
+* *(js/ts)* Add `System.IO.Directory` support (Exists, CreateDirectory) (#4798) ([6568f35e](https://github.com/fable-compiler/Fable/commit/6568f35ece227fc30ce84111c8d2e975b09bac00))
+* *(js/ts/python/beam)* Preserve member calls and pattern matches in quotations (#4780) ([55482e6b](https://github.com/fable-compiler/Fable/commit/55482e6b5e6306fd4dbaba5759024313cb26682a))
+
+<strong><small>[View changes on Github](https://github.com/fable-compiler/Fable/compare/a8d9bf5f0b7cc4560bb107963348e765695c22b6..6568f35ece227fc30ce84111c8d2e975b09bac00)</small></strong>
+
 ## 2.4.2 - 2026-07-11
 
 ### 🐞 Bug Fixes

package/Directory.js

@@ -0,0 +1,11 @@
+// This library doesn't depend on @types/node (to stay browser-compatible),
+// so this Node.js built-in import can't be type-checked; the exported
+// functions below still declare their own types for callers to rely on.
+// @ts-ignore
+import { existsSync, mkdirSync, statSync } from "node:fs";
+export function exists(path) {
+    return existsSync(path) && statSync(path).isDirectory();
+}
+export function createDirectory(path) {
+    mkdirSync(path, { recursive: true });
+}

package/package.json

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

package/quotation.js

@@ -5,6 +5,7 @@
  * and pattern matching helpers compatible with Fable's option convention
  * (undefined = no match, value/tuple = match).
  */
+import { ofArray } from "./List.js";
 // ===================================================================
 // Var: represents an F# quotation variable
 // ===================================================================
@@ -74,11 +75,12 @@ export class ExprIfThenElse {
     toJSON() { return ["IfThenElse", this.guard, this.thenExpr, this.elseExpr]; }
 }
 export class ExprCall {
-    constructor(instance, method, args) {
+    constructor(instance, method, args, declaringType = "") {
         this.tag = "Call";
         this.instance = instance;
         this.method = method;
         this.args = args;
+        this.declaringType = declaringType;
     }
     toJSON() { return ["Call", this.instance, this.method, this.args]; }
 }
@@ -176,6 +178,10 @@ export class ExprVarSet {
 export function mkValue(value, type) {
     return new ExprValue(value, type);
 }
+export function mkNull(type) {
+    // A null-value node (no instance / null literal / empty option or list).
+    return new ExprValue(null, type);
+}
 export function mkVar(v) {
     return new ExprVarExpr(v);
 }
@@ -191,8 +197,8 @@ export function mkLet(v, value, body) {
 export function mkIfThenElse(guard, thenExpr, elseExpr) {
     return new ExprIfThenElse(guard, thenExpr, elseExpr);
 }
-export function mkCall(instance, method, args) {
-    return new ExprCall(instance, method, args);
+export function mkCall(instance, method, args, declaringType = "") {
+    return new ExprCall(instance, method, args, declaringType);
 }
 export function mkSequential(first, second) {
     return new ExprSequential(first, second);
@@ -273,10 +279,17 @@ export function isIfThenElse(expr) {
     return undefined;
 }
 export function isCall(expr) {
-    if (expr instanceof ExprCall)
-        return [expr.instance, expr.method, expr.args];
+    if (expr instanceof ExprCall) {
+        // "novalue" is the "no instance" sentinel, distinct from a genuine quoted null ("null").
+        const instance = (expr.instance instanceof ExprValue && expr.instance.type === "novalue") ? null : expr.instance;
+        // Must be a real FSharpList (not the raw array), same reasoning as isFieldGet below.
+        return [instance, expr.method, ofArray(expr.args)];
+    }
     return undefined;
 }
+export function callDeclaringType(expr) {
+    return expr instanceof ExprCall ? expr.declaringType : "";
+}
 export function isSequential(expr) {
     if (expr instanceof ExprSequential)
         return [expr.first, expr.second];
@@ -303,8 +316,12 @@ export function isTupleGet(expr) {
     return undefined;
 }
 export function isFieldGet(expr) {
-    if (expr instanceof ExprFieldGet)
-        return [expr.expr, expr.fieldName];
+    // Third element mirrors PropertyGet's indexer-args slot, always empty here (never indexed).
+    // "novalue" is the "no instance" sentinel, distinct from a genuine quoted null ("null").
+    if (expr instanceof ExprFieldGet) {
+        const instance = (expr.expr instanceof ExprValue && expr.expr.type === "novalue") ? null : expr.expr;
+        return [instance, expr.fieldName, []];
+    }
     return undefined;
 }
 // ===================================================================
@@ -555,7 +572,7 @@ export function substitute(expr, fn) {
             return new ExprIfThenElse(sub(e.guard), sub(e.thenExpr), sub(e.elseExpr));
         if (e instanceof ExprCall) {
             const newInst = e.instance != null ? sub(e.instance) : e.instance;
-            return new ExprCall(newInst, e.method, e.args.map(sub));
+            return new ExprCall(newInst, e.method, e.args.map(sub), e.declaringType);
         }
         if (e instanceof ExprSequential)
             return new ExprSequential(sub(e.first), sub(e.second));