From 9ac7c1e3a258c1e41c4c4abd7b45a8f29af7907a Mon Sep 17 00:00:00 2001 From: John Estabrook Date: Mon, 30 Jun 2025 15:48:10 -0500 Subject: T7499: catch Duplicate_value error --- src/session.ml | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'src') diff --git a/src/session.ml b/src/session.ml index 5e276c2..1ff9bae 100644 --- a/src/session.ml +++ b/src/session.ml @@ -104,8 +104,12 @@ let set w s path = apply_cfg_op op s.proposed_config |> (fun c -> RT.set_tag_data w.reference_tree c path) |> (fun c -> RT.set_leaf_data w.reference_tree c path) - with CT.Useless_set -> + with + | CT.Useless_set -> raise (Session_error (Printf.sprintf "Useless set, path: %s" (string_of_op op))) + | CT.Duplicate_value -> + raise (Session_error (Printf.sprintf "Duplicate value, path: %s" (string_of_op op))) + in {s with proposed_config=config; changeset=(op :: s.changeset)} -- cgit v1.2.3