[erlang-bugs] io device() type incomplete

[Steve Vinoski]

The io man page defines the device() type as follows:

    device() = atom() | pid()

    An IO device. Either standard_io, standard_error, a registered
    name, or a pid handling IO protocols (returned from file:open/2).

But this is incomplete, since file:open/2 can also return an instance of a
file_descriptor record.

--steve
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-bugs/attachments/20140324/bc28c137/attachment.htm>