aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorClombrong <cromblong@egregore.fun>2025-07-02 00:36:38 +0200
committerClombrong <cromblong@egregore.fun>2025-07-26 21:55:50 +0200
commit3f3903dd92643654ccdacafd6183f26537322d68 (patch)
tree8fd2d08f17a4b2820fb8893e183e4b68e20a8f85
parent206ffb90f611a85754b0f659a586fb0ac77ac140 (diff)
refactor(jid): delete string_of_uchars function
-rw-r--r--lib/jid.ml5
1 files changed, 0 insertions, 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