From 3f3903dd92643654ccdacafd6183f26537322d68 Mon Sep 17 00:00:00 2001 From: Clombrong Date: Wed, 2 Jul 2025 00:36:38 +0200 Subject: refactor(jid): delete string_of_uchars function --- lib/jid.ml | 5 ----- 1 file changed, 5 deletions(-) diff --git a/lib/jid.ml b/lib/jid.ml index 7942b1c..9d9bb58 100644 --- a/lib/jid.ml +++ b/lib/jid.ml @@ -24,11 +24,6 @@ let uchars_of_string s : uchars = loop (u :: acc) (i + k) in loop [] 0 -let string_of_uchars (u : uchars) = - let buf = Buffer.create (4 * List.length u) in - List.iter (Buffer.add_utf_8_uchar buf) u; - Buffer.to_bytes buf |> String.of_bytes - let of_string (s : string) : t = let open List in let jid = uchars_of_string s in -- cgit v1.2.3