diff options
| author | Pascal Rigaux <pixel@mandriva.com> | 2004-11-10 09:07:48 +0000 |
|---|---|---|
| committer | Pascal Rigaux <pixel@mandriva.com> | 2004-11-10 09:07:48 +0000 |
| commit | 2e8ce2010f213d7c5110f7b052f1301440e9f663 (patch) | |
| tree | b6bba578f0fe4919752dcf213ee3d20ea5e46679 /perl_checker.src/common.ml | |
| parent | 19223c94b1e66d368510b0a51846cd81ff274578 (diff) | |
| download | perl_checker-2e8ce2010f213d7c5110f7b052f1301440e9f663.tar perl_checker-2e8ce2010f213d7c5110f7b052f1301440e9f663.tar.gz perl_checker-2e8ce2010f213d7c5110f7b052f1301440e9f663.tar.bz2 perl_checker-2e8ce2010f213d7c5110f7b052f1301440e9f663.tar.xz perl_checker-2e8ce2010f213d7c5110f7b052f1301440e9f663.zip | |
allow disabling warnings on command-line (and have various warnings level)
Diffstat (limited to 'perl_checker.src/common.ml')
| -rw-r--r-- | perl_checker.src/common.ml | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/perl_checker.src/common.ml b/perl_checker.src/common.ml index 8a0d27e..dd2f6b1 100644 --- a/perl_checker.src/common.ml +++ b/perl_checker.src/common.ml @@ -228,6 +228,13 @@ let rec lfix_point f e = if e = e' then e :: lfix_point f e' else [e] *) +let fluid_let ref value f = + let previous_val = !ref in + ref := value ; + let v = f() in + ref := previous_val ; + v + let do0_withenv doit f env l = let r_env = ref env in doit (fun e -> r_env := f !r_env e) l ; @@ -882,9 +889,7 @@ let rec updir dir nb = let (string_of_ref : 'a ref -> string) = fun r -> Printf.sprintf "0x%x" (Obj.magic r : int) -let print_endline_flush_quiet = ref false -let print_endline_flush s = if not !print_endline_flush_quiet then (print_endline s ; flush stdout) -let print_endline_flush_always s = print_endline s ; flush stdout +let print_endline_flush s = print_endline s ; flush stdout let is_int n = n = floor n |