diff options
Diffstat (limited to 'stdlib/pervasives.ml')
| -rw-r--r-- | stdlib/pervasives.ml | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/stdlib/pervasives.ml b/stdlib/pervasives.ml index eb121fed69..58408aace7 100644 --- a/stdlib/pervasives.ml +++ b/stdlib/pervasives.ml @@ -228,11 +228,6 @@ 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" @@ -269,11 +264,6 @@ 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 |