diff options
author | Pierre Weis <Pierre.Weis@inria.fr> | 2000-12-28 13:07:42 +0000 |
---|---|---|
committer | Pierre Weis <Pierre.Weis@inria.fr> | 2000-12-28 13:07:42 +0000 |
commit | 2116da4220acde3fdf11ac0ef0100e0166729bcd (patch) | |
tree | 3d09bdc4675c58823863bfe12c05e6cdd490d6f0 /stdlib/string.ml | |
parent | 447c79eadec7db87abc782735c5b06ed4fd020e4 (diff) |
Getting rid of obsolete boolean operators & and or
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3359 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/string.ml')
-rw-r--r-- | stdlib/string.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/string.ml b/stdlib/string.ml index 5e4f36a21..21543abfb 100644 --- a/stdlib/string.ml +++ b/stdlib/string.ml @@ -37,7 +37,7 @@ let copy s = r let sub s ofs len = - if ofs < 0 or len < 0 or ofs + len > length s + if ofs < 0 || len < 0 || ofs + len > length s then invalid_arg "String.sub" else begin let r = create len in @@ -46,13 +46,13 @@ let sub s ofs len = end let fill s ofs len c = - if ofs < 0 or len < 0 or ofs + len > length s + if ofs < 0 || len < 0 || ofs + len > length s then invalid_arg "String.fill" else unsafe_fill s ofs len c let blit s1 ofs1 s2 ofs2 len = - if len < 0 or ofs1 < 0 or ofs1 + len > length s1 - or ofs2 < 0 or ofs2 + len > length s2 + if len < 0 || ofs1 < 0 || ofs1 + len > length s1 + || ofs2 < 0 || ofs2 + len > length s2 then invalid_arg "String.blit" else unsafe_blit s1 ofs1 s2 ofs2 len |