diff options
| author | Daniil Baturin <daniil@baturin.org> | 2017-01-16 14:45:20 +0700 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2017-01-16 14:45:20 +0700 |
| commit | 299f99bf2d4f5ea566088cce1992fa1b9a2c24be (patch) | |
| tree | 9e2b2af7fb8678be7b17f6762297cbbdc3d1fd73 /src/reference_tree.ml | |
| parent | 9ffe1e87bb9ed5cec0eacecc43282e01e8d32829 (diff) | |
| download | vyconf-299f99bf2d4f5ea566088cce1992fa1b9a2c24be.tar.gz vyconf-299f99bf2d4f5ea566088cce1992fa1b9a2c24be.zip | |
Remove the assumptions about validator argument being mandatory.
Diffstat (limited to 'src/reference_tree.ml')
| -rw-r--r-- | src/reference_tree.ml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/reference_tree.ml b/src/reference_tree.ml index 87ab881..26b14b9 100644 --- a/src/reference_tree.ml +++ b/src/reference_tree.ml @@ -51,7 +51,10 @@ let load_constraint_from_xml d c = let cs = (Value_checker.Regex s) :: d.constraints in {d with constraints=cs} | Xml.Element ("validator", [("name", n); ("argument", a)], _) -> - let cs = (Value_checker.External (n, a)) :: d.constraints in + let cs = (Value_checker.External (n, Some a)) :: d.constraints in + {d with constraints=cs} + | Xml.Element ("validator", [("name", n)], _) -> + let cs = (Value_checker.External (n, None)) :: d.constraints in {d with constraints=cs} | _ -> raise (Bad_interface_definition "Malformed constraint") in Xml.fold aux d c |