diff options
| -rw-r--r-- | NEWS | 2 | ||||
| -rw-r--r-- | src/global_checks.ml | 6 |
2 files changed, 5 insertions, 3 deletions
@@ -1,3 +1,5 @@ +- don't die when @ISA packages are unknow, make it a warning instead + Version 1.2.4 - 21 December 2006, by Pascal "Pixel" Rigaux - handle P(...) for plurals (similar to N(...)) 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 |