From 7f7d667f6c7dc2890d565a5315e036d1e67d934b Mon Sep 17 00:00:00 2001 From: Georgy Lukyanov Date: Mon, 5 Aug 2024 16:35:25 +0200 Subject: [PATCH] Correct comments --- booster/library/Booster/JsonRpc.hs | 2 +- booster/library/Booster/Pattern/ApplyEquations.hs | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/booster/library/Booster/JsonRpc.hs b/booster/library/Booster/JsonRpc.hs index 4e20b2c42e..3620a12bf0 100644 --- a/booster/library/Booster/JsonRpc.hs +++ b/booster/library/Booster/JsonRpc.hs @@ -166,7 +166,7 @@ respond stateVar request = case evaluatedInitialPattern of (Left ApplyEquations.SideConditionFalse{}, _) -> do - -- input pattern's constrains are Bottom, return Bottom + -- input pattern's constraints are Bottom, return Vacuous stop <- liftIO $ getTime Monotonic pure $ execResponse diff --git a/booster/library/Booster/Pattern/ApplyEquations.hs b/booster/library/Booster/Pattern/ApplyEquations.hs index 4a66fc3bcf..e9e8500284 100644 --- a/booster/library/Booster/Pattern/ApplyEquations.hs +++ b/booster/library/Booster/Pattern/ApplyEquations.hs @@ -463,7 +463,7 @@ evaluatePattern' :: EquationT io Pattern evaluatePattern' pat@Pattern{term, ceilConditions} = withPatternContext pat $ do solver <- (.smtSolver) <$> getConfig - -- check initial constraints for consistency, reporting an error if they are Bottom + -- check the pattern's constraints for consistency, reporting an error if they are Bottom withContext CtxConstraint . withContext CtxDetail . withTermContext (coerce $ collapseAndBools pat.constraints) @@ -479,7 +479,7 @@ evaluatePattern' pat@Pattern{term, ceilConditions} = withPatternContext pat $ do throw . SideConditionFalse . collapseAndBools $ pat.constraints Left SMT.SMTSolverUnknown{} -> do -- unlikely case of an Unknown response to a consistency check. - -- What to do here? continue for now to preserver the old behaviour. + -- continue to preserver the old behaviour. withContext CtxConstraint . logWarn . Text.pack $ "Constraints consistency UNKNOWN: " <> show consistent continue @@ -487,7 +487,7 @@ evaluatePattern' pat@Pattern{term, ceilConditions} = withPatternContext pat $ do -- fail hard on SMT error other than @SMT.SMTSolverUnknown@ liftIO $ Exception.throw other Right True -> do - -- constrains are consistent, continue + -- constraints are consistent, continue continue where continue = do