blob: 77dd29fac7ffccb0cc893704d3c35a26c6be43fe (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
{- git-annex main program -}
import Control.Exception
import System.IO
import System.Environment
import qualified Annex
import Types
import Core
import Commands
main = do
args <- getArgs
actions <- argvToActions args
state <- start
tryRun state actions
{- Processes each param in the list by dispatching the handler function
- for the user-selection operation mode. Catches exceptions, not stopping
- if some error out, and propigates an overall error status at the end.
-
- This runs in the IO monad, not in the Annex monad. It seems that
- exceptions can only be caught in the IO monad, not in a stacked monad;
- or more likely I missed an easy way to do it. So, I have to laboriously
- thread AnnexState through this function.
-}
tryRun :: AnnexState -> [Annex ()] -> IO ()
tryRun state actions = tryRun' state 0 0 actions
tryRun' state errnum oknum (a:as) = do
result <- try
(Annex.run state a)::IO (Either SomeException ((), AnnexState))
case (result) of
Left err -> do
showErr err
tryRun' state (errnum + 1) oknum as
Right (_,state') -> tryRun' state' errnum (oknum + 1) as
tryRun' state errnum oknum [] = do
if (errnum > 0)
then error $ (show errnum) ++ " failed ; " ++ show (oknum) ++ " ok"
else return ()
{- Exception pretty-printing. -}
showErr e = do
hPutStrLn stderr $ "git-annex: " ++ (show e)
return ()
|
