From b303da3489a24181eff531ea01423b697f24bed3 Mon Sep 17 00:00:00 2001 From: John Estabrook Date: Mon, 8 Dec 2025 21:05:52 -0600 Subject: T8061: add function get_default_value --- src/reference_tree.ml | 11 +++++++++++ 1 file changed, 11 insertions(+) (limited to 'src/reference_tree.ml') diff --git a/src/reference_tree.ml b/src/reference_tree.ml index c78529e..4532135 100644 --- a/src/reference_tree.ml +++ b/src/reference_tree.ml @@ -605,6 +605,17 @@ let get_completion_data reftree path = in List.map aux (Vytree.children_of_node @@ (Vytree.get[@alert "-exn"]) reftree path) +let get_default_value reftree path = + (* raises: + [Vytree.Empty_path] + [Vytree.Nonexistent_path] + alert exn Vytree.get_data: + [Vytree.Empty_path] allow raise + [Vytree.Nonexistent_path] allow raise + *) + let data = (Vytree.get_data[@alert "-exn"]) reftree path in + data.default_value + (* Convert from config path to reference tree path *) let refpath reftree path = let check_existence p = -- cgit v1.2.3