module System.IO.Error (
IOError, -- abstract
-#ifndef __HUGS__
IOErrorType, -- abstract
-#endif
+
+ catch, -- :: IO a -> (IOError -> IO a) -> IO a
+ try, -- :: IO a -> IO (Either IOError a)
ioError, -- :: IOError -> IO a
userError, -- :: String -> IOError
-#ifndef __HUGS__
+#ifndef __NHC__
mkIOError, -- :: IOErrorType -> String -> Maybe Handle
-- -> Maybe FilePath -> IOError
+ annotateIOError, -- :: IOError -> String -> Maybe Handle
+ -- -> Maybe FilePath -> IOError
+
+ modifyIOError, -- :: (IOError -> IOError) -> IO a -> IO a
+#endif
+
alreadyExistsErrorType, -- :: IOErrorType
doesNotExistErrorType,
alreadyInUseErrorType,
isIllegalOperationErrorType,
isPermissionErrorType,
isUserErrorType,
-#endif /* __HUGS__ */
isAlreadyExistsError, -- :: IOError -> Bool
isDoesNotExistError,
isPermissionError,
isUserError,
-#ifndef __HUGS__
+#ifndef __NHC__
ioeGetErrorType, -- :: IOError -> IOErrorType
#endif
ioeGetErrorString, -- :: IOError -> String
ioeGetHandle, -- :: IOError -> Maybe Handle
ioeGetFileName, -- :: IOError -> Maybe FilePath
+#ifndef __NHC__
+ ioeSetErrorType, -- :: IOError -> IOErrorType -> IOError
+ ioeSetErrorString, -- :: IOError -> String -> IOError
+ ioeSetHandle, -- :: IOError -> Handle -> IOError
+ ioeSetFileName, -- :: IOError -> FilePath -> IOError
+#endif
) where
+import Data.Either
+import Data.Maybe
#ifdef __GLASGOW_HASKELL__
import GHC.Base
-import Data.Maybe
import GHC.IOBase
+import GHC.Exception
import Text.Show
#endif
#ifdef __HUGS__
-import Hugs.IO
+import Hugs.Prelude(Handle, IOException(..), IOErrorType(..))
#endif
-#ifndef __HUGS__
+#ifdef __NHC__
+import IO
+ ( IOError ()
+ , try
+ , ioError
+ , userError
+ , isAlreadyExistsError -- :: IOError -> Bool
+ , isDoesNotExistError
+ , isAlreadyInUseError
+ , isFullError
+ , isEOFError
+ , isIllegalOperation
+ , isPermissionError
+ , isUserError
+ , ioeGetErrorString -- :: IOError -> String
+ , ioeGetHandle -- :: IOError -> Maybe Handle
+ , ioeGetFileName -- :: IOError -> Maybe FilePath
+ )
+--import Data.Maybe (fromJust)
+--import Control.Monad (MonadPlus(mplus))
+#endif
+
+-- | The construct @try comp@ exposes IO errors which occur within a
+-- computation, and which are not fully handled.
+-- Other exceptions are not caught by this variant;
+-- to catch all exceptions, use @try@ from "Control.Exception".
+
+#ifndef __NHC__
+try :: IO a -> IO (Either IOError a)
+try f = catch (do r <- f
+ return (Right r))
+ (return . Left)
+#endif
+
+#if defined(__GLASGOW_HASKELL__) || defined(__HUGS__)
-- -----------------------------------------------------------------------------
-- Constructing an IOError
mkIOError :: IOErrorType -> String -> Maybe Handle -> Maybe FilePath -> IOError
mkIOError t location maybe_hdl maybe_filename =
- IOException IOError{ ioe_type = t,
+ IOError{ ioe_type = t,
ioe_location = location,
- ioe_descr = "",
+ ioe_description = "",
ioe_handle = maybe_hdl,
ioe_filename = maybe_filename
}
+#ifdef __NHC__
+mkIOError EOF location maybe_hdl maybe_filename =
+ EOFError location (fromJust maybe_hdl)
+mkIOError UserError location maybe_hdl maybe_filename =
+ UserError location ""
+mkIOError t location maybe_hdl maybe_filename =
+ NHC.FFI.mkIOError location maybe_filename maybe_handle (ioeTypeToInt t)
+ where
+ ioeTypeToInt AlreadyExists = fromEnum EEXIST
+ ioeTypeToInt NoSuchThing = fromEnum ENOENT
+ ioeTypeToInt ResourceBusy = fromEnum EBUSY
+ ioeTypeToInt ResourceExhausted = fromEnum ENOSPC
+ ioeTypeToInt IllegalOperation = fromEnum EPERM
+ ioeTypeToInt PermissionDenied = fromEnum EACCES
+#endif
+#endif /* __GLASGOW_HASKELL__ || __HUGS__ */
+#ifndef __NHC__
-- -----------------------------------------------------------------------------
-- IOErrorType
isIllegalOperation = isIllegalOperationErrorType . ioeGetErrorType
isPermissionError = isPermissionErrorType . ioeGetErrorType
isUserError = isUserErrorType . ioeGetErrorType
-#endif
+#endif /* __NHC__ */
-- -----------------------------------------------------------------------------
-- IOErrorTypes
-#ifdef __GLASGOW_HASKELL__
+#ifdef __NHC__
+data IOErrorType = AlreadyExists | NoSuchThing | ResourceBusy
+ | ResourceExhausted | EOF | IllegalOperation
+ | PermissionDenied | UserError
+#endif
+
alreadyExistsErrorType, doesNotExistErrorType, alreadyInUseErrorType,
fullErrorType, eofErrorType, illegalOperationErrorType,
permissionErrorType, userErrorType :: IOErrorType
illegalOperationErrorType = IllegalOperation
permissionErrorType = PermissionDenied
userErrorType = UserError
-#endif
-- -----------------------------------------------------------------------------
-- IOErrorType predicates
-#ifndef __HUGS__
isAlreadyExistsErrorType, isDoesNotExistErrorType, isAlreadyInUseErrorType,
isFullErrorType, isEOFErrorType, isIllegalOperationErrorType,
isPermissionErrorType, isUserErrorType :: IOErrorType -> Bool
-#endif
-#ifdef __GLASGOW_HASKELL__
isAlreadyExistsErrorType AlreadyExists = True
isAlreadyExistsErrorType _ = False
isUserErrorType UserError = True
isUserErrorType _ = False
-#endif
-- -----------------------------------------------------------------------------
-- Miscellaneous
-#ifdef __GLASGOW_HASKELL__
+#if defined(__GLASGOW_HASKELL__) || defined(__HUGS__)
ioeGetErrorType :: IOError -> IOErrorType
-ioeGetHandle :: IOError -> Maybe Handle
ioeGetErrorString :: IOError -> String
+ioeGetHandle :: IOError -> Maybe Handle
ioeGetFileName :: IOError -> Maybe FilePath
-ioeGetErrorType (IOException ioe) = ioe_type ioe
-ioeGetErrorType _ = error "System.IO.Error.ioeGetHandle: not an IO error"
+ioeGetErrorType ioe = ioe_type ioe
-ioeGetHandle (IOException ioe) = ioe_handle ioe
-ioeGetHandle _ = error "System.IO.Error.ioeGetHandle: not an IO error"
-
-ioeGetErrorString (IOException ioe)
- | isUserErrorType (ioe_type ioe) = ioe_descr ioe
+ioeGetErrorString ioe
+ | isUserErrorType (ioe_type ioe) = ioe_description ioe
| otherwise = show (ioe_type ioe)
-ioeGetErrorString _ = error "System.IO.Error.ioeGetErrorString: not an IO error"
-ioeGetFileName (IOException ioe) = ioe_filename ioe
-ioeGetFileName _ = error "System.IO.Error.ioeGetFileName: not an IO error"
-#endif
+ioeGetHandle ioe = ioe_handle ioe
+
+ioeGetFileName ioe = ioe_filename ioe
+
+ioeSetErrorType :: IOError -> IOErrorType -> IOError
+ioeSetErrorString :: IOError -> String -> IOError
+ioeSetHandle :: IOError -> Handle -> IOError
+ioeSetFileName :: IOError -> FilePath -> IOError
+
+ioeSetErrorType ioe errtype = ioe{ ioe_type = errtype }
+ioeSetErrorString ioe str = ioe{ ioe_description = str }
+ioeSetHandle ioe hdl = ioe{ ioe_handle = Just hdl }
+ioeSetFileName ioe filename = ioe{ ioe_filename = Just filename }
+
+modifyIOError :: (IOError -> IOError) -> IO a -> IO a
+modifyIOError f io = GHC.Exception.catch io (\e -> ioError (f e))
-- -----------------------------------------------------------------------------
-- annotating an IOError
-#ifdef __GLASGOW_HASKELL__
annotateIOError :: IOError
-> String
- -> Maybe FilePath
-> Maybe Handle
+ -> Maybe FilePath
-> IOError
-annotateIOError (IOException (IOError hdl errTy _ str path)) loc opath ohdl =
- IOException (IOError (hdl `mplus` ohdl) errTy loc str (path `mplus` opath))
+annotateIOError (IOError ohdl errTy _ str opath) loc hdl path =
+ IOError (hdl `mplus` ohdl) errTy loc str (path `mplus` opath)
where
Nothing `mplus` ys = ys
xs `mplus` _ = xs
-annotateIOError exc _ _ _ =
- exc
+#endif /* __GLASGOW_HASKELL__ || __HUGS__ */
+
+#ifdef 0 /*__NHC__*/
+annotateIOError (IOError msg file hdl code) msg' file' hdl' =
+ IOError (msg++'\n':msg') (file`mplus`file') (hdl`mplus`hdl') code
+annotateIOError (EOFError msg hdl) msg' file' hdl' =
+ EOFError (msg++'\n':msg') (hdl`mplus`hdl')
+annotateIOError (UserError loc msg) msg' file' hdl' =
+ UserError loc (msg++'\n':msg')
+annotateIOError (PatternError loc) msg' file' hdl' =
+ PatternError (loc++'\n':msg')
#endif
projects / haskell-directory.git / blobdiff