diff options
author | Pascal Rigaux <pixel@mandriva.com> | 2002-12-02 20:12:35 +0000 |
---|---|---|
committer | Pascal Rigaux <pixel@mandriva.com> | 2002-12-02 20:12:35 +0000 |
commit | 701155c3ec847cb0cb7ee5ed5a4d56945fe21ab3 (patch) | |
tree | c22c2519f0354bfc0312bab6852cd72c1bf1689c /perl_checker.src/common.ml | |
parent | 874716e3b4afe0cb4048ca716e5178a882b71efd (diff) | |
download | perl_checker-701155c3ec847cb0cb7ee5ed5a4d56945fe21ab3.tar perl_checker-701155c3ec847cb0cb7ee5ed5a4d56945fe21ab3.tar.gz perl_checker-701155c3ec847cb0cb7ee5ed5a4d56945fe21ab3.tar.bz2 perl_checker-701155c3ec847cb0cb7ee5ed5a4d56945fe21ab3.tar.xz perl_checker-701155c3ec847cb0cb7ee5ed5a4d56945fe21ab3.zip |
*** empty log message ***
Diffstat (limited to 'perl_checker.src/common.ml')
-rw-r--r-- | perl_checker.src/common.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/perl_checker.src/common.ml b/perl_checker.src/common.ml index a4d0789..07e138e 100644 --- a/perl_checker.src/common.ml +++ b/perl_checker.src/common.ml @@ -715,6 +715,10 @@ let char_is_alpha c = Char.code 'a' <= i && i <= Char.code 'z' || Char.code 'A' <= i && i <= Char.code 'Z' +let char_is_number c = + let i = Char.code c in + Char.code '0' <= i && i <= Char.code '9' + let rec string_forall_with f i s = try f s.[i] && string_forall_with f (i+1) s |