T6718: validate_path returns unit instead of (path, value)

Splitting of path arg into (path, value), as originally returned by
validate_path, is now handled by a utility function. validate_path
returns unit on success and raises error with output on failure.

1 files changed, 4 insertions, 4 deletions

diff --git a/src/value_checker.ml b/src/value_checker.ml
index 69bfeec..65013d4 100644
--- a/src/value_checker.ml
+++ b/src/value_checker.ml
@@ -52,11 +52,11 @@ let validate_any validators constraints value =
     match validate_exists validators constraints value with
     | true ->
         let () = Buffer.clear buf in
-        true, ""
+        None
     | false ->
         let out = Buffer.contents buf in
         let () = Buffer.clear buf in
-        false, out
+        Some out
 
 (* If no constraints given, consider it valid.
    Otherwise consider it valid if it satisfies all constraints *)
@@ -71,8 +71,8 @@ let validate_all validators constraints value =
     match validate_forall validators constraints value with
     | true ->
         let () = Buffer.clear buf in
-        true, ""
+        None
     | false ->
         let out = Buffer.contents buf in
         let () = Buffer.clear buf in
-        false, out
+        Some out