Propagate HasCallStack through tx body construction and output callers

Add HasCallStack to makeShelleyTransactionBody, createAndValidateTransactionBody,
fromLegacyTxOut, and toShelleyUTxO, which call functions like mkCommonTxBody,
toShelleyTxOutAny, toShelleyTxOut, and createTransactionBody that already
carry the constraint.

Author: Jimbo4350

cardano-api/src/Cardano/Api/Experimental/Tx/Internal/BodyContent/New.hs

@@ -170,6 +170,7 @@ import Data.Set qualified as Set
 import Data.Text.Encoding qualified as Text
 import Data.Typeable (cast)
 import GHC.Exts (IsList (..))
+import GHC.Stack (HasCallStack)
 import Lens.Micro
 
 -- | Error that can occur when constructing an unsigned transaction.
@@ -538,7 +539,8 @@ legacyDatumToDatum OldApi.TxOutDatumNone = Nothing
 
 fromLegacyTxOut
   :: forall era
-   . IsEra era
+   . HasCallStack
+  => IsEra era
   => OldApi.TxOut CtxTx era
   -> Either DatumDecodingError (TxOut (LedgerEra era), Map L.DataHash (L.Data (LedgerEra era)))
 fromLegacyTxOut tOut@(OldApi.TxOut _ _ d _) = do

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

@@ -1518,6 +1518,7 @@ maxShelleyTxInIx = fromIntegral $ maxBound @Word16
 {-# DEPRECATED createAndValidateTransactionBody "Use createTransactionBody instead" #-}
 createAndValidateTransactionBody
   :: ()
+  => HasCallStack
   => ShelleyBasedEra era
   -> TxBodyContent BuildTx era
   -> Either TxBodyError (TxBody era)
@@ -2104,6 +2105,7 @@ mkCommonTxBody sbe txIns txOuts txFee txWithdrawals txAuxData =
 makeShelleyTransactionBody
   :: forall era
    . ()
+  => HasCallStack
   => ShelleyBasedEra era
   -> TxBodyContent BuildTx era
   -> Either TxBodyError (TxBody era)

cardano-api/src/Cardano/Api/UTxO.hs

@@ -122,6 +122,7 @@ import Data.Set (Set)
 import Data.Text (Text)
 import Data.Tuple (uncurry)
 import GHC.Exts qualified as GHC
+import GHC.Stack (HasCallStack)
 import Text.Show
 
 newtype UTxO era = UTxO {unUTxO :: Map TxIn (TxOut CtxUTxO era)}
@@ -354,7 +355,8 @@ fromMap = UTxO
 --------------------------------------------------------------------}
 
 -- | Convert from a `cardano-api` `UTxO` to a `cardano-ledger` UTxO.
-toShelleyUTxO :: ShelleyBasedEra era -> UTxO era -> Ledger.UTxO (ShelleyLedgerEra era)
+toShelleyUTxO
+  :: HasCallStack => ShelleyBasedEra era -> UTxO era -> Ledger.UTxO (ShelleyLedgerEra era)
 toShelleyUTxO sbe =
   Ledger.UTxO . Map.foldMapWithKey f . unUTxO
  where