[alonzo] - TxDats

IntersectMBO · Jan 29, 2025 · 0a26a78 · 0a26a78
1 parent 408490b
commit 0a26a78
Showing 1 changed file with 11 additions and 1 deletion.
diff --git a/eras/alonzo/impl/src/Cardano/Ledger/Alonzo/TxWits.hs b/eras/alonzo/impl/src/Cardano/Ledger/Alonzo/TxWits.hs
@@ -333,12 +333,22 @@ instance Era era => DecCBOR (Annotator (TxDatsRaw era)) where
       (mapTraverseableDecoderA (decodeList decCBOR) (TxDatsRaw . Map.fromElems hashData))
   {-# INLINE decCBOR #-}
 
+instance Era era => DecCBOR (TxDatsRaw era) where
+  decCBOR =
+    ifDecoderVersionAtLeast
+      (natVersion @9)
+      ( allowTag setTag
+          >> TxDatsRaw . Map.fromElems hashData . NE.toList <$> decodeNonEmptyList decCBOR
+      )
+      (TxDatsRaw . Map.fromElems hashData <$> decodeList decCBOR)
+  {-# INLINE decCBOR #-}
+
 -- | Note that 'TxDats' are based on 'MemoBytes' since we must preserve
 -- the original bytes for the 'Cardano.Ledger.Alonzo.Tx.ScriptIntegrity'.
 -- Since the 'TxDats' exist outside of the transaction body,
 -- this is how we ensure that they are not manipulated.
 newtype TxDats era = TxDatsConstr (MemoBytes (TxDatsRaw era))
-  deriving newtype (SafeToHash, ToCBOR, Eq, NoThunks, NFData)
+  deriving newtype (SafeToHash, ToCBOR, Eq, NoThunks, NFData, DecCBOR)
   deriving (Generic)
 
 instance Memoized (TxDats era) where