summaryrefslogtreecommitdiff
path: root/src/reference_tree.ml
diff options
context:
space:
mode:
authorDaniil Baturin <daniil@baturin.org>2016-12-31 15:00:24 +0700
committerDaniil Baturin <daniil@baturin.org>2016-12-31 15:00:24 +0700
commit9085df65ea0f4640ac1b852112a14034ee4de581 (patch)
treeb88f64ebce0a4207124f2c4550a5dd95a3d0972c /src/reference_tree.ml
parent766a2cb172eb2bce67f05350c9712e7a7f3adb9c (diff)
downloadvyconf-9085df65ea0f4640ac1b852112a14034ee4de581.tar.gz
vyconf-9085df65ea0f4640ac1b852112a14034ee4de581.zip
Fix format of validation error messages (paths in square brackets, no quotes).
Diffstat (limited to 'src/reference_tree.ml')
-rw-r--r--src/reference_tree.ml4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/reference_tree.ml b/src/reference_tree.ml
index b717d19..a1240da 100644
--- a/src/reference_tree.ml
+++ b/src/reference_tree.ml
@@ -136,7 +136,7 @@ let load_from_xml reftree file =
in the reference tree
*)
let rec validate_path validators_dir node path =
- let show_path p = Util.string_of_path (List.rev p) in
+ let show_path p = Printf.sprintf "[%s]" @@ Util.string_of_path (List.rev p) in
let rec aux node path acc =
let data = Vytree.data_of_node node in
match data.node_type with
@@ -145,7 +145,7 @@ let rec validate_path validators_dir node path =
| [] ->
if data.valueless then (List.rev acc, None)
else raise (Validation_error
- (Printf.sprintf "Node \"%s\" requires a value" (show_path acc) ))
+ (Printf.sprintf "Node %s requires a value" (show_path acc) ))
| [p] ->
if not data.valueless then
(if (Value_checker.validate_any validators_dir data.constraints p) then (List.rev acc, Some p)