TOSQUASH

IntersectMBO · May 6, 2024 · bd7383f · bd7383f
1 parent 1a90545
commit bd7383f
Showing 1 changed file with 2 additions and 6 deletions.
diff --git a/src/Database/LSMTree/Internal/IndexCompactAcc.hs b/src/Database/LSMTree/Internal/IndexCompactAcc.hs
@@ -154,13 +154,9 @@ appendSingle :: forall s. (SerialisedKey, SerialisedKey) -> IndexCompactAcc s ->
 appendSingle (minKey, maxKey) ica@IndexCompactAcc{..} = do
 #ifdef NO_IGNORE_ASSERTS
     lastMinKey <- readSTRef icaLastMinKey
-    let preconditionSorted :: Bool
-        preconditionSorted = minKey <= maxKey && smaybe True (<= minKey) lastMinKey
-    assert preconditionSorted $ pure ()
-    let preconditionPartitioned :: Bool
-        preconditionPartitioned = minRfbits == keyTopBits16 icaRangeFinderPrecision maxKey
-    assert preconditionPartitioned $ pure ()
+    assert (minKey <= maxKey && smaybe True (<= minKey) lastMinKey) $ pure ()  -- sorted
 #endif
+    assert (minRfbits == keyTopBits16 icaRangeFinderPrecision maxKey) $ pure () -- partitioned
     pageNo <- readSTRef icaCurrentPageNumber
     let ix = pageNo `mod` icaMaxChunkSize
     goAppend pageNo ix