diff options
| author | Pascal Rigaux <pixel@mandriva.com> | 2008-03-28 11:15:43 +0000 |
|---|---|---|
| committer | Pascal Rigaux <pixel@mandriva.com> | 2008-03-28 11:15:43 +0000 |
| commit | 82454e64199c2451153c6d27a362bacec9e66ef7 (patch) | |
| tree | 902fcf5e699fcb79411abd35a0c5bd05cd0cc7a6 /src | |
| parent | dfcd26748314190d6186dba81b9b1d8d1cfada67 (diff) | |
| download | perl_checker-82454e64199c2451153c6d27a362bacec9e66ef7.tar perl_checker-82454e64199c2451153c6d27a362bacec9e66ef7.tar.gz perl_checker-82454e64199c2451153c6d27a362bacec9e66ef7.tar.bz2 perl_checker-82454e64199c2451153c6d27a362bacec9e66ef7.tar.xz perl_checker-82454e64199c2451153c6d27a362bacec9e66ef7.zip | |
- don't die when @ISA packages are unknow, make it a warning instead
Diffstat (limited to 'src')
| -rw-r--r-- | src/global_checks.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/global_checks.ml b/src/global_checks.ml index 4a97221..c50bb31 100644 --- a/src/global_checks.ml +++ b/src/global_checks.ml @@ -554,10 +554,10 @@ let get_methods_available state = | None -> if Hashtbl.mem package.vars_declared (I_func, "new") then [package] else [] | Some l -> - package :: List.map (fun (pkg, pos) -> + package :: filter_some_with (fun (pkg, pos) -> try - Hashtbl.find state.per_packages pkg - with Not_found -> die_with_pos pos ("bad package " ^ pkg) + Some (Hashtbl.find state.per_packages pkg) + with Not_found -> (warn_with_pos [] pos ("can't find package " ^ pkg); None) ) l ) state.per_packages ) in |