git.iko.soy/Idris-dev
on master help sign in
Add exception handler to main
3ec0158David Christiansen
src/Main.hs+4−1
compare with master
unifiedsplit
@@ -40,7 +40,10 @@ import Paths_idris
40
40
41main = do xs <- getArgs
41main = do xs <- getArgs
42 let opts = parseArgs xs
42 let opts = parseArgs xs
43− runErrorT $ execStateT (runIdris opts) idrisInit
43+ result <- runErrorT $ execStateT (runIdris opts) idrisInit
44+ case result of
45+ Left err -> putStrLn $ "Uncaught error: " ++ show err
46+ Right _ -> return ()
44
47
45runIdris :: [Opt] -> Idris ()
48runIdris :: [Opt] -> Idris ()
46runIdris opts = do
49runIdris opts = do