summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>1999-10-14 13:37:29 +0000
committerXavier Leroy <xavier.leroy@inria.fr>1999-10-14 13:37:29 +0000
commit0efd16146d6569a477f887b45c96b30a0ecd5e4e (patch)
tree932a73ca3b33271a69c28713d87ff7159db5ff05
parent31753c0cf88a0131d5c7b2a272ad6041b073388f (diff)
Attention a l'ordre d'evaluation dans bounded_full_split
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2420 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--otherlibs/str/str.ml5
1 files changed, 3 insertions, 2 deletions
diff --git a/otherlibs/str/str.ml b/otherlibs/str/str.ml
index db430ac19..94c107768 100644
--- a/otherlibs/str/str.ml
+++ b/otherlibs/str/str.ml
@@ -134,12 +134,13 @@ let bounded_full_split expr text num =
if n = 1 then [Text(string_after text start)] else
try
let pos = search_forward expr text start in
+ let s = matched_string text in
if pos > start then
Text(String.sub text start (pos-start)) ::
- Delim(matched_string text) ::
+ Delim(s) ::
split (match_end()) (n-1)
else
- Delim(matched_string text) ::
+ Delim(s) ::
split (match_end()) (n-1)
with Not_found ->
[Text(string_after text start)] in