wip

Author: carbolymer

cardano-api/src/Cardano/Api/Internal/Tx/Body.hs

@@ -1085,7 +1085,8 @@ fromAlonzoTxOutDatumHash _ SNothing = TxOutDatumNone
 fromAlonzoTxOutDatumHash w (SJust hash) = TxOutDatumHash w $ ScriptDataHash hash
 
 toBabbageTxOutDatum
-  :: L.Era (ShelleyLedgerEra era)
+  :: HasCallStack
+  => L.Era (ShelleyLedgerEra era)
   => TxOutDatum ctx era
   -> Plutus.Datum (ShelleyLedgerEra era)
 toBabbageTxOutDatum TxOutDatumNone = Plutus.NoDatum
@@ -2602,7 +2603,7 @@ fromAlonzoTxOutDatum w txdatums = \case
   SNothing -> TxOutDatumNone
   SJust dh
     | Just d <- Map.lookup dh txdatums ->
-        TxOutSupplementalDatum w (fromAlonzoData d)
+        TxOutSupplementalDatum w (fromAlonzoData d) -- TODO
     | otherwise -> TxOutDatumHash w (ScriptDataHash dh)
 
 fromBabbageTxOut
@@ -2966,6 +2967,7 @@ convScriptData
   -> [TxOut CtxTx era]
   -> [(ScriptWitnessIndex, AnyScriptWitness era)]
   -> TxBodyScriptData era
+convScriptData _ _ _ = error "XX"
 convScriptData sbe txOuts scriptWitnesses =
   caseShelleyToMaryOrAlonzoEraOnwards
     (const TxBodyNoScriptData)
@@ -3007,7 +3009,7 @@ convScriptData sbe txOuts scriptWitnesses =
                        ) <-
                        scriptWitnesses
                    ]
-         in TxBodyScriptData w datums redeemers
+         in TxBodyScriptData w datums redeemers -- TODO
     )
     sbe
 
@@ -3289,7 +3291,7 @@ makeShelleyTransactionBody
         sbe
         txbody
         scripts
-        (TxBodyScriptData AlonzoEraOnwardsAlonzo datums redeemers)
+        (TxBodyScriptData AlonzoEraOnwardsAlonzo datums redeemers) -- TODO
         txAuxData
         txScriptValidity
    where
@@ -3417,7 +3419,7 @@ makeShelleyTransactionBody
         sbe
         txbody
         scripts
-        ( TxBodyScriptData
+        ( TxBodyScriptData -- TODO
             AlonzoEraOnwardsBabbage
             datums
             redeemers
@@ -3567,7 +3569,7 @@ makeShelleyTransactionBody
         sbe
         txbody
         scripts
-        ( TxBodyScriptData
+        ( TxBodyScriptData -- TODO
             AlonzoEraOnwardsConway
             datums
             redeemers
@@ -3933,11 +3935,18 @@ getSupplementalDatums eon [] = alonzoEraOnwardsConstraints eon mempty
 getSupplementalDatums eon txouts =
   alonzoEraOnwardsConstraints eon $
     L.TxDats $
-      fromList
+      fromList $
         [ (L.hashData ledgerData, ledgerData)
-        | TxOut _ _ (TxOutSupplementalDatum _ d) _ <- txouts
+        | TxOut _ _ datum _ <- txouts
+        , Just d <- [getDatum datum]
         , let ledgerData = toAlonzoData d
         ]
+    where
+      getDatum = \case
+        TxOutDatumNone -> Nothing
+        TxOutDatumHash _ _scriptHash -> Nothing -- TODO provide datum here to match with hash
+        TxOutSupplementalDatum _ d -> Just d
+        TxOutDatumInline _ d -> Just d
 
 collectTxBodyScriptWitnessRequirements
   :: forall era
@@ -3954,7 +3963,7 @@ collectTxBodyScriptWitnessRequirements
     } =
     obtainAlonzoScriptPurposeConstraints aEon $ do
       let sbe = shelleyBasedEra @era
-          supplementaldatums = TxScriptWitnessRequirements mempty mempty (getSupplementalDatums aEon txOuts) mempty
+          supplementaldatums = TxScriptWitnessRequirements mempty mempty (getSupplementalDatums aEon txOuts) mempty -- TODO
       txInWits <-
         first TxBodyPlutusScriptDecodeError $
           legacyWitnessToScriptRequirements aEon $