From 82454e64199c2451153c6d27a362bacec9e66ef7 Mon Sep 17 00:00:00 2001 From: Pascal Rigaux Date: Fri, 28 Mar 2008 11:15:43 +0000 Subject: - don't die when @ISA packages are unknow, make it a warning instead --- src/global_checks.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src') 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 -- cgit v1.2.1