From: Simon Marlow <marlowsd@gmail.com>
Date: Wed, 22 Sep 2010 11:38:11 +0000 (+0000)
Subject: doc tweak for Directory file type: file names are '\0'-separated
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;ds=sidebyside;h=8a37d80b44f75105c23b62f89bb7806b1c331c26;p=ghc-base.git

doc tweak for Directory file type: file names are '\0'-separated
---

diff --git a/GHC/IO/Device.hs b/GHC/IO/Device.hs
index d1a6712..8f907d5 100644
--- a/GHC/IO/Device.hs
+++ b/GHC/IO/Device.hs
@@ -144,14 +144,13 @@ ioe_unsupportedOperation = throwIO unsupportedOperation
 
 data IODeviceType
   = Directory -- ^ The standard libraries do not have direct support
-              -- for this device type, but user implementation is
-              -- expected to provide a newline-separated list of
-              -- file names in a directory (without path to the
-              -- directory itself) in any order,
-              -- excluding the @"."@ and @".."@ names. See
-              -- also 'System.Directory.getDirectoryContents'.
-              -- Seek operations are not supported on directories
-              -- (other than to the zero position).
+              -- for this device type, but a user implementation is
+              -- expected to provide a list of file names in
+              -- the directory, in any order, separated by @'\0'@
+              -- characters, excluding the @"."@ and @".."@ names. See
+              -- also 'System.Directory.getDirectoryContents'.  Seek
+              -- operations are not supported on directories (other
+              -- than to the zero position).
   | Stream    -- ^ A duplex communications channel (results in
               -- creation of a duplex 'GHC.IO.Handle.Handle'). The
               -- standard libraries use this device type when