File tree Expand file tree Collapse file tree 1 file changed +8
-12
lines changed
booster/library/Booster/Pattern Expand file tree Collapse file tree 1 file changed +8
-12
lines changed Original file line number Diff line number Diff line change @@ -331,18 +331,14 @@ iterateEquations direction preference startTerm = do
331
331
config <- getConfig
332
332
currentCount <- countSteps
333
333
when (coerce currentCount > config. maxIterations) $ do
334
- -- FIXME if this exception is caught in evaluatePattern',
335
- -- then CtxAbort is a wrong context for it.
336
- -- We should emit this log entry somewhere else.
337
- withContext CtxAbort $ do
338
- logWarn $
339
- renderOneLineText $
340
- " Unable to finish evaluation in" <+> pretty currentCount <+> " iterations."
341
- withContext CtxDetail $
342
- getPrettyModifiers >>= \ case
343
- ModifiersRep (_ :: FromModifiersT mods => Proxy mods ) ->
344
- logMessage . renderOneLineText $
345
- " Final term:" <+> pretty' @ mods currentTerm
334
+ logWarn $
335
+ renderOneLineText $
336
+ " Unable to finish evaluation in" <+> pretty currentCount <+> " iterations."
337
+ withContext CtxDetail $
338
+ getPrettyModifiers >>= \ case
339
+ ModifiersRep (_ :: FromModifiersT mods => Proxy mods ) ->
340
+ logMessage . renderOneLineText $
341
+ " Final term:" <+> pretty' @ mods currentTerm
346
342
throw $
347
343
TooManyIterations currentCount startTerm currentTerm
348
344
pushTerm currentTerm
You can’t perform that action at this time.
0 commit comments