Merge pull request #470 from IntersectMBO/jordan/return-slot-and-bloc…

…k-no-in-foldEpochState Add `SlotNo` and `BlockNo` parameters to `foldEpochState`'s callback function
IntersectMBO · Mar 6, 2024 · 2a46a99 · 2a46a99
2 parents 10acff0 + 766bd91
commit 2a46a99
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/cardano-api/internal/Cardano/Api/LedgerState.hs b/cardano-api/internal/Cardano/Api/LedgerState.hs
@@ -1874,7 +1874,9 @@ foldEpochState
   -> s
   -- ^ an initial value for the condition state
   -> ( AnyNewEpochState
-      -> StateT s IO LedgerStateCondition
+         -> SlotNo -- ^ Current (not necessarily the tip) slot number
+         -> BlockNo -- ^ Current (not necessarily the tip) block number
+         -> StateT s IO LedgerStateCondition
      )
   -- ^ Condition you want to check against the new epoch state.
   --
@@ -2020,7 +2022,7 @@ foldEpochState nodeConfigFilePath socketPath validationMode terminationEpoch ini
                               -- There can be only one place where `takeMVar stateMv` exists otherwise this
                               -- code will deadlock!
                               condition <- bracket (takeMVar stateMv) (tryPutMVar stateMv) $ \(_prevCondition, previousState) -> do
-                                updatedState@(!newCondition, !_) <- runStateT (checkCondition newEpochState) previousState
+                                updatedState@(!newCondition, !_) <- runStateT (checkCondition newEpochState slotNo currBlockNo) previousState
                                 putMVar stateMv updatedState
                                 pure newCondition
                               -- Have we reached the termination epoch?