X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=System%2FPosix%2FInternals.hs;h=960f84c2be24b09a5aeb21f0193cb662fe8ce867;hb=ec0f319384683be6603f5b2862e6621fe243dc65;hp=711a88037d5b2bf1c99568cf2dba5034b65055df;hpb=def0852542944d6814579dfcc226d4ed775a0373;p=ghc-base.git diff --git a/System/Posix/Internals.hs b/System/Posix/Internals.hs index 711a880..960f84c 100644 --- a/System/Posix/Internals.hs +++ b/System/Posix/Internals.hs @@ -1,4 +1,5 @@ -{-# OPTIONS_GHC -fno-implicit-prelude #-} +{-# OPTIONS_GHC -XNoImplicitPrelude #-} +{-# OPTIONS_HADDOCK hide #-} ----------------------------------------------------------------------------- -- | @@ -14,7 +15,7 @@ -- This library is built on *every* platform, including Win32. -- -- Non-posix compliant in order to support the following features: --- * S_ISSOCK (no sockets in POSIX) +-- * S_ISSOCK (no sockets in POSIX) -- ----------------------------------------------------------------------------- @@ -32,18 +33,19 @@ import Foreign.C import Data.Bits import Data.Maybe -#ifdef __GLASGOW_HASKELL__ +#if __GLASGOW_HASKELL__ import GHC.Base import GHC.Num import GHC.Real import GHC.IOBase +#elif __HUGS__ +import Hugs.Prelude (IOException(..), IOErrorType(..)) +import Hugs.IO (IOMode(..)) #else import System.IO #endif #ifdef __HUGS__ -import Hugs.Prelude (IOException(..), IOErrorType(..)) - {-# CFILES cbits/PrelIOUtils.c cbits/dirUtils.c cbits/consUtils.c #-} #endif @@ -60,32 +62,32 @@ type CSigaction = () type CSigset = () type CStat = () type CTermios = () -type CTm = () -type CTms = () +type CTm = () +type CTms = () type CUtimbuf = () type CUtsname = () #ifndef __GLASGOW_HASKELL__ -type FD = Int +type FD = CInt #endif -- --------------------------------------------------------------------------- -- stat()-related stuff -fdFileSize :: Int -> IO Integer +fdFileSize :: FD -> IO Integer fdFileSize fd = allocaBytes sizeof_stat $ \ p_stat -> do throwErrnoIfMinus1Retry "fileSize" $ - c_fstat (fromIntegral fd) p_stat + c_fstat fd p_stat c_mode <- st_mode p_stat :: IO CMode if not (s_isreg c_mode) - then return (-1) - else do - c_size <- st_size p_stat :: IO COff + then return (-1) + else do + c_size <- st_size p_stat return (fromIntegral c_size) data FDType = Directory | Stream | RegularFile | RawDevice - deriving (Eq) + deriving (Eq) fileType :: FilePath -> IO FDType fileType file = @@ -97,27 +99,33 @@ fileType file = -- NOTE: On Win32 platforms, this will only work with file descriptors -- referring to file handles. i.e., it'll fail for socket FDs. -fdType :: Int -> IO FDType -fdType fd = +fdStat :: FD -> IO (FDType, CDev, CIno) +fdStat fd = allocaBytes sizeof_stat $ \ p_stat -> do throwErrnoIfMinus1Retry "fdType" $ - c_fstat (fromIntegral fd) p_stat - statGetType p_stat + c_fstat fd p_stat + ty <- statGetType p_stat + dev <- st_dev p_stat + ino <- st_ino p_stat + return (ty,dev,ino) + +fdType :: FD -> IO FDType +fdType fd = do (ty,_,_) <- fdStat fd; return ty statGetType p_stat = do c_mode <- st_mode p_stat :: IO CMode case () of - _ | s_isdir c_mode -> return Directory + _ | s_isdir c_mode -> return Directory | s_isfifo c_mode || s_issock c_mode || s_ischr c_mode - -> return Stream - | s_isreg c_mode -> return RegularFile - -- Q: map char devices to RawDevice too? - | s_isblk c_mode -> return RawDevice - | otherwise -> ioError ioe_unknownfiletype + -> return Stream + | s_isreg c_mode -> return RegularFile + -- Q: map char devices to RawDevice too? + | s_isblk c_mode -> return RawDevice + | otherwise -> ioError ioe_unknownfiletype ioe_unknownfiletype = IOError Nothing UnsupportedOperation "fdType" - "unknown file type" Nothing + "unknown file type" Nothing #if __GLASGOW_HASKELL__ && (defined(mingw32_HOST_OS) || defined(__MINGW32__)) closeFd :: Bool -> CInt -> IO CInt @@ -129,17 +137,15 @@ foreign import stdcall unsafe "HsBase.h closesocket" c_closesocket :: CInt -> IO CInt #endif -fdGetMode :: Int -> IO IOMode +fdGetMode :: FD -> IO IOMode fdGetMode fd = do #if defined(mingw32_HOST_OS) || defined(__MINGW32__) - -- XXX: this code is *BROKEN*, _setmode only deals with O_TEXT/O_BINARY - flags1 <- throwErrnoIfMinus1Retry "fdGetMode" - (c__setmode (fromIntegral fd) (fromIntegral o_WRONLY)) - flags <- throwErrnoIfMinus1Retry "fdGetMode" - (c__setmode (fromIntegral fd) (fromIntegral flags1)) + -- We don't have a way of finding out which flags are set on FDs + -- on Windows, so make a handle that thinks that anything goes. + let flags = o_RDWR #else flags <- throwErrnoIfMinus1Retry "fdGetMode" - (c_fcntl_read (fromIntegral fd) const_f_getfl) + (c_fcntl_read fd const_f_getfl) #endif let wH = (flags .&. o_WRONLY) /= 0 @@ -147,93 +153,93 @@ fdGetMode fd = do rwH = (flags .&. o_RDWR) /= 0 mode - | wH && aH = AppendMode - | wH = WriteMode - | rwH = ReadWriteMode - | otherwise = ReadMode - + | wH && aH = AppendMode + | wH = WriteMode + | rwH = ReadWriteMode + | otherwise = ReadMode + return mode -- --------------------------------------------------------------------------- -- Terminal-related stuff -fdIsTTY :: Int -> IO Bool -fdIsTTY fd = c_isatty (fromIntegral fd) >>= return.toBool +fdIsTTY :: FD -> IO Bool +fdIsTTY fd = c_isatty fd >>= return.toBool #if defined(HTYPE_TCFLAG_T) -setEcho :: Int -> Bool -> IO () +setEcho :: FD -> Bool -> IO () setEcho fd on = do tcSetAttr fd $ \ p_tios -> do c_lflag <- c_lflag p_tios :: IO CTcflag let new_c_lflag - | on = c_lflag .|. fromIntegral const_echo - | otherwise = c_lflag .&. complement (fromIntegral const_echo) + | on = c_lflag .|. fromIntegral const_echo + | otherwise = c_lflag .&. complement (fromIntegral const_echo) poke_c_lflag p_tios (new_c_lflag :: CTcflag) -getEcho :: Int -> IO Bool +getEcho :: FD -> IO Bool getEcho fd = do tcSetAttr fd $ \ p_tios -> do c_lflag <- c_lflag p_tios :: IO CTcflag return ((c_lflag .&. fromIntegral const_echo) /= 0) -setCooked :: Int -> Bool -> IO () +setCooked :: FD -> Bool -> IO () setCooked fd cooked = tcSetAttr fd $ \ p_tios -> do -- turn on/off ICANON c_lflag <- c_lflag p_tios :: IO CTcflag let new_c_lflag | cooked = c_lflag .|. (fromIntegral const_icanon) - | otherwise = c_lflag .&. complement (fromIntegral const_icanon) + | otherwise = c_lflag .&. complement (fromIntegral const_icanon) poke_c_lflag p_tios (new_c_lflag :: CTcflag) -- set VMIN & VTIME to 1/0 respectively when (not cooked) $ do c_cc <- ptr_c_cc p_tios - let vmin = (c_cc `plusPtr` (fromIntegral const_vmin)) :: Ptr Word8 - vtime = (c_cc `plusPtr` (fromIntegral const_vtime)) :: Ptr Word8 - poke vmin 1 - poke vtime 0 + let vmin = (c_cc `plusPtr` (fromIntegral const_vmin)) :: Ptr Word8 + vtime = (c_cc `plusPtr` (fromIntegral const_vtime)) :: Ptr Word8 + poke vmin 1 + poke vtime 0 tcSetAttr :: FD -> (Ptr CTermios -> IO a) -> IO a tcSetAttr fd fun = do allocaBytes sizeof_termios $ \p_tios -> do - throwErrnoIfMinus1Retry "tcSetAttr" - (c_tcgetattr (fromIntegral fd) p_tios) + throwErrnoIfMinus1Retry "tcSetAttr" + (c_tcgetattr fd p_tios) #ifdef __GLASGOW_HASKELL__ - -- Save a copy of termios, if this is a standard file descriptor. - -- These terminal settings are restored in hs_exit(). - when (fd <= 2) $ do - p <- get_saved_termios fd - when (p == nullPtr) $ do - saved_tios <- mallocBytes sizeof_termios - copyBytes saved_tios p_tios sizeof_termios - set_saved_termios fd saved_tios + -- Save a copy of termios, if this is a standard file descriptor. + -- These terminal settings are restored in hs_exit(). + when (fd <= 2) $ do + p <- get_saved_termios fd + when (p == nullPtr) $ do + saved_tios <- mallocBytes sizeof_termios + copyBytes saved_tios p_tios sizeof_termios + set_saved_termios fd saved_tios #endif - -- tcsetattr() when invoked by a background process causes the process - -- to be sent SIGTTOU regardless of whether the process has TOSTOP set - -- in its terminal flags (try it...). This function provides a - -- wrapper which temporarily blocks SIGTTOU around the call, making it - -- transparent. - allocaBytes sizeof_sigset_t $ \ p_sigset -> do - allocaBytes sizeof_sigset_t $ \ p_old_sigset -> do - c_sigemptyset p_sigset - c_sigaddset p_sigset const_sigttou - c_sigprocmask const_sig_block p_sigset p_old_sigset - r <- fun p_tios -- do the business - throwErrnoIfMinus1Retry_ "tcSetAttr" $ - c_tcsetattr (fromIntegral fd) const_tcsanow p_tios - c_sigprocmask const_sig_setmask p_old_sigset nullPtr - return r + -- tcsetattr() when invoked by a background process causes the process + -- to be sent SIGTTOU regardless of whether the process has TOSTOP set + -- in its terminal flags (try it...). This function provides a + -- wrapper which temporarily blocks SIGTTOU around the call, making it + -- transparent. + allocaBytes sizeof_sigset_t $ \ p_sigset -> do + allocaBytes sizeof_sigset_t $ \ p_old_sigset -> do + c_sigemptyset p_sigset + c_sigaddset p_sigset const_sigttou + c_sigprocmask const_sig_block p_sigset p_old_sigset + r <- fun p_tios -- do the business + throwErrnoIfMinus1Retry_ "tcSetAttr" $ + c_tcsetattr fd const_tcsanow p_tios + c_sigprocmask const_sig_setmask p_old_sigset nullPtr + return r #ifdef __GLASGOW_HASKELL__ foreign import ccall unsafe "HsBase.h __hscore_get_saved_termios" - get_saved_termios :: Int -> IO (Ptr CTermios) + get_saved_termios :: CInt -> IO (Ptr CTermios) foreign import ccall unsafe "HsBase.h __hscore_set_saved_termios" - set_saved_termios :: Int -> (Ptr CTermios) -> IO () + set_saved_termios :: CInt -> (Ptr CTermios) -> IO () #endif #else @@ -246,9 +252,9 @@ foreign import ccall unsafe "HsBase.h __hscore_set_saved_termios" -- report that character until another character is input..odd.) This -- latter feature doesn't sit too well with IO actions like IO.hGetLine.. -- consider yourself warned. -setCooked :: Int -> Bool -> IO () +setCooked :: FD -> Bool -> IO () setCooked fd cooked = do - x <- set_console_buffering (fromIntegral fd) (if cooked then 1 else 0) + x <- set_console_buffering fd (if cooked then 1 else 0) if (x /= 0) then ioError (ioe_unk_error "setCooked" "failed to set buffering") else return () @@ -258,16 +264,16 @@ ioe_unk_error loc msg -- Note: echoing goes hand in hand with enabling 'line input' / raw-ness -- for Win32 consoles, hence setEcho ends up being the inverse of setCooked. -setEcho :: Int -> Bool -> IO () +setEcho :: FD -> Bool -> IO () setEcho fd on = do - x <- set_console_echo (fromIntegral fd) (if on then 1 else 0) + x <- set_console_echo fd (if on then 1 else 0) if (x /= 0) then ioError (ioe_unk_error "setEcho" "failed to set echoing") else return () -getEcho :: Int -> IO Bool +getEcho :: FD -> IO Bool getEcho fd = do - r <- get_console_echo (fromIntegral fd) + r <- get_console_echo fd if (r == (-1)) then ioError (ioe_unk_error "getEcho" "failed to get echoing") else return (r == 1) @@ -290,12 +296,12 @@ foreign import ccall unsafe "consUtils.h get_console_echo__" setNonBlockingFD fd = do flags <- throwErrnoIfMinus1Retry "setNonBlockingFD" - (c_fcntl_read (fromIntegral fd) const_f_getfl) + (c_fcntl_read fd const_f_getfl) -- An error when setting O_NONBLOCK isn't fatal: on some systems -- there are certain file handles on which this will fail (eg. /dev/null -- on FreeBSD) so we throw away the return code from fcntl_write. unless (testBit flags (fromIntegral o_NONBLOCK)) $ do - c_fcntl_write (fromIntegral fd) const_f_setfl (flags .|. o_NONBLOCK) + c_fcntl_write fd const_f_setfl (fromIntegral (flags .|. o_NONBLOCK)) return () #else @@ -308,7 +314,7 @@ setNonBlockingFD fd = return () -- foreign imports foreign import ccall unsafe "HsBase.h access" - c_access :: CString -> CMode -> IO CInt + c_access :: CString -> CInt -> IO CInt foreign import ccall unsafe "HsBase.h chmod" c_chmod :: CString -> CMode -> IO CInt @@ -335,13 +341,18 @@ foreign import ccall unsafe "HsBase.h __hscore_fstat" c_fstat :: CInt -> Ptr CStat -> IO CInt foreign import ccall unsafe "HsBase.h getcwd" - c_getcwd :: Ptr CChar -> CInt -> IO (Ptr CChar) + c_getcwd :: Ptr CChar -> CSize -> IO (Ptr CChar) foreign import ccall unsafe "HsBase.h isatty" c_isatty :: CInt -> IO CInt +#if defined(mingw32_HOST_OS) || defined(__MINGW32__) +foreign import ccall unsafe "HsBase.h __hscore_lseek" + c_lseek :: CInt -> Int64 -> CInt -> IO Int64 +#else foreign import ccall unsafe "HsBase.h __hscore_lseek" c_lseek :: CInt -> COff -> CInt -> IO COff +#endif foreign import ccall unsafe "HsBase.h __hscore_lstat" lstat :: CString -> Ptr CStat -> IO CInt @@ -360,7 +371,7 @@ foreign import ccall unsafe "HsBase.h read" foreign import ccall unsafe "dirUtils.h __hscore_renameFile" c_rename :: CString -> CString -> IO CInt - + foreign import ccall unsafe "HsBase.h rewinddir" c_rewinddir :: Ptr CDir -> IO () @@ -390,7 +401,7 @@ foreign import ccall unsafe "HsBase.h fcntl" c_fcntl_read :: CInt -> CInt -> IO CInt foreign import ccall unsafe "HsBase.h fcntl" - c_fcntl_write :: CInt -> CInt -> CInt -> IO CInt + c_fcntl_write :: CInt -> CInt -> CLong -> IO CInt foreign import ccall unsafe "HsBase.h fcntl" c_fcntl_lock :: CInt -> CInt -> Ptr CFLock -> IO CInt @@ -423,20 +434,10 @@ foreign import ccall unsafe "HsBase.h tcsetattr" c_tcsetattr :: CInt -> CInt -> Ptr CTermios -> IO CInt foreign import ccall unsafe "HsBase.h utime" - c_utime :: CString -> Ptr CUtimbuf -> IO CMode + c_utime :: CString -> Ptr CUtimbuf -> IO CInt foreign import ccall unsafe "HsBase.h waitpid" c_waitpid :: CPid -> Ptr CInt -> CInt -> IO CPid -#else -foreign import ccall unsafe "HsBase.h _setmode" - c__setmode :: CInt -> CInt -> IO CInt - --- /* Set "stdin" to have binary mode: */ --- result = _setmode( _fileno( stdin ), _O_BINARY ); --- if( result == -1 ) --- perror( "Cannot set mode" ); --- else --- printf( "'stdin' successfully changed to binary mode\n" ); #endif -- traversing directories @@ -466,16 +467,33 @@ foreign import ccall unsafe "HsBase.h __hscore_o_noctty" o_NOCTTY :: CInt foreign import ccall unsafe "HsBase.h __hscore_o_nonblock" o_NONBLOCK :: CInt foreign import ccall unsafe "HsBase.h __hscore_o_binary" o_BINARY :: CInt -foreign import ccall unsafe "HsBase.h __hscore_s_isreg" s_isreg :: CMode -> Bool -foreign import ccall unsafe "HsBase.h __hscore_s_ischr" s_ischr :: CMode -> Bool -foreign import ccall unsafe "HsBase.h __hscore_s_isblk" s_isblk :: CMode -> Bool -foreign import ccall unsafe "HsBase.h __hscore_s_isdir" s_isdir :: CMode -> Bool -foreign import ccall unsafe "HsBase.h __hscore_s_isfifo" s_isfifo :: CMode -> Bool +foreign import ccall unsafe "HsBase.h __hscore_s_isreg" c_s_isreg :: CMode -> CInt +foreign import ccall unsafe "HsBase.h __hscore_s_ischr" c_s_ischr :: CMode -> CInt +foreign import ccall unsafe "HsBase.h __hscore_s_isblk" c_s_isblk :: CMode -> CInt +foreign import ccall unsafe "HsBase.h __hscore_s_isdir" c_s_isdir :: CMode -> CInt +foreign import ccall unsafe "HsBase.h __hscore_s_isfifo" c_s_isfifo :: CMode -> CInt + +s_isreg :: CMode -> Bool +s_isreg cm = c_s_isreg cm /= 0 +s_ischr :: CMode -> Bool +s_ischr cm = c_s_ischr cm /= 0 +s_isblk :: CMode -> Bool +s_isblk cm = c_s_isblk cm /= 0 +s_isdir :: CMode -> Bool +s_isdir cm = c_s_isdir cm /= 0 +s_isfifo :: CMode -> Bool +s_isfifo cm = c_s_isfifo cm /= 0 foreign import ccall unsafe "HsBase.h __hscore_sizeof_stat" sizeof_stat :: Int foreign import ccall unsafe "HsBase.h __hscore_st_mtime" st_mtime :: Ptr CStat -> IO CTime +#ifdef mingw32_HOST_OS +foreign import ccall unsafe "HsBase.h __hscore_st_size" st_size :: Ptr CStat -> IO Int64 +#else foreign import ccall unsafe "HsBase.h __hscore_st_size" st_size :: Ptr CStat -> IO COff +#endif foreign import ccall unsafe "HsBase.h __hscore_st_mode" st_mode :: Ptr CStat -> IO CMode +foreign import ccall unsafe "HsBase.h __hscore_st_dev" st_dev :: Ptr CStat -> IO CDev +foreign import ccall unsafe "HsBase.h __hscore_st_ino" st_ino :: Ptr CStat -> IO CIno foreign import ccall unsafe "HsBase.h __hscore_echo" const_echo :: CInt foreign import ccall unsafe "HsBase.h __hscore_tcsanow" const_tcsanow :: CInt @@ -498,7 +516,9 @@ foreign import ccall unsafe "HsBase.h __hscore_ptr_c_cc" ptr_c_cc :: Ptr CTermi #endif #if !defined(mingw32_HOST_OS) && !defined(__MINGW32__) -foreign import ccall unsafe "HsBase.h __hscore_s_issock" s_issock :: CMode -> Bool +foreign import ccall unsafe "HsBase.h __hscore_s_issock" c_s_issock :: CMode -> CInt +s_issock :: CMode -> Bool +s_issock cmode = c_s_issock cmode /= 0 #else s_issock :: CMode -> Bool s_issock cmode = False