diff options
author | Daniil Baturin <daniil@baturin.org> | 2016-12-31 15:00:24 +0700 |
---|---|---|
committer | Daniil Baturin <daniil@baturin.org> | 2016-12-31 15:00:24 +0700 |
commit | 9085df65ea0f4640ac1b852112a14034ee4de581 (patch) | |
tree | b88f64ebce0a4207124f2c4550a5dd95a3d0972c /src/reference_tree.ml | |
parent | 766a2cb172eb2bce67f05350c9712e7a7f3adb9c (diff) | |
download | vyconf-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.ml | 4 |
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) |