@@ -1504,7 +1504,9 @@ logicalValue lsm = do
1504
1504
type Representation = (Run , [LevelRepresentation ], Maybe (MTree Run ))
1505
1505
1506
1506
type LevelRepresentation =
1507
- (Maybe (MergePolicy , LevelMergeType , MergingRunState ), [Run ])
1507
+ (Maybe (MergePolicy , NominalDebt , NominalCredit ,
1508
+ LevelMergeType , MergingRunState ),
1509
+ [Run ])
1508
1510
1509
1511
dumpRepresentation :: LSM s -> ST s Representation
1510
1512
dumpRepresentation (LSMHandle _ lsmr) = do
@@ -1518,9 +1520,10 @@ dumpRepresentation (LSMHandle _ lsmr) = do
1518
1520
dumpLevel :: Level s -> ST s LevelRepresentation
1519
1521
dumpLevel (Level (Single r) rs) =
1520
1522
return (Nothing , (r: rs))
1521
- dumpLevel (Level (Merging mp _nd _nc (MergingRun mt _ ref)) rs) = do
1523
+ dumpLevel (Level (Merging mp nd ncv (MergingRun mt _ ref)) rs) = do
1522
1524
mrs <- readSTRef ref
1523
- return (Just (mp, mt, mrs), rs)
1525
+ nc <- readSTRef ncv
1526
+ return (Just (mp, nd, nc, mt, mrs), rs)
1524
1527
1525
1528
-- For each level:
1526
1529
-- 1. the runs involved in an ongoing merge
@@ -1538,8 +1541,8 @@ representationShape (wb, levels, tree) =
1538
1541
1539
1542
summaryMR = \ case
1540
1543
Nothing -> ([] , [] )
1541
- Just (_, _, CompletedMerge r) -> ([] , [summaryRun r])
1542
- Just (_, _, OngoingMerge _ rs _) -> (map summaryRun rs, [] )
1544
+ Just (_, _, _, _, CompletedMerge r) -> ([] , [summaryRun r])
1545
+ Just (_, _, _, _, OngoingMerge _ rs _) -> (map summaryRun rs, [] )
1543
1546
1544
1547
-------------------------------------------------------------------------------
1545
1548
-- Tracing
0 commit comments