Modify ScriptDatum in accordance with CIP-0069

I.E the datum is no longer required in spending scripts
IntersectMBO · Jul 3, 2024 · e865569 · e865569
1 parent 46097e3
commit e865569
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/cardano-api/internal/Cardano/Api/Script.hs b/cardano-api/internal/Cardano/Api/Script.hs
@@ -782,7 +782,7 @@ instance Eq (ScriptWitness witctx era) where
 type ScriptRedeemer = HashableScriptData
 
 data ScriptDatum witctx where
-     ScriptDatumForTxIn    :: HashableScriptData -> ScriptDatum WitCtxTxIn
+     ScriptDatumForTxIn    :: Maybe HashableScriptData -> ScriptDatum WitCtxTxIn
      InlineScriptDatum     :: ScriptDatum WitCtxTxIn
      NoScriptDatumForMint  :: ScriptDatum WitCtxMint
      NoScriptDatumForStake :: ScriptDatum WitCtxStake

diff --git a/cardano-api/internal/Cardano/Api/Tx/Body.hs b/cardano-api/internal/Cardano/Api/Tx/Body.hs
@@ -2218,7 +2218,7 @@ convScriptData sbe txOuts scriptWitnesses =
               [ d | TxOut _ _ (TxOutDatumInTx _ d) _ <- txOuts ]
            ++ [ d | (_, AnyScriptWitness
                           (PlutusScriptWitness
-                             _ _ _ (ScriptDatumForTxIn d) _ _)) <- scriptWitnesses
+                             _ _ _ (ScriptDatumForTxIn (Just d)) _ _)) <- scriptWitnesses
                   ]
       in TxBodyScriptData w datums redeemers
     )
@@ -2485,7 +2485,7 @@ makeShelleyTransactionBody sbe@ShelleyBasedEraAlonzo
         [ d | TxOut _ _ (TxOutDatumInTx _ d) _ <- txOuts ]
      ++ [ d | (_, AnyScriptWitness
                     (PlutusScriptWitness
-                       _ _ _ (ScriptDatumForTxIn d) _ _)) <- witnesses
+                       _ _ _ (ScriptDatumForTxIn (Just d)) _ _)) <- witnesses
             ]
 
     redeemers :: Alonzo.Redeemers StandardAlonzo
@@ -2591,7 +2591,7 @@ makeShelleyTransactionBody sbe@ShelleyBasedEraBabbage
         [ d | TxOut _ _ (TxOutDatumInTx _ d) _ <- txOuts ]
      ++ [ d | (_, AnyScriptWitness
                     (PlutusScriptWitness
-                       _ _ _ (ScriptDatumForTxIn d) _ _)) <- witnesses
+                       _ _ _ (ScriptDatumForTxIn (Just d)) _ _)) <- witnesses
             ]
 
     redeemers :: Alonzo.Redeemers StandardBabbage
@@ -2707,7 +2707,7 @@ makeShelleyTransactionBody sbe@ShelleyBasedEraConway
         [ d | TxOut _ _ (TxOutDatumInTx _ d) _ <- txOuts ]
      ++ [ d | (_, AnyScriptWitness
                     (PlutusScriptWitness
-                       _ _ _ (ScriptDatumForTxIn d) _ _)) <- witnesses
+                       _ _ _ (ScriptDatumForTxIn (Just d)) _ _)) <- witnesses
             ]
 
     redeemers :: Alonzo.Redeemers StandardConway