diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2007-02-25 12:37:30 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2007-02-25 12:37:30 +0000 |
| commit | e254ca38e003e7fa3b0989a706d4605bdcd47382 (patch) | |
| tree | 02ff83ed15f43ce810fde941172c2c28f4350a92 | |
| parent | 9b5ce17d203eb64fd8f828b06cd43edc2d37c5b8 (diff) | |
Suppressed useless calls to inchan_ready and outchan_ready
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7918 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | otherlibs/threads/pervasives.ml | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/otherlibs/threads/pervasives.ml b/otherlibs/threads/pervasives.ml index e3fe24205..4e3c3fe76 100644 --- a/otherlibs/threads/pervasives.ml +++ b/otherlibs/threads/pervasives.ml @@ -231,18 +231,14 @@ external thread_wait_write_prim : Unix.file_descr -> unit = "thread_wait_write" let thread_wait_read fd = thread_wait_read_prim fd let thread_wait_write fd = thread_wait_write_prim fd -external inchan_ready : in_channel -> bool = "thread_inchan_ready" -external outchan_ready : out_channel -> int -> bool = "thread_outchan_ready" external descr_inchan : in_channel -> Unix.file_descr = "caml_channel_descriptor" external descr_outchan : out_channel -> Unix.file_descr = "caml_channel_descriptor" -let wait_inchan ic = - if not (inchan_ready ic) then thread_wait_read(descr_inchan ic) +let wait_inchan ic = thread_wait_read (descr_inchan ic) -let wait_outchan oc len = - if not (outchan_ready oc len) then thread_wait_write(descr_outchan oc) +let wait_outchan oc len = thread_wait_write (descr_outchan oc) (* General output functions *) |