diff options
Diffstat (limited to 'src/reference_tree.ml')
| -rw-r--r-- | src/reference_tree.ml | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/reference_tree.ml b/src/reference_tree.ml index a465a84..e3b5019 100644 --- a/src/reference_tree.ml +++ b/src/reference_tree.ml @@ -687,6 +687,15 @@ let potential_leaf_value rtree cpath = | [] -> false | _ -> is_leaf rtree ref_drop_last +let reference_path_exists rtree cpath = + if Util.is_empty cpath then false + else + if potential_leaf_value rtree cpath then true + else + let rpath = refpath rtree cpath in + if Util.is_empty rpath then false + else true + (* The 'edit' command can descend along a not-as-yet configured path, assuming that it is |