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 | 8b557505590d0733b29c54b8f9c33d15c1619e6e (patch) | |
| tree | 7781a25b06076b396a8db83d5380f40c5bc01e7a /perl_checker.src/common.ml | |
| parent | 262c6d17a23ee7047c25e60310b0ebbcc39cb40a (diff) | |
| download | perl-MDK-Common-8b557505590d0733b29c54b8f9c33d15c1619e6e.tar perl-MDK-Common-8b557505590d0733b29c54b8f9c33d15c1619e6e.tar.gz perl-MDK-Common-8b557505590d0733b29c54b8f9c33d15c1619e6e.tar.bz2 perl-MDK-Common-8b557505590d0733b29c54b8f9c33d15c1619e6e.tar.xz perl-MDK-Common-8b557505590d0733b29c54b8f9c33d15c1619e6e.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 |