diff options
| author | Pascal Rigaux <pixel@mandriva.com> | 2003-09-30 21:35:05 +0000 |
|---|---|---|
| committer | Pascal Rigaux <pixel@mandriva.com> | 2003-09-30 21:35:05 +0000 |
| commit | 498e275c45d0ec807648fc2ec5ce5229f7c3a861 (patch) | |
| tree | 1a49cf9d69f1120c9b37cb3f217f7f8e21fa75d7 /perl_checker.src/common.ml | |
| parent | 5c51e15ff3bb305fe9ed902874e73e54b5ced31c (diff) | |
| download | perl_checker-498e275c45d0ec807648fc2ec5ce5229f7c3a861.tar perl_checker-498e275c45d0ec807648fc2ec5ce5229f7c3a861.tar.gz perl_checker-498e275c45d0ec807648fc2ec5ce5229f7c3a861.tar.bz2 perl_checker-498e275c45d0ec807648fc2ec5ce5229f7c3a861.tar.xz perl_checker-498e275c45d0ec807648fc2ec5ce5229f7c3a861.zip | |
disallow s/foo/die "bar \"zzz\"/e
Diffstat (limited to 'perl_checker.src/common.ml')
| -rw-r--r-- | perl_checker.src/common.ml | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/perl_checker.src/common.ml b/perl_checker.src/common.ml index ee989dc..e30dc20 100644 --- a/perl_checker.src/common.ml +++ b/perl_checker.src/common.ml @@ -561,6 +561,8 @@ let rec transpose = function let rec range min max = if min >= max then [] else min :: range (min + 1) max +let sum l = List.fold_left (+) 0 l + let rec filter_some_with f = function | [] -> [] | e :: l -> @@ -745,6 +747,15 @@ let char_is_number c = let i = Char.code c in Char.code '0' <= i && i <= Char.code '9' +let count_chars_in_string s c = + let rec rec_count_chars_in_string from = + try + let from' = String.index_from s from c in + 1 + rec_count_chars_in_string (from' + 1) + with + Not_found -> 0 + in rec_count_chars_in_string 0 + let rec string_forall_with f i s = try f s.[i] && string_forall_with f (i+1) s |