aboutsummaryrefslogtreecommitdiff
path: root/lib/models/user/user_t.mli
diff options
context:
space:
mode:
authorMatias Goldfeld <[email protected]>2021-01-29 13:40:29 -0500
committerMatias Goldfeld <[email protected]>2021-01-29 13:40:29 -0500
commit7ad203a0249bd9db50dfb1df4adb9b7483406e30 (patch)
tree52696cb3e1c16a84513fb90fe50c3738ce4539cb /lib/models/user/user_t.mli
parentStarted conversion to ppx_yojson_conv (diff)
downloaddisml-7ad203a0249bd9db50dfb1df4adb9b7483406e30.tar.xz
disml-7ad203a0249bd9db50dfb1df4adb9b7483406e30.zip
Revert "Started conversion to ppx_yojson_conv"
This reverts commit c937240fdd2036edd493debb76117165e4084e8b.
Diffstat (limited to 'lib/models/user/user_t.mli')
-rw-r--r--lib/models/user/user_t.mli4
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/models/user/user_t.mli b/lib/models/user/user_t.mli
index e971531..78f7a28 100644
--- a/lib/models/user/user_t.mli
+++ b/lib/models/user/user_t.mli
@@ -5,7 +5,7 @@ type partial_user = {
discriminator: string option;
avatar: string option;
bot: bool;
-} [@@deriving sexp, yojson]
+} [@@deriving sexp, yojson { exn = true }]
(** A user object. *)
type t = {
@@ -14,4 +14,4 @@ type t = {
discriminator: string; (** The 4 digits, as a string, that come after the '#' in a Discord username. *)
avatar: string option; (** The hash of the user avatar, if they have one set. See {!User.face} to get the avatar URL. *)
bot: bool; (** Whether the user is a bot. *)
-} [@@deriving sexp, yojson] \ No newline at end of file
+} [@@deriving sexp, yojson { exn = true }] \ No newline at end of file