X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=System%2FPosix%2FInternals.hs;h=251a22dae6a5a1f9e16e02bdb7df6b30d7d3b52b;hb=4ef39162b8ae3ab239009e6386b5787475f172d9;hp=a2821e03aeb31ac26449ec0d53d94451c92787ec;hpb=8fbc1997264235e4e6d32ba1ac19099eadedb227;p=ghc-base.git diff --git a/System/Posix/Internals.hs b/System/Posix/Internals.hs index a2821e0..251a22d 100644 --- a/System/Posix/Internals.hs +++ b/System/Posix/Internals.hs @@ -1,4 +1,5 @@ -{-# OPTIONS -fno-implicit-prelude #-} +{-# OPTIONS_GHC -fno-implicit-prelude #-} +{-# OPTIONS_HADDOCK hide #-} ----------------------------------------------------------------------------- -- | @@ -8,7 +9,7 @@ -- -- Maintainer : cvs-ghc@haskell.org -- Stability : internal --- Portability : non-portable +-- Portability : non-portable (requires POSIX) -- -- POSIX support layer for the standard libraries. -- This library is built on *every* platform, including Win32. @@ -21,7 +22,6 @@ -- #hide module System.Posix.Internals where -#include "ghcconfig.h" #include "HsBaseConfig.h" import Control.Monad @@ -33,20 +33,20 @@ 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 #-} -ioException = ioError #endif -- --------------------------------------------------------------------------- @@ -68,17 +68,17 @@ 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) @@ -86,7 +86,7 @@ fdFileSize fd = c_size <- st_size p_stat :: IO COff return (fromIntegral c_size) -data FDType = Directory | Stream | RegularFile +data FDType = Directory | Stream | RegularFile | RawDevice deriving (Eq) fileType :: FilePath -> IO FDType @@ -99,12 +99,18 @@ 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 @@ -113,13 +119,15 @@ statGetType p_stat = do | 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 ioe_unknownfiletype = IOError Nothing UnsupportedOperation "fdType" "unknown file type" Nothing -#if defined(mingw32_TARGET_OS) || defined(__MINGW32__) +#if __GLASGOW_HASKELL__ && (defined(mingw32_HOST_OS) || defined(__MINGW32__)) closeFd :: Bool -> CInt -> IO CInt closeFd isStream fd | isStream = c_closesocket fd @@ -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_TARGET_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)) +#if defined(mingw32_HOST_OS) || defined(__MINGW32__) + -- 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 @@ -157,12 +163,12 @@ fdGetMode fd = do -- --------------------------------------------------------------------------- -- 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 @@ -171,13 +177,13 @@ setEcho fd on = do | 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 @@ -199,7 +205,7 @@ 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) + (c_tcgetattr fd p_tios) #ifdef __GLASGOW_HASKELL__ -- Save a copy of termios, if this is a standard file descriptor. @@ -224,16 +230,16 @@ tcSetAttr fd fun = do 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_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,11 +252,11 @@ 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 ioException (ioe_unk_error "setCooked" "failed to set buffering") + then ioError (ioe_unk_error "setCooked" "failed to set buffering") else return () ioe_unk_error loc msg @@ -258,18 +264,18 @@ 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 ioException (ioe_unk_error "setEcho" "failed to set echoing") + 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 ioException (ioe_unk_error "getEcho" "failed to get echoing") + then ioError (ioe_unk_error "getEcho" "failed to get echoing") else return (r == 1) foreign import ccall unsafe "consUtils.h set_console_buffering__" @@ -286,16 +292,16 @@ foreign import ccall unsafe "consUtils.h get_console_echo__" -- --------------------------------------------------------------------------- -- Turning on non-blocking for a file descriptor -#if !defined(mingw32_TARGET_OS) && !defined(__MINGW32__) +#if !defined(mingw32_HOST_OS) && !defined(__MINGW32__) 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,7 +341,7 @@ 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 @@ -376,15 +382,21 @@ foreign import ccall unsafe "HsBase.h umask" foreign import ccall unsafe "HsBase.h write" c_write :: CInt -> Ptr CChar -> CSize -> IO CSsize +foreign import ccall unsafe "HsBase.h __hscore_ftruncate" + c_ftruncate :: CInt -> COff -> IO CInt + foreign import ccall unsafe "HsBase.h unlink" c_unlink :: CString -> IO CInt -#if !defined(mingw32_TARGET_OS) && !defined(__MINGW32__) +foreign import ccall unsafe "HsBase.h getpid" + c_getpid :: IO CPid + +#if !defined(mingw32_HOST_OS) && !defined(__MINGW32__) 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 @@ -392,9 +404,6 @@ foreign import ccall unsafe "HsBase.h fcntl" foreign import ccall unsafe "HsBase.h fork" c_fork :: IO CPid -foreign import ccall unsafe "HsBase.h getpid" - c_getpid :: IO CPid - foreign import ccall unsafe "HsBase.h link" c_link :: CString -> CString -> IO CInt @@ -420,20 +429,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 @@ -463,16 +462,29 @@ 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 foreign import ccall unsafe "HsBase.h __hscore_st_size" st_size :: Ptr CStat -> IO COff 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 @@ -494,8 +506,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_TARGET_OS) && !defined(__MINGW32__) -foreign import ccall unsafe "HsBase.h __hscore_s_issock" s_issock :: CMode -> Bool +#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 +s_issock cmode = c_s_issock cmode /= 0 #else s_issock :: CMode -> Bool s_issock cmode = False