@reventlessdev/rescript-node 2.0.0-alpha.14 → 2.0.0-alpha.16

package/CHANGELOG.md

@@ -3,6 +3,26 @@
 All notable changes to this project will be documented in this file.
 See [Conventional Commits](https://conventionalcommits.org) for commit guidelines.
 
+# 2.0.0-alpha.16 (2026-09-27)
+
+### Features
+
+* **node:** bind node:test and node:assert, lstatSync, execPath and base64 decoding ([c067e39](https://github.com/ReventlessDev/reventless-core/commit/c067e39ce3a5979f3a18c4761e4673baa6c11ffd))
+
+
+# 2.0.0-alpha.15 (2026-09-23)
+
+* feat(node)!: every command-line tool reads its arguments through parseArgs ([2e41979](https://github.com/ReventlessDev/reventless-core/commit/2e41979b73646c46356e197e17eb4a3da0154c73))
+
+### BREAKING CHANGES
+
+* NodeProcess.onSignal takes the new NodeProcess.signal
+variant (SIGINT | SIGTERM | SIGHUP) instead of a polymorphic variant:
+write onSignal(SIGINT, …) for onSignal(#SIGINT, …). Node receives the
+same string.
+
+
+
 # 2.0.0-alpha.14 (2026-09-23)
 
 ### Features

package/README.md

@@ -45,6 +45,7 @@ Add it to your `rescript.json` dependencies:
 | `NodeProcess` | the `process` global |
 | `NodeStreams` | `node:stream`, plus the stream-shaped parts of `node:fs` and `node:readline` |
 | `NodeUrl` | `node:url` |
+| `NodeUtil` | `parseArgs` from `node:util` |
 | `NodeZlib` | `node:zlib` |
 
 Every module specifier is `node:`-prefixed. Bare `"fs"` is what bundlers alias to a browser polyfill

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@reventlessdev/rescript-node",
-  "version": "2.0.0-alpha.14",
+  "version": "2.0.0-alpha.16",
   "description": "ReScript bindings for the Node.js standard library",
   "license": "Apache-2.0",
   "devDependencies": {

package/rescript.json

@@ -15,6 +15,7 @@
       "dir": "src",
       "subdirs": true,
       "public": [
+        "NodeAssert",
         "NodeBuffer",
         "NodeChildProcess",
         "NodeCrypto",
@@ -25,7 +26,9 @@
         "NodePath",
         "NodeProcess",
         "NodeStreams",
+        "NodeTest",
         "NodeUrl",
+        "NodeUtil",
         "NodeZlib"
       ]
     }

package/src/NodeAssert.res

@@ -0,0 +1,35 @@
+/** Bindings for [`node:assert/strict`](https://nodejs.org/api/assert.html#strict-assertion-mode).
+
+    The strict module only: `equal` is `===` and `deepEqual` is `deepStrictEqual`,
+    so a test cannot pass on a coercion. Each assertion that takes a message has a
+    `…Msg` form; the message replaces Node's generated one when the assertion
+    fails, so it should say what went wrong rather than restate the values. */
+@module("node:assert/strict")
+external equal: ('a, 'a) => unit = "equal"
+
+@module("node:assert/strict")
+external equalMsg: ('a, 'a, string) => unit = "equal"
+
+@module("node:assert/strict")
+external deepEqual: ('a, 'a) => unit = "deepEqual"
+
+@module("node:assert/strict")
+external deepEqualMsg: ('a, 'a, string) => unit = "deepEqual"
+
+@module("node:assert/strict")
+external ok: bool => unit = "ok"
+
+@module("node:assert/strict")
+external okMsg: (bool, string) => unit = "ok"
+
+/** `assert.match`, renamed because `match` is not an identifier in ReScript. */
+@module("node:assert/strict")
+external matches: (string, RegExp.t) => unit = "match"
+
+@module("node:assert/strict")
+external doesNotMatch: (string, RegExp.t) => unit = "doesNotMatch"
+
+/** Always throws, so it types as any value — usable as the arm of a `switch` that
+    has nothing to return. */
+@module("node:assert/strict")
+external fail: string => 'a = "fail"

package/src/NodeAssert.res.mjs

@@ -0,0 +1,2 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+/* This output is empty. Its source's type definitions, externals and/or unused code got optimized away. */

package/src/NodeBuffer.res

@@ -25,6 +25,10 @@ external fromStringBase64Url: (string, @as("base64url") _) => t = "from"
 
 /** A `Buffer` over a copy of the bytes. A plain `Uint8Array` — what the AWS SDK
     hands back — has only the array's own `toString`, which joins the numbers. */
+/** Standard base64, the alphabet of a `data:…;base64,` URI. */
+@val @scope("Buffer")
+external fromStringBase64: (string, @as("base64") _) => t = "from"
+
 @val @scope("Buffer")
 external fromBytes: Uint8Array.t => t = "from"
 

package/src/NodeFs.res

@@ -16,6 +16,15 @@ existsSync: string => bool = "existsSync"
 @module("node:fs")
 external realpathSync: string => string = "realpathSync"
 
+type stats
+
+/** Stats the path itself rather than what it points to, which is the only way to
+    tell a symbolic link from its target. */
+@module("node:fs")
+external lstatSync: string => stats = "lstatSync"
+
+@send external isSymbolicLink: stats => bool = "isSymbolicLink"
+
 /** Set a file's access and modification times, in seconds since the epoch.
 
     The reason this exists here rather than as a shell-out to `touch`: a build

package/src/NodeProcess.res

@@ -23,6 +23,12 @@ external exit: int => unit = "exit"
 @val @scope("process")
 external pid: int = "pid"
 
+/** The absolute path of the running `node` binary — what a test spawns a script
+    with, so the child runs on the same Node as the parent rather than whichever
+    `node` is first on `PATH`. */
+@val @scope("process")
+external execPath: string = "execPath"
+
 /** `versions["node"]` is the running Node's version, without the leading `v`. */
 @val @scope("process")
 external versions: dict<string> = "versions"
@@ -40,13 +46,20 @@ external kill: (int, int) => unit = "kill"
     synchronous work, while a signal handler receives the signal name and fires
     *before* the process is committed to leaving — code that registers one and
     expects the other's timing gets a cleanup that never runs. Signals are a
-    polyvariant so a typo is a compile error rather than a handler that is never
-    called. */
+    closed variant so a typo is a compile error rather than a handler that is
+    never called. */
 @val @scope("process")
 external onExit: (@as("exit") _, int => unit) => unit = "on"
 
+/** The signals a CLI cleans up on. Each constructor compiles to the name Node
+    reads. */
+type signal =
+  | @as("SIGINT") SIGINT
+  | @as("SIGTERM") SIGTERM
+  | @as("SIGHUP") SIGHUP
+
 @val @scope("process")
-external onSignal: ([#SIGINT | #SIGTERM | #SIGHUP], unit => unit) => unit = "on"
+external onSignal: (signal, unit => unit) => unit = "on"
 
 /** The standard streams. `write`, `isTTY`, `pause` and `unref` are what the
     interactive prompts in this repository reach for; the type is abstract so it

package/src/NodeTest.res

@@ -0,0 +1,23 @@
+/** Bindings for [`node:test`](https://nodejs.org/api/test.html), the runner behind
+    `node --test`.
+
+    Only the forms a test file declares itself with. A test body is synchronous
+    unless it is bound through {!testAsync}; a promise returned from {!test}'s body
+    would not be awaited by the type, so the two are kept apart. */
+@module("node:test")
+external test: (string, unit => unit) => unit = "test"
+
+@module("node:test")
+external testAsync: (string, unit => promise<unit>) => unit = "test"
+
+/** Whether a test runs, or why it is skipped. Node takes `false` or a reason
+    string, and prints the reason beside the skipped test. */
+@unboxed
+type skip = | @as(false) Run | Skip(string)
+
+type options = {skip?: skip}
+
+/** A test that decides at load time whether it can run — one that needs a sibling
+    checkout, say, and skips with a reason where there is none. */
+@module("node:test")
+external testWith: (string, options, unit => unit) => unit = "test"

package/src/NodeTest.res.mjs

@@ -0,0 +1,2 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+/* This output is empty. Its source's type definitions, externals and/or unused code got optimized away. */

package/src/NodeUtil.res

@@ -0,0 +1,52 @@
+/** Bindings for `node:util`. `parseArgs` is stable from Node 20.
+
+    Node's string enums are regular variants whose constructors compile to the
+    exact strings Node reads and writes. `default` and `allowNegative` are left
+    out: the first is a string, a boolean or an array depending on the option,
+    and the second needs Node 22.4. */
+/** An option's `type`. */
+type optionType =
+  | @as("string") String
+  | @as("boolean") Boolean
+
+type optionConfig = {
+  @as("type") type_: optionType,
+  short?: string,
+  multiple?: bool,
+}
+
+type config = {
+  args?: array<string>,
+  options: dict<optionConfig>,
+  strict?: bool,
+  allowPositionals?: bool,
+  tokens?: bool,
+}
+
+/** A token's `kind`. The constructor names avoid `Option`, which would read as
+    the standard library module at every use site. */
+type tokenKind =
+  | @as("option") Flag
+  | @as("positional") Positional
+  | @as("option-terminator") Terminator
+
+type token = {
+  kind: tokenKind,
+  index: int,
+  name?: string,
+  rawName?: string,
+  value?: string,
+  inlineValue?: bool,
+}
+
+/** `values` mixes strings, booleans and arrays under one object, so it is
+    abstract and read through the typed accessors below. */
+type values
+
+type parsed = {values: values, positionals: array<string>, tokens?: array<token>}
+
+@module("node:util") external parseArgs: config => parsed = "parseArgs"
+
+@get_index external string: (values, string) => option<string> = ""
+@get_index external bool: (values, string) => option<bool> = ""
+@get_index external strings: (values, string) => option<array<string>> = ""

package/src/NodeUtil.res.mjs

@@ -0,0 +1,2 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+/* This output is empty. Its source's type definitions, externals and/or unused code got optimized away. */