From aff050c6ba86c87d9ce962e1b4cd7d4f71aeb245 Mon Sep 17 00:00:00 2001 From: Pascal Rigaux Date: Mon, 4 Aug 2003 01:15:28 +0000 Subject: in Pkg->method, warn when Pkg is an unknown package --- perl_checker.src/global_checks.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/perl_checker.src/global_checks.ml b/perl_checker.src/global_checks.ml index e709308..e475c8a 100644 --- a/perl_checker.src/global_checks.ml +++ b/perl_checker.src/global_checks.ml @@ -396,7 +396,7 @@ let check_variables vars t = (try if not (uses_external_package pkg || List.mem pkg !ignored_packages || search pkg || method_ = "bootstrap") then warn_with_pos pos (sprintf "unknown method %s starting in package %s" method_ pkg); - with Not_found -> (* no warning, "can't find package" is already warned *)()); + with Not_found -> warn_with_pos pos (sprintf "unknown package %s" pkg)); Some vars | Method_call(o, Raw_string(method_, pos), para) -> -- cgit v1.2.1