From be4fff49f0164e606d4b2f76f64d4d108895f236 Mon Sep 17 00:00:00 2001 From: Mageia SVN-Git Migration Date: Wed, 25 Apr 2007 15:16:21 +0000 Subject: Rename folder to match history. This is a Synthesized commit to combine perl-MDK-Common and perl_checker repository history. --- perl_checker.src/flags.ml | 43 ------------------------------------------- 1 file changed, 43 deletions(-) delete mode 100644 perl_checker.src/flags.ml (limited to 'perl_checker.src/flags.ml') diff --git a/perl_checker.src/flags.ml b/perl_checker.src/flags.ml deleted file mode 100644 index 187c140..0000000 --- a/perl_checker.src/flags.ml +++ /dev/null @@ -1,43 +0,0 @@ -open Common -open Types - -let verbose = ref false -let quiet = ref false -let generate_pot = ref false -let expand_tabs = ref (Some 8) -let no_cache = ref false - -let check_unused_global_vars = ref false -let check_white_space = ref true -let check_suggest_simpler = ref true -let check_void = ref true -let check_context = ref true -let check_strange = ref true -let check_traps = ref true -let check_complex_expressions = ref true -let normalized_expressions = ref true -let check_help_perl_checker = ref true -let suggest_functional = ref true -let check_prototypes = ref true -let check_names = ref true -let check_import_export = ref true -let allow_MDK_Common = ref true - -let is_warning_type_set = function - | Warn_white_space -> !check_white_space - | Warn_suggest_simpler -> !check_suggest_simpler - | Warn_unused_global_vars -> !check_unused_global_vars - | Warn_void -> !check_void - | Warn_context -> !check_context - | Warn_strange -> !check_strange - | Warn_traps -> !check_traps - | Warn_complex_expressions -> !check_complex_expressions - | Warn_normalized_expressions -> !normalized_expressions - | Warn_suggest_functional -> !suggest_functional - | Warn_prototypes -> !check_prototypes - | Warn_names -> !check_names - | Warn_import_export -> !check_import_export - | Warn_MDK_Common -> !allow_MDK_Common - | Warn_help_perl_checker -> !check_help_perl_checker - -let are_warning_types_set l = not !quiet && List.for_all is_warning_type_set l -- cgit v1.2.1