diff options
| author | Pascal Rigaux <pixel@mandriva.com> | 2004-10-14 04:58:40 +0000 |
|---|---|---|
| committer | Pascal Rigaux <pixel@mandriva.com> | 2004-10-14 04:58:40 +0000 |
| commit | b5c54309bae69c9c0c8fd02245a79b2da468464e (patch) | |
| tree | a8776ae4fe5d57bc58d1a4c92744f3a1915746c5 /perl_checker.src/tree.ml | |
| parent | 0bb82649ff6ce4a7c7cde745c51a5e3ea61c5b2f (diff) | |
| download | perl_checker-b5c54309bae69c9c0c8fd02245a79b2da468464e.tar perl_checker-b5c54309bae69c9c0c8fd02245a79b2da468464e.tar.gz perl_checker-b5c54309bae69c9c0c8fd02245a79b2da468464e.tar.bz2 perl_checker-b5c54309bae69c9c0c8fd02245a79b2da468464e.tar.xz perl_checker-b5c54309bae69c9c0c8fd02245a79b2da468464e.zip | |
- add char_quote (to help emacs caml mode)
- change prototype of str_begins_with
Diffstat (limited to 'perl_checker.src/tree.ml')
| -rw-r--r-- | perl_checker.src/tree.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/perl_checker.src/tree.ml b/perl_checker.src/tree.ml index 3b0d4ea..2d630c1 100644 --- a/perl_checker.src/tree.ml +++ b/perl_checker.src/tree.ml @@ -245,7 +245,7 @@ let read_xs_extension_from_so global_vars_declared package pos = if !Flags.verbose then print_endline_flush (sprintf "using shared-object symbols from %s" so) ; fold_lines (fun () s -> let s = skip_n_char 11 s in - if str_begins_with s "XS_" then + if str_begins_with "XS_" s then let s = skip_n_char 3 s in let len = String.length s in let rec find_package_name accu i = @@ -396,7 +396,7 @@ let get_global_info_from_package from_basedir require_name build_time t = let required_packages = List.map (fun (s, (_, pos)) -> s, pos) uses in let required_packages = List.fold_left (fold_tree (fun l -> function - | Perl_checker_comment(s, pos) when str_begins_with s "require " -> + | Perl_checker_comment(s, pos) when str_begins_with "require " s -> Some((skip_n_char 8 s, pos) :: l) | Call(Deref(I_func, Ident (None, "require", pos)), [Ident _ as pkg]) -> let package = string_of_Ident pkg in |