aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorClombrong <cromblong@egregore.fun>2025-07-01 21:28:38 +0200
committerClombrong <cromblong@egregore.fun>2025-07-26 21:55:11 +0200
commitbd6c41b0507b7cf460f1c789f9800501d9390788 (patch)
tree050d818c46e13bc93dc0ac9cc08b43062a2368f1
parentf9571f89a4121804ebe426e5458c4e32d779d98b (diff)
feat(jid): derive Show for Jids
-rw-r--r--lib/jid.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/jid.ml b/lib/jid.ml
index ee74148..d7c2982 100644
--- a/lib/jid.ml
+++ b/lib/jid.ml
@@ -2,7 +2,7 @@ type t = {
localpart : string option;
domainpart : string;
resourcepart : string option;
- }
+ } [@@deriving show { with_path = false }]
exception InvalidUTF8