Comment author: gildor

I think you mean the contrary, when testing I get:

• a Sys_error("Bad file descriptor") on Linux
• a Broken pipe on Windows

let dummy_exec =
Compile.compile_one_liner "dummy" [] ""
in
let (chn_in, chn_out) as proc =
open_process dummy_exec
in
let _s : process_status =
close_process proc
in
select
[descr_of_in_channel chn_in]
[descr_of_out_channel chn_out]
[]
1.0

Is this what you mean ?

Comment author: gildor

Check a little further, Sys_error("Bad file descriptor") | EPIPE is raised by descr_of_in_channel/descr_of_out_channel.

If I rework the program in this way:
let dummy_exec =
Compile.compile_one_liner "dummy" [] ""
in
let (chn_in, chn_out) as proc =
open_process dummy_exec
in
let fd_in =
descr_of_in_channel chn_in
in
let fd_out =
descr_of_out_channel chn_out
in
let _s : process_status =
close_process proc
in
select
[fd_in]
[fd_out]
[]
1.0

I get:

• Unix.Unix_error(3, "select", "") on Linux
• Failure("Unknown handle") on Windows

Comment author: gildor

Be consistent between Windows and Linux, raise an EBADF Unix_error for a closed pipe handle.