Merge pull request #271 from GaloisInc/vr/small-simplification

small simplification
GaloisInc · Aug 8, 2023 · f3a8f96 · f3a8f96
2 parents 2327713 + d80b16f
commit f3a8f96
Showing 1 changed file with 2 additions and 6 deletions.
diff --git a/src/Reopt/Utils/Exit.hs b/src/Reopt/Utils/Exit.hs
@@ -11,6 +11,7 @@ where
 
 import Control.Exception (catch)
 import Control.Monad.Except (ExceptT, runExceptT)
+import Data.Bifunctor (Bifunctor (first))
 import Data.ByteString qualified as BS
 import Data.Macaw.Utils.IncComp (
   IncCompM,
@@ -22,12 +23,7 @@ import System.IO (hPrint, hPutStrLn, stderr)
 import System.IO.Error (ioeGetErrorType, isDoesNotExistError)
 
 handleEitherWithExit :: Show e => Either e a -> IO a
-handleEitherWithExit r = do
-  case r of
-    Left e -> do
-      hPrint stderr e
-      exitFailure
-    Right b -> pure b
+handleEitherWithExit = handleEitherStringWithExit . first show
 
 handleEitherStringWithExit :: Either String a -> IO a
 handleEitherStringWithExit r = do