From 5275acdb005dfb2fb842b340f56c815133fa7fe8 Mon Sep 17 00:00:00 2001 From: John Estabrook Date: Mon, 11 Aug 2025 11:10:34 -0500 Subject: T7718: use revised validate_tree --- src/session.ml | 13 ++----------- 1 file changed, 2 insertions(+), 11 deletions(-) (limited to 'src') diff --git a/src/session.ml b/src/session.ml index 5cd5027..375ec43 100644 --- a/src/session.ml +++ b/src/session.ml @@ -75,17 +75,8 @@ let validate w _s path = RT.validate_path D.(w.dirs.validators) w.reference_tree path with RT.Validation_error x -> raise (Session_error x) -let validate_tree w' t = - let validate_path w out path = - let res = - try - RT.validate_path D.(w.dirs.validators) w.reference_tree path; - out - with RT.Validation_error x -> out ^ x - in res - in - let paths = CT.value_paths_of_tree t in - let out = List.fold_left (validate_path w') "" paths in +let validate_tree w t = + let out = RT.validate_tree D.(w.dirs.validators) w.reference_tree t in match out with | "" -> () | _ -> raise (Session_error out) -- cgit v1.2.3