Comment author: administrator

It seems that close_channel in io.c does not check the return value of
close(2).

I have fixed this in the current working version (3.06+11).
Now Pervasives.close_in and Pervasives.close_out will raise an
exception if the OS signals an error on close.

I have also added close_in_noerr and close_out_noerr for the
very common case when you want to ignore errors.

However, this change may break some programs, so you should be
aware that we might decide to undo it (or find some other solution)
before the next release.

-- Damien

Comment author: administrator

It seems that close_channel in io.c does not check the return value of
close(2).

I have fixed this in the current working version (3.06+11).
Now Pervasives.close_in and Pervasives.close_out will raise an
exception if the OS signals an error on close.

I have also added close_in_noerr and close_out_noerr for the
very common case when you want to ignore errors.

However, this change may break some programs, so you should be
aware that we might decide to undo it (or find some other solution)
before the next release.

-- Damien

Grand merci, oh maître de la librairie réputée standard.

--Luc