Merge pull request #3492 from enolan/exit-code
Signal failures with proper exit code
commit087b69ed6290bb7a240bad77f2038065892807ff
authorDavid Christiansen <david@davidchristiansen.dk>
dateMon 17 Oct 2016, 17:37 (10 years ago)
parent5a2f5a4fa260c0
src/Idris/Main.hs+3−1
@@ -51,7 +51,9 @@ import Text.Trifecta.Result (ErrInfo(..), Result(..))
5151runMain :: Idris () -> IO ()
5252runMain prog = do res <- runExceptT $ execStateT prog idrisInit
5353 case res of
54− Left err -> putStrLn $ "Uncaught error: " ++ show err
54+ Left err -> do
55+ putStrLn $ "Uncaught error: " ++ show err
56+ exitFailure
5557 Right _ -> return ()
5658
5759