X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=System%2FPosix%2FInternals.hs;h=09243ac0fe6aafe48ad4970bc5c928138e8cae48;hb=882ba4a2b3d4a7f72ad3b1fd239903ec7a8c8bae;hp=6173140ce84ecff45db37797b944877a183cff7e;hpb=a2f1d2e47191b7fe17798829a5483d71f611e64b;p=ghc-base.git diff --git a/System/Posix/Internals.hs b/System/Posix/Internals.hs index 6173140..09243ac 100644 --- a/System/Posix/Internals.hs +++ b/System/Posix/Internals.hs @@ -1,4 +1,6 @@ -{-# OPTIONS_GHC -fno-implicit-prelude #-} +{-# OPTIONS_GHC -XNoImplicitPrelude #-} +{-# OPTIONS_GHC -fno-warn-unused-binds #-} +{-# OPTIONS_HADDOCK hide #-} ----------------------------------------------------------------------------- -- | @@ -14,16 +16,20 @@ -- 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) -- ----------------------------------------------------------------------------- -- #hide module System.Posix.Internals where -#include "HsBaseConfig.h" +#ifndef __NHC__ +# include "HsBaseConfig.h" +#endif +#if ! (defined(mingw32_HOST_OS) || defined(__MINGW32__)) import Control.Monad +#endif import System.Posix.Types import Foreign @@ -32,6 +38,10 @@ import Foreign.C import Data.Bits import Data.Maybe +#if !defined(HTYPE_TCFLAG_T) +import System.IO.Error +#endif + #if __GLASGOW_HASKELL__ import GHC.Base import GHC.Num @@ -40,8 +50,10 @@ import GHC.IOBase #elif __HUGS__ import Hugs.Prelude (IOException(..), IOErrorType(..)) import Hugs.IO (IOMode(..)) -#else +#elif __NHC__ import System.IO +import Control.Exception +import DIOError #endif #ifdef __HUGS__ @@ -61,8 +73,8 @@ type CSigaction = () type CSigset = () type CStat = () type CTermios = () -type CTm = () -type CTms = () +type CTm = () +type CTms = () type CUtimbuf = () type CUtsname = () @@ -77,16 +89,16 @@ fdFileSize :: FD -> IO Integer fdFileSize fd = allocaBytes sizeof_stat $ \ p_stat -> do throwErrnoIfMinus1Retry "fileSize" $ - c_fstat 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 - return (fromIntegral c_size) + 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 = @@ -102,7 +114,7 @@ fdStat :: FD -> IO (FDType, CDev, CIno) fdStat fd = allocaBytes sizeof_stat $ \ p_stat -> do throwErrnoIfMinus1Retry "fdType" $ - c_fstat fd p_stat + c_fstat fd p_stat ty <- statGetType p_stat dev <- st_dev p_stat ino <- st_ino p_stat @@ -111,20 +123,29 @@ fdStat fd = fdType :: FD -> IO FDType fdType fd = do (ty,_,_) <- fdStat fd; return ty +statGetType :: Ptr CStat -> IO FDType 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 :: IOException +#ifndef __NHC__ ioe_unknownfiletype = IOError Nothing UnsupportedOperation "fdType" - "unknown file type" Nothing + "unknown file type" +# if __GLASGOW_HASKELL__ + Nothing +# endif + Nothing +#else +ioe_unknownfiletype = UserError "fdType" "unknown file type" +#endif #if __GLASGOW_HASKELL__ && (defined(mingw32_HOST_OS) || defined(__MINGW32__)) closeFd :: Bool -> CInt -> IO CInt @@ -137,14 +158,15 @@ foreign import stdcall unsafe "HsBase.h closesocket" #endif fdGetMode :: FD -> IO IOMode -fdGetMode fd = do #if defined(mingw32_HOST_OS) || defined(__MINGW32__) +fdGetMode _ = do -- 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 +fdGetMode fd = do flags <- throwErrnoIfMinus1Retry "fdGetMode" - (c_fcntl_read fd const_f_getfl) + (c_fcntl_read fd const_f_getfl) #endif let wH = (flags .&. o_WRONLY) /= 0 @@ -152,11 +174,11 @@ 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 -- --------------------------------------------------------------------------- @@ -170,68 +192,68 @@ fdIsTTY fd = c_isatty fd >>= return.toBool 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) - poke_c_lflag p_tios (new_c_lflag :: CTcflag) + lflag <- c_lflag p_tios :: IO CTcflag + let new_lflag + | on = lflag .|. fromIntegral const_echo + | otherwise = lflag .&. complement (fromIntegral const_echo) + poke_c_lflag p_tios (new_lflag :: CTcflag) 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) + lflag <- c_lflag p_tios :: IO CTcflag + return ((lflag .&. fromIntegral const_echo) /= 0) 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) - poke_c_lflag p_tios (new_c_lflag :: CTcflag) + lflag <- c_lflag p_tios :: IO CTcflag + let new_lflag | cooked = lflag .|. (fromIntegral const_icanon) + | otherwise = lflag .&. complement (fromIntegral const_icanon) + poke_c_lflag p_tios (new_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 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 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" @@ -258,8 +280,13 @@ setCooked fd cooked = do then ioError (ioe_unk_error "setCooked" "failed to set buffering") else return () +ioe_unk_error :: String -> String -> IOException ioe_unk_error loc msg - = IOError Nothing OtherError loc msg Nothing +#ifndef __NHC__ + = ioeSetErrorString (mkIOError OtherError loc Nothing Nothing) msg +#else + = UserError loc msg +#endif -- Note: echoing goes hand in hand with enabling 'line input' / raw-ness -- for Win32 consoles, hence setEcho ends up being the inverse of setCooked. @@ -291,11 +318,11 @@ foreign import ccall unsafe "consUtils.h get_console_echo__" -- --------------------------------------------------------------------------- -- Turning on non-blocking for a file descriptor +setNonBlockingFD :: FD -> IO () #if !defined(mingw32_HOST_OS) && !defined(__MINGW32__) - setNonBlockingFD fd = do flags <- throwErrnoIfMinus1Retry "setNonBlockingFD" - (c_fcntl_read 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. @@ -305,7 +332,7 @@ setNonBlockingFD fd = do #else -- bogus defns for win32 -setNonBlockingFD fd = return () +setNonBlockingFD _ = return () #endif @@ -318,9 +345,6 @@ foreign import ccall unsafe "HsBase.h access" foreign import ccall unsafe "HsBase.h chmod" c_chmod :: CString -> CMode -> IO CInt -foreign import ccall unsafe "HsBase.h chdir" - c_chdir :: CString -> IO CInt - foreign import ccall unsafe "HsBase.h close" c_close :: CInt -> IO CInt @@ -339,14 +363,16 @@ foreign import ccall unsafe "HsBase.h dup2" 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 -> 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 @@ -363,15 +389,9 @@ foreign import ccall unsafe "HsBase.h __hscore_mkdir" foreign import ccall unsafe "HsBase.h read" c_read :: CInt -> Ptr CChar -> CSize -> IO CSsize -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 () -foreign import ccall unsafe "HsBase.h rmdir" - c_rmdir :: CString -> IO CInt - foreign import ccall unsafe "HsBase.h __hscore_stat" c_stat :: CString -> Ptr CStat -> IO CInt @@ -480,7 +500,11 @@ 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 @@ -505,11 +529,10 @@ foreign import ccall unsafe "HsBase.h __hscore_poke_lflag" poke_c_lflag :: Ptr C foreign import ccall unsafe "HsBase.h __hscore_ptr_c_cc" ptr_c_cc :: Ptr CTermios -> IO (Ptr Word8) #endif -#if !defined(mingw32_HOST_OS) && !defined(__MINGW32__) -foreign import ccall unsafe "HsBase.h __hscore_s_issock" c_s_issock :: CMode -> CInt s_issock :: CMode -> Bool +#if !defined(mingw32_HOST_OS) && !defined(__MINGW32__) s_issock cmode = c_s_issock cmode /= 0 +foreign import ccall unsafe "HsBase.h __hscore_s_issock" c_s_issock :: CMode -> CInt #else -s_issock :: CMode -> Bool -s_issock cmode = False +s_issock _ = False #endif