Skip to content

Commit 913cd7d

Browse files
committed
Apply some @grayjay comments
1 parent c9d30ba commit 913cd7d

File tree

3 files changed

+9
-9
lines changed

3 files changed

+9
-9
lines changed

cabal-install-solver/src/Distribution/Solver/Modular.hs

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -122,17 +122,17 @@ solve' :: SolverConfig
122122
-> Set PN
123123
-> Progress SolverTrace String (Assignment, RevDepMap)
124124
solve' sc cinfo idx pkgConfigDB pprefs gcs pns =
125-
toProgress $ retry (runSolver printFullLog sc) handleFailure
125+
toProgress $ retry (runSolver printFullLog sc) createErrorMsg
126126
where
127127
runSolver :: Bool -> SolverConfig
128128
-> RetryLog SolverTrace SolverFailure (Assignment, RevDepMap)
129129
runSolver keepLog sc' =
130130
displayLogMessages keepLog $
131131
solve sc' cinfo idx pkgConfigDB pprefs gcs pns
132132

133-
handleFailure :: SolverFailure
133+
createErrorMsg :: SolverFailure
134134
-> RetryLog SolverTrace String (Assignment, RevDepMap)
135-
handleFailure failure@(ExhaustiveSearch cs _cm) =
135+
createErrorMsg failure@(ExhaustiveSearch cs _cm) =
136136
if asBool $ minimizeConflictSet sc
137137
then continueWith (mkErrorMsg ("Found no solution after exhaustively searching the "
138138
++ "dependency tree. Rerunning the dependency solver "
@@ -153,7 +153,7 @@ solve' sc cinfo idx pkgConfigDB pprefs gcs pns =
153153
++ finalErrorMsg sc failure
154154
else
155155
fromProgress $ Fail $ rerunSolverForErrorMsg cs ++ finalErrorMsg sc failure
156-
handleFailure failure@BackjumpLimitReached =
156+
createErrorMsg failure@BackjumpLimitReached =
157157
continueWith
158158
(mkErrorMsg ("Backjump limit reached. Rerunning dependency solver to generate "
159159
++ "a final conflict set for the search tree containing the "

cabal-install-solver/src/Distribution/Solver/Modular/Log.hs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -25,7 +25,7 @@ displayLogMessages :: Bool
2525
-> RetryLog SolverTrace SolverFailure a
2626
displayLogMessages keepLog lg = fromProgress $
2727
if keepLog
28-
then groupMessages progress
28+
then summarizeMessages progress
2929
else foldProgress (const id) Fail Done progress
3030
where
3131
progress = toProgress lg

cabal-install-solver/src/Distribution/Solver/Modular/Message.hs

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
module Distribution.Solver.Modular.Message (
44
Message(..),
55
SolverTrace(..),
6-
groupMessages,
6+
summarizeMessages,
77
) where
88

99
import qualified Data.List as L
@@ -78,7 +78,7 @@ displayMessage :: Log -> String
7878
displayMessage (PackageGoal qpn gr) = "next goal: " ++ showQPN qpn ++ showGR gr
7979
displayMessage (RejectF qfn b c fr) = "rejecting: " ++ showQFNBool qfn b ++ showFR c fr
8080
displayMessage (RejectS qsn b c fr) = "rejecting: " ++ showQSNBool qsn b ++ showFR c fr
81-
displayMessage (Skipping' cs) = showConflicts cs
81+
displayMessage (Skipping' cs) = "skipping: " ++ showConflicts cs
8282
displayMessage (TryingF qfn b) = "trying: " ++ showQFNBool qfn b
8383
displayMessage (TryingP qpn i mgr) = "trying: " ++ showQPNPOpt qpn i ++ maybe "" showGR mgr
8484
displayMessage (TryingS qsn b) = "trying: " ++ showQSNBool qsn b
@@ -123,8 +123,8 @@ displayMessage (RejectMany qpn is c fr) = "rejecting: " ++ L.intercalate ", " (m
123123
-- The log contains level numbers, which are useful for any trace that involves
124124
-- backtracking, because only the level numbers will allow to keep track of
125125
-- backjumps.
126-
groupMessages :: Progress Message a b -> Progress SolverTrace a b
127-
groupMessages = go 0
126+
summarizeMessages :: Progress Message a b -> Progress SolverTrace a b
127+
summarizeMessages = go 0
128128
where
129129
-- 'go' increments the level for a recursive call when it encounters
130130
-- 'TryP', 'TryF', or 'TryS' and decrements the level when it encounters 'Leave'.

0 commit comments

Comments
 (0)