diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1999-03-01 20:59:54 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1999-03-01 20:59:54 +0000 |
| commit | 4d4933677d10feb7941adc46e662cb0028772e24 (patch) | |
| tree | 12e6395708eeebeb487156fb38d65d50d6a9c133 /stdlib/string.ml | |
| parent | 3f5b0fc062de90df664fc2d234bcd25d65f032ed (diff) | |
| download | ocaml-4d4933677d10feb7941adc46e662cb0028772e24.tar.gz | |
Tests de borne moins severes dans contains
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2317 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/string.ml')
| -rw-r--r-- | stdlib/string.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/string.ml b/stdlib/string.ml index e07fd4b60a..cfe9cf07be 100644 --- a/stdlib/string.ml +++ b/stdlib/string.ml @@ -144,7 +144,7 @@ let rec index_rec s lim i c = let index s c = index_rec s (length s) 0 c;; let index_from s i c = - if i < 0 || i >= length s then invalid_arg "String.index_from" else + if i < 0 || i > length s then invalid_arg "String.index_from" else index_rec s (length s) i c;; let rec rindex_rec s i c = @@ -158,11 +158,11 @@ let rindex_from s i c = rindex_rec s i c;; let contains_from s i c = - if i < 0 || i >= length s then invalid_arg "String.contains_from" else + if i < 0 || i > length s then invalid_arg "String.contains_from" else try ignore(index_rec s (length s) i c); true with Not_found -> false;; let rcontains_from s i c = if i < 0 || i >= length s then invalid_arg "String.rcontains_from" else try ignore(rindex_rec s i c); true with Not_found -> false;; -let contains s c = s <> "" && contains_from s 0 c;; +let contains s c = contains_from s 0 c;; |