From a2775407f2b69f9e0b5030bcac691463abbede06 Mon Sep 17 00:00:00 2001 From: John Estabrook Date: Tue, 9 Dec 2025 14:29:02 -0600 Subject: T8061: add reference_path_exists request Check whether a given config path has a form compatible with the reference tree, irrespective of validity of values. --- src/session.ml | 3 +++ 1 file changed, 3 insertions(+) (limited to 'src/session.ml') diff --git a/src/session.ml b/src/session.ml index 478c423..c869a1a 100644 --- a/src/session.ml +++ b/src/session.ml @@ -391,6 +391,9 @@ let config_unsaved w s file id = with Session_error _ -> true (* false positive on unlikely error *) in remove_file tmp_save; res +let reference_path_exists w _s path = + RT.reference_path_exists w.reference_tree path + let write_running_cache w = (* alert exn Internal.write_internal: [Internal.Write_error] caught -- cgit v1.2.3