diff options
author | Pascal Rigaux <pixel@mandriva.com> | 2003-04-22 20:02:18 +0000 |
---|---|---|
committer | Pascal Rigaux <pixel@mandriva.com> | 2003-04-22 20:02:18 +0000 |
commit | c08ecc08ec92814c56bdf90f3e275a37cd3bf8f1 (patch) | |
tree | 9b9791b09d73b63c474e8cfe672843dfa4c991f7 /perl_checker.src/global_checks.ml | |
parent | 599c7e0ed6b95c9f77500d54fc4d06d9991adeef (diff) | |
download | perl_checker-c08ecc08ec92814c56bdf90f3e275a37cd3bf8f1.tar perl_checker-c08ecc08ec92814c56bdf90f3e275a37cd3bf8f1.tar.gz perl_checker-c08ecc08ec92814c56bdf90f3e275a37cd3bf8f1.tar.bz2 perl_checker-c08ecc08ec92814c56bdf90f3e275a37cd3bf8f1.tar.xz perl_checker-c08ecc08ec92814c56bdf90f3e275a37cd3bf8f1.zip |
fix argument checking for Class->method(...) calls
Diffstat (limited to 'perl_checker.src/global_checks.ml')
-rw-r--r-- | perl_checker.src/global_checks.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/perl_checker.src/global_checks.ml b/perl_checker.src/global_checks.ml index 9a8f9ad..4165c7e 100644 --- a/perl_checker.src/global_checks.ml +++ b/perl_checker.src/global_checks.ml @@ -357,7 +357,7 @@ let check_variables vars t = | Method_call(Raw_string(pkg, _) as class_, Raw_string(method_, pos), para) -> let vars = List.fold_left check_variables_ vars para in let rec search pkg = - if is_global_var_declared vars (I_func, pkg, method_) (Some(pos, class_ :: para)) then true + if is_global_var_declared vars (I_func, pkg, method_) (Some(pos, [ List (class_ :: para) ])) then true else let package = Hashtbl.find vars.state.per_package pkg in List.exists search (List.map fst (some_or package.isa [])) |