Try switching libraries to strict labels

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/strict_labels@3498 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

1 files changed, 10 insertions, 0 deletions

diff --git a/stdlib/pervasives.ml b/stdlib/pervasives.ml
index 58408aace7..eb121fed69 100644
--- a/stdlib/pervasives.ml
+++ b/stdlib/pervasives.ml
@@ -228,6 +228,11 @@ let output oc s ofs len =
   then invalid_arg "output"
   else unsafe_output oc s ofs len
 
+let output' oc ~buf:s ~pos:ofs ~len =
+  if ofs < 0 || len < 0 || ofs + len > string_length s
+  then invalid_arg "output"
+  else unsafe_output oc s ofs len
+
 external output_byte : out_channel -> int -> unit = "caml_output_char"
 external output_binary_int : out_channel -> int -> unit = "caml_output_int"
 
@@ -264,6 +269,11 @@ let input ic s ofs len =
   then invalid_arg "input"
   else unsafe_input ic s ofs len
 
+let input' ic ~buf:s ~pos:ofs ~len =
+  if ofs < 0 || len < 0 || ofs + len > string_length s
+  then invalid_arg "input"
+  else unsafe_input ic s ofs len
+
 let rec unsafe_really_input ic s ofs len =
   if len <= 0 then () else begin
     let r = unsafe_input ic s ofs len in