diff options
Diffstat (limited to 'otherlibs/unix')
| -rw-r--r-- | otherlibs/unix/unix.ml | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/otherlibs/unix/unix.ml b/otherlibs/unix/unix.ml index 139afdff8..365d13185 100644 --- a/otherlibs/unix/unix.ml +++ b/otherlibs/unix/unix.ml @@ -157,11 +157,11 @@ external unsafe_read : file_descr -> string -> int -> int -> int = "unix_read" external unsafe_write : file_descr -> string -> int -> int -> int = "unix_write" let read fd buf ofs len = - if len < 0 or ofs + len > String.length buf + if len < 0 || ofs + len > String.length buf then invalid_arg "Unix.read" else unsafe_read fd buf ofs len let write fd buf ofs len = - if len < 0 or ofs + len > String.length buf + if len < 0 || ofs + len > String.length buf then invalid_arg "Unix.write" else unsafe_write fd buf ofs len @@ -411,19 +411,19 @@ external unsafe_sendto : = "unix_sendto" "unix_sendto_native" let recv fd buf ofs len flags = - if len < 0 or ofs + len > String.length buf + if len < 0 || ofs + len > String.length buf then invalid_arg "Unix.recv" else unsafe_recv fd buf ofs len flags let recvfrom fd buf ofs len flags = - if len < 0 or ofs + len > String.length buf + if len < 0 || ofs + len > String.length buf then invalid_arg "Unix.recvfrom" else unsafe_recvfrom fd buf ofs len flags let send fd buf ofs len flags = - if len < 0 or ofs + len > String.length buf + if len < 0 || ofs + len > String.length buf then invalid_arg "Unix.send" else unsafe_send fd buf ofs len flags let sendto fd buf ofs len flags addr = - if len < 0 or ofs + len > String.length buf + if len < 0 || ofs + len > String.length buf then invalid_arg "Unix.sendto" else unsafe_sendto fd buf ofs len flags addr |