Re: Ticket #4317 (add documentation to IODeviceType)

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On 9/15/10 09:08 , Dimitry Golubovsky wrote:

On 9/15/10, Simon Marlow 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@kf8nh.com system administrator [openafs,heimdal,too many hats] allbery@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-----