Fix laziness

IntersectMBO · Aug 24, 2020 · 6aba584 · 6aba584
1 parent a778370
commit 6aba584
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/ouroboros-consensus/src/Ouroboros/Consensus/Storage/LedgerDB/InMemory.hs b/ouroboros-consensus/src/Ouroboros/Consensus/Storage/LedgerDB/InMemory.hs
@@ -612,6 +612,11 @@ prune db@LedgerDB{..} =
  toPrune :: Int
  toPrune = ledgerDbCountToPrune ledgerDbParams (Seq.length ledgerDbBlocks)
 
+ -- NOTE: we must inline 'prune' otherwise we get unexplained thunks in
+ -- 'LedgerDB' and thus a space leak. Alternatively, we could disable the
+ -- @-fstrictness@ optimisation (enabled by default for -O1). See #2532.
+{-# INLINE prune #-}
+
 -- | Push an updated ledger state
 pushLedgerState :: l -- ^ Updated ledger state
  -> r -- ^ Reference to the applied block