From 28b6ac04aaef995656eaabb2c9a279a79e657687 Mon Sep 17 00:00:00 2001 From: John Estabrook Date: Tue, 9 Dec 2025 15:30:10 -0600 Subject: T8061: add get_path_type request Get the potential node type of a path, preliminary to any validation 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 c869a1a..f924591 100644 --- a/src/session.ml +++ b/src/session.ml @@ -394,6 +394,9 @@ let config_unsaved w s file id = let reference_path_exists w _s path = RT.reference_path_exists w.reference_tree path +let get_path_type ?(legacy_format=false) w _s path = + RT.get_path_type_str ~legacy_format w.reference_tree path + let write_running_cache w = (* alert exn Internal.write_internal: [Internal.Write_error] caught -- cgit v1.2.3