diff options
author | Clombrong <cromblong@egregore.fun> | 2025-07-02 00:36:38 +0200 |
---|---|---|
committer | Clombrong <cromblong@egregore.fun> | 2025-07-26 21:55:50 +0200 |
commit | 3f3903dd92643654ccdacafd6183f26537322d68 (patch) | |
tree | 8fd2d08f17a4b2820fb8893e183e4b68e20a8f85 | |
parent | 206ffb90f611a85754b0f659a586fb0ac77ac140 (diff) |
refactor(jid): delete string_of_uchars function
-rw-r--r-- | lib/jid.ml | 5 |
1 files changed, 0 insertions, 5 deletions
@@ -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 |