@@ -276,9 +276,9 @@ tryToMinimizeConflictSet runSolver sc cs cm =
276
276
| not (v `CS.member` smallestKnownCS) =
277
277
fromProgress $ Fail $ ExhaustiveSearch smallestKnownCS smallestKnownCM
278
278
| otherwise =
279
- retryMap mkErrorMsg $ continueWith ( " Trying to remove variable " ++ varStr ++ " from the "
279
+ continueWith ( mkErrorMsg $ " Trying to remove variable " ++ varStr ++ " from the "
280
280
++ " conflict set." ) $
281
- retry (retryMap renderSummarizedMessage $ runSolver sc') $ \ case
281
+ retry (runSolver sc') $ \ case
282
282
err@ (ExhaustiveSearch cs' _)
283
283
| CS. toSet cs' `isSubsetOf` CS. toSet smallestKnownCS ->
284
284
let msg = if not $ CS. member v cs'
@@ -288,14 +288,14 @@ tryToMinimizeConflictSet runSolver sc cs cm =
288
288
++ " conflict set."
289
289
in -- Use the new conflict set, even if v wasn't removed,
290
290
-- because other variables may have been removed.
291
- failWith (msg ++ " Continuing with " ++ showCS cs' ++ " ." ) err
291
+ failWith (mkErrorMsg $ msg ++ " Continuing with " ++ showCS cs' ++ " ." ) err
292
292
| otherwise ->
293
- failWith (" Failed to find a smaller conflict set. The new "
293
+ failWith (mkErrorMsg $ " Failed to find a smaller conflict set. The new "
294
294
++ " conflict set is not a subset of the previous "
295
295
++ " conflict set: " ++ showCS cs') $
296
296
ExhaustiveSearch smallestKnownCS smallestKnownCM
297
297
BackjumpLimitReached ->
298
- failWith " Reached backjump limit while minimizing conflict set."
298
+ failWith (mkErrorMsg " Reached backjump limit while minimizing conflict set." )
299
299
BackjumpLimitReached
300
300
where
301
301
varStr = " \" " ++ showVar v ++ " \" "
@@ -317,9 +317,6 @@ tryToMinimizeConflictSet runSolver sc cs cm =
317
317
ExhaustiveSearch cs' cm' -> f cs' cm'
318
318
BackjumpLimitReached -> fromProgress (Fail BackjumpLimitReached )
319
319
320
- retryMap :: (t -> step ) -> RetryLog t fail done -> RetryLog step fail done
321
- retryMap f l = fromProgress $ (\ p -> foldProgress (\ x xs -> Step (f x) xs) Fail Done p) $ toProgress l
322
-
323
320
-- | Goal ordering that chooses goals contained in the conflict set before
324
321
-- other goals.
325
322
preferGoalsFromConflictSet :: ConflictSet
0 commit comments