From 702be6559becb9d1d37e6f8e9a9bd76d917e263b Mon Sep 17 00:00:00 2001 From: Pascal Rigaux Date: Thu, 18 Dec 2003 10:19:27 +0000 Subject: check unused file-global my variables --- perl_checker.src/global_checks.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'perl_checker.src') diff --git a/perl_checker.src/global_checks.ml b/perl_checker.src/global_checks.ml index 7dc50a9..0b57966 100644 --- a/perl_checker.src/global_checks.ml +++ b/perl_checker.src/global_checks.ml @@ -436,7 +436,8 @@ let check_variables vars t = let check_tree state package = let vars = { my_vars = [[]]; our_vars = []; locally_imported = []; required_vars = []; current_package = package; state = state; is_toplevel = true } in if !Flags.verbose then print_endline_flush_always ("checking package " ^ package.package_name) ; - let _vars = check_variables vars package.body in + let vars = check_variables vars package.body in + check_unused_local_variables vars ; () let imported_add i1 i2 = if i1 = None && i2 = None then None else Some (some_or i1 [] @ some_or i2 []) -- cgit v1.2.1