wip

Author: carbolymer

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

@@ -1074,7 +1074,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
@@ -2590,7 +2591,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
@@ -2952,6 +2953,7 @@ convScriptData
   -> [TxOut CtxTx era]
   -> [(ScriptWitnessIndex, AnyScriptWitness era)]
   -> TxBodyScriptData era
+convScriptData _ _ _ = error "XX"
 convScriptData sbe txOuts scriptWitnesses =
   caseShelleyToMaryOrAlonzoEraOnwards
     (const TxBodyNoScriptData)
@@ -2993,7 +2995,7 @@ convScriptData sbe txOuts scriptWitnesses =
                        ) <-
                        scriptWitnesses
                    ]
-         in TxBodyScriptData w datums redeemers
+         in TxBodyScriptData w datums redeemers -- TODO
     )
     sbe
 
@@ -3250,7 +3252,7 @@ makeShelleyTransactionBody
         sbe
         txbody
         scripts
-        (TxBodyScriptData AlonzoEraOnwardsAlonzo datums redeemers)
+        (TxBodyScriptData AlonzoEraOnwardsAlonzo datums redeemers) -- TODO
         txAuxData
         txScriptValidity
    where
@@ -3367,7 +3369,7 @@ makeShelleyTransactionBody
         sbe
         txbody
         scripts
-        ( TxBodyScriptData
+        ( TxBodyScriptData -- TODO
             AlonzoEraOnwardsBabbage
             datums
             redeemers
@@ -3507,7 +3509,7 @@ makeShelleyTransactionBody
         sbe
         txbody
         scripts
-        ( TxBodyScriptData
+        ( TxBodyScriptData -- TODO
             AlonzoEraOnwardsConway
             datums
             redeemers
@@ -3868,11 +3870,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
@@ -3889,7 +3898,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 $