diff options
Diffstat (limited to 'src/value_checker.ml')
| -rw-r--r-- | src/value_checker.ml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/value_checker.ml b/src/value_checker.ml index ed7c5d1..245b769 100644 --- a/src/value_checker.ml +++ b/src/value_checker.ml @@ -16,3 +16,9 @@ let validate_value validators value_constraint value = | Unix.WEXITED 0 -> true | _ -> false with Not_found -> raise (Bad_validator t) + +let rec validate_any validators constraints value = + match constraints with + | [] -> false + | c :: cs -> if validate_value validators c value then true + else validate_any validators cs value |