From dbe65645fc24af0b15a829c1e13d80e8d620e3bc Mon Sep 17 00:00:00 2001 From: Levent Erkok Date: Sat, 11 May 2024 14:58:15 -0700 Subject: [PATCH] whitespace --- Data/SBV/Control/Utils.hs | 4 ++-- Data/SBV/SMT/SMT.hs | 34 +++++++++++++++++----------------- 2 files changed, 19 insertions(+), 19 deletions(-) diff --git a/Data/SBV/Control/Utils.hs b/Data/SBV/Control/Utils.hs index 5dec2eb85..e0b7469d6 100644 --- a/Data/SBV/Control/Utils.hs +++ b/Data/SBV/Control/Utils.hs @@ -1905,8 +1905,8 @@ executeQuery queryContext (QueryT userQuery) = do Just QueryState{queryTerminate} -> queryTerminate maybeForwardedException lift $ join $ liftIO $ C.mask $ \restore -> do - r <- restore (extractIO $ join $ liftIO $ backend cfg' st (show pgm) $ extractIO . runReaderT userQuery) `C.catch` \e -> - terminateSolver (Just e) >> C.throwIO (e :: C.SomeException) + r <- restore (extractIO $ join $ liftIO $ backend cfg' st (show pgm) $ extractIO . runReaderT userQuery) + `C.catch` \e -> terminateSolver (Just e) >> C.throwIO (e :: C.SomeException) terminateSolver Nothing return r diff --git a/Data/SBV/SMT/SMT.hs b/Data/SBV/SMT/SMT.hs index 8638a3853..973e64cb6 100644 --- a/Data/SBV/SMT/SMT.hs +++ b/Data/SBV/SMT/SMT.hs @@ -875,23 +875,23 @@ runSolver cfg ctx execPath opts pgm continuation recordEndTime cfg ctx case (ex, maybeForwardedException) of - (_, Just forwardedException) -> C.throwIO forwardedException - (ExitSuccess, _) -> return () - _ -> if ignoreExitCode cfg - then msg ["Ignoring non-zero exit code of " ++ show ex ++ " per user request!"] - else C.throwIO SBVException { sbvExceptionDescription = "Failed to complete the call to " ++ nm - , sbvExceptionSent = Nothing - , sbvExceptionExpected = Nothing - , sbvExceptionReceived = Nothing - , sbvExceptionStdOut = Just out - , sbvExceptionStdErr = Just err - , sbvExceptionExitCode = Just ex - , sbvExceptionConfig = cfg { solver = (solver cfg) { executable = execPath } } - , sbvExceptionReason = Nothing - , sbvExceptionHint = if not (verbose cfg) - then Just ["Run with 'verbose=True' for further information"] - else Nothing - } + (_, Just forwardedException) -> C.throwIO forwardedException + (ExitSuccess, _) -> return () + _ -> if ignoreExitCode cfg + then msg ["Ignoring non-zero exit code of " ++ show ex ++ " per user request!"] + else C.throwIO SBVException { sbvExceptionDescription = "Failed to complete the call to " ++ nm + , sbvExceptionSent = Nothing + , sbvExceptionExpected = Nothing + , sbvExceptionReceived = Nothing + , sbvExceptionStdOut = Just out + , sbvExceptionStdErr = Just err + , sbvExceptionExitCode = Just ex + , sbvExceptionConfig = cfg { solver = (solver cfg) { executable = execPath } } + , sbvExceptionReason = Nothing + , sbvExceptionHint = if not (verbose cfg) + then Just ["Run with 'verbose=True' for further information"] + else Nothing + } return (send, ask, getResponseFromSolver, terminateSolver, cleanUp, pid)