consensus-test: stub ref script size to 0 in tests

Author: nfrisby

ouroboros-consensus-cardano/src/unstable-byronspec/Ouroboros/Consensus/ByronSpec/Ledger/Mempool.hs

@@ -56,3 +56,5 @@ instance LedgerSupportsMempool ByronSpecBlock where
   txInBlockSize = const 0
 
   txForgetValidated = forgetValidatedByronSpecGenTx
+
+  txRefScriptSize _cfg _tlst _tx = 0

ouroboros-consensus-diffusion/test/consensus-test/Test/Consensus/HardFork/Combinator/A.hs

@@ -331,6 +331,8 @@ instance LedgerSupportsMempool BlockA where
 
   txForgetValidated = forgetValidatedGenTxA
 
+  txRefScriptSize _cfg _tlst _tx = 0
+
 newtype instance TxId (GenTx BlockA) = TxIdA Int
   deriving stock   (Show, Eq, Ord, Generic)
   deriving newtype (NoThunks, Serialise)

ouroboros-consensus-diffusion/test/consensus-test/Test/Consensus/HardFork/Combinator/B.hs

@@ -267,6 +267,8 @@ instance LedgerSupportsMempool BlockB where
 
   txForgetValidated = \case {}
 
+  txRefScriptSize _cfg _tlst _tx = 0
+
 data instance TxId (GenTx BlockB)
   deriving stock    (Show, Eq, Ord, Generic)
   deriving anyclass (NoThunks, Serialise)

ouroboros-consensus/bench/mempool-bench/Bench/Consensus/Mempool/TestBlock.hs

@@ -152,6 +152,8 @@ instance Ledger.LedgerSupportsMempool TestBlock where
 
   txForgetValidated (ValidatedGenTx tx) = tx
 
+  txRefScriptSize _cfg _tlst _tx = 0
+
 newtype instance Ledger.TxId (Ledger.GenTx TestBlock) = TestBlockTxId Tx
   deriving stock (Generic)
   deriving newtype (Show, Ord, Eq)

ouroboros-consensus/src/unstable-mock-block/Ouroboros/Consensus/Mock/Ledger/Block.hs

@@ -438,6 +438,8 @@ instance MockProtocolSpecific c ext
 
   txForgetValidated = forgetValidatedSimpleGenTx
 
+  txRefScriptSize _cfg _tlst _tx = 0
+
 newtype instance TxId (GenTx (SimpleBlock c ext)) = SimpleGenTxId {
       unSimpleGenTxId :: Mock.TxId
     }

ouroboros-consensus/test/consensus-test/Test/Consensus/Mempool.hs

@@ -3,6 +3,7 @@
 {-# LANGUAGE LambdaCase          #-}
 {-# LANGUAGE NamedFieldPuns      #-}
 {-# LANGUAGE NumericUnderscores  #-}
+{-# LANGUAGE ParallelListComp    #-}
 {-# LANGUAGE RankNTypes          #-}
 {-# LANGUAGE RecordWildCards     #-}
 {-# LANGUAGE ScopedTypeVariables #-}
@@ -845,7 +846,9 @@ prop_TxSeq_lookupByTicketNo_complete xs =
         | (tx, tn) <- TxSeq.toTuples txseq ]
   where
     txseq :: TxSeq Int
-    txseq = TxSeq.fromList $ zipWith3 TxTicket xs (map TicketNo [0..]) (repeat 0)
+    txseq =
+        TxSeq.fromList
+      $ [ TxTicket x (TicketNo i) 0 0 | x <- xs | i <- [0..] ]
 
 -- | Only finds elements in the sequence
 prop_TxSeq_lookupByTicketNo_sound ::
@@ -873,7 +876,7 @@ prop_TxSeq_lookupByTicketNo_sound smalls small =
     txseq =
         foldl' (TxSeq.:>) TxSeq.Empty $ map mkTicket haystack
 
-    mkTicket x = TxTicket x (mkTicketNo x) 0
+    mkTicket x = TxTicket x (mkTicketNo x) 0 0
     mkTicketNo = TicketNo . toEnum
 
 -- | Test that the 'fst' of the result of 'splitAfterTxSize' only contains
@@ -948,7 +951,7 @@ instance Arbitrary TxSizeSplitTestSetup where
 -- | Convert a 'TxSizeSplitTestSetup' to a 'TxSeq'.
 txSizeSplitTestSetupToTxSeq :: TxSizeSplitTestSetup -> TxSeq Int
 txSizeSplitTestSetupToTxSeq TxSizeSplitTestSetup { tssTxSizes } =
-    TxSeq.fromList [TxTicket 0 (TicketNo 0) tssTxSize | tssTxSize <- tssTxSizes]
+    TxSeq.fromList [TxTicket 0 (TicketNo 0) tssTxSize 0 | tssTxSize <- tssTxSizes]
 
 {-------------------------------------------------------------------------------
   TicketNo Properties

ouroboros-consensus/test/consensus-test/Test/Consensus/Mempool/Fairness/TestBlock.hs

@@ -100,6 +100,8 @@ instance Ledger.LedgerSupportsMempool TestBlock where
 
   txForgetValidated (ValidatedGenTx tx) = tx
 
+  txRefScriptSize _cfg _tlst _tx = 0
+
 {-------------------------------------------------------------------------------
   Ledger support
 -------------------------------------------------------------------------------}