Ticket #4317 (add documentation to IODeviceType)

[Brandon S Allbery KF8NH]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On 9/15/10 09:08 , Dimitry Golubovsky wrote:
> On 9/15/10, Simon Marlow <marlowsd at gmail.com> wrote:
>> Alternatively we could give it a meaning as you suggest - newline-separated
>> file names seems like a reasonable interpretation.

FWIW I would either not give openFile(directory) a meaning, or map it to
opendir() instead of providing a different meaning.  Possibly IODeviceType
Directory could simply replace open() with opendir(), read() with readdir(),
etc.  (Note that readdir() returns an (inum,filename) tuple.)

- -- 
brandon s. allbery     [linux,solaris,freebsd,perl]      allbery at kf8nh.com
system administrator  [openafs,heimdal,too many hats]  allbery at ece.cmu.edu
electrical and computer engineering, carnegie mellon university      KF8NH
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.10 (Darwin)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iEYEARECAAYFAkySSBsACgkQIn7hlCsL25X8BgCfYJ8HN4noSO0pTtnczH3MQSTr
tMAAn3fBd7vcMbCJzNJpGd0HyMN5otQ/
=zJlW
-----END PGP SIGNATURE-----