diff options
Diffstat (limited to 'generator/generator_checks.ml')
-rw-r--r-- | generator/generator_checks.ml | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/generator/generator_checks.ml b/generator/generator_checks.ml index 34740470..0fb8ea42 100644 --- a/generator/generator_checks.ml +++ b/generator/generator_checks.ml @@ -129,6 +129,19 @@ let () = ) optargs ) all_functions; + (* Some parameter types not supported for daemon functions. *) + List.iter ( + fun (name, (_, args, optargs), _, _, _, _, _) -> + let check_arg_type = function + | Pointer _ -> + failwithf "Pointer is not supported for daemon function %s." + name + | _ -> () + in + List.iter check_arg_type args; + List.iter check_arg_type optargs; + ) daemon_functions; + (* Check short descriptions. *) List.iter ( fun (name, _, _, _, _, shortdesc, _) -> |