small simplification

GaloisInc · Aug 8, 2023 · d80b16f · d80b16f
1 parent 2327713
commit d80b16f
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