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 | 1990438b23ccbac6089f389b3750cfb57a89b92d (patch) | |
tree | 902fcf5e699fcb79411abd35a0c5bd05cd0cc7a6 /src | |
parent | 512f071a3380e3175e5fa8b5b2ff17e67deef4cb (diff) | |
download | perl_checker-1990438b23ccbac6089f389b3750cfb57a89b92d.tar perl_checker-1990438b23ccbac6089f389b3750cfb57a89b92d.tar.gz perl_checker-1990438b23ccbac6089f389b3750cfb57a89b92d.tar.bz2 perl_checker-1990438b23ccbac6089f389b3750cfb57a89b92d.tar.xz perl_checker-1990438b23ccbac6089f389b3750cfb57a89b92d.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 |