From eabe18714f721e6e94df966068abd190774010b7 Mon Sep 17 00:00:00 2001 From: Michael Bolin Date: Wed, 1 Oct 2025 12:10:20 -0700 Subject: [PATCH] fix: use `number` instead of `bigint` for the generated TS for RequestId (#4575) Before this PR: ```typescript export type RequestId = string | bigint; ``` After: ```typescript export type RequestId = string | number; ``` `bigint` introduces headaches in TypeScript without providing any real value. --- codex-rs/app-server-protocol/src/jsonrpc_lite.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/codex-rs/app-server-protocol/src/jsonrpc_lite.rs b/codex-rs/app-server-protocol/src/jsonrpc_lite.rs index e458125d..9d6d6da0 100644 --- a/codex-rs/app-server-protocol/src/jsonrpc_lite.rs +++ b/codex-rs/app-server-protocol/src/jsonrpc_lite.rs @@ -11,6 +11,7 @@ pub const JSONRPC_VERSION: &str = "2.0"; #[serde(untagged)] pub enum RequestId { String(String), + #[ts(type = "number")] Integer(i64), }