From 8a37d80b44f75105c23b62f89bb7806b1c331c26 Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Wed, 22 Sep 2010 11:38:11 +0000 Subject: [PATCH] doc tweak for Directory file type: file names are '\0'-separated --- GHC/IO/Device.hs | 15 +++++++-------- 1 file changed, 7 insertions(+), 8 deletions(-) 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 -- 1.7.10.4