From f15f60333eff6c2d455e9608a8460075b641097c Mon Sep 17 00:00:00 2001 From: Nicolas Frisby Date: Wed, 28 Aug 2024 06:22:04 -0700 Subject: [PATCH] TOSQUASH remove leftover bounds check for Natural --- .../test/consensus-test/Test/Consensus/Mempool.hs | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/ouroboros-consensus/test/consensus-test/Test/Consensus/Mempool.hs b/ouroboros-consensus/test/consensus-test/Test/Consensus/Mempool.hs index 1fcdd25a54..14cea0bb2d 100644 --- a/ouroboros-consensus/test/consensus-test/Test/Consensus/Mempool.hs +++ b/ouroboros-consensus/test/consensus-test/Test/Consensus/Mempool.hs @@ -35,7 +35,7 @@ module Test.Consensus.Mempool (tests) where import Cardano.Binary (Encoding, toCBOR) import Cardano.Crypto.Hash import Control.Exception (assert) -import Control.Monad (foldM, forM, forM_, void, when) +import Control.Monad (foldM, forM, forM_, void) import Control.Monad.Except (Except, runExcept) import Control.Monad.IOSim (runSimOrThrow) import Control.Monad.State (State, evalState, get, modify) @@ -845,9 +845,6 @@ instance Arbitrary MempoolCapTestSetup where -- Note that we could pick @currentSize@, meaning that we can't add any -- more transactions to the Mempool - when (unByteSize32 capacityMaxBound >= 2^(32 :: Int)) $ do - error "impossible!" -- could 'QC.discard' if this is actually feasible - capacity <- choose ( unByteSize32 capacityMinBound , unByteSize32 capacityMaxBound