Propagate HasCallStack to callers

Propagate HasCallStack constraints to callers of the error-site functions:
tx signing, tx body construction and output, fee calculation, and
query and genesis conversion.

Author: Jimbo4350

cardano-api/src/Cardano/Api/Certificate/Internal/OperationalCertificate.hs

@@ -37,6 +37,7 @@ import Cardano.Protocol.Crypto (StandardCrypto)
 import Cardano.Protocol.TPraos.OCert qualified as Shelley
 
 import Data.Word
+import GHC.Stack (HasCallStack)
 
 -- ----------------------------------------------------------------------------
 -- Operational certificates
@@ -107,7 +108,8 @@ instance Error OperationalCertIssueError where
 -- TODO: include key ids
 
 issueOperationalCertificate
-  :: VerificationKey KesKey
+  :: HasCallStack
+  => VerificationKey KesKey
   -> Either
        AnyStakePoolSigningKey
        (SigningKey GenesisDelegateExtendedKey)

cardano-api/src/Cardano/Api/Experimental/Tx.hs

@@ -261,7 +261,8 @@ hashTxBody
 hashTxBody = L.extractHash . L.hashAnnotated
 
 makeKeyWitness
-  :: Era era
+  :: HasCallStack
+  => Era era
   -> UnsignedTx (LedgerEra era)
   -> ShelleyWitnessSigningKey
   -> L.WitVKey L.Witness

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

@@ -143,6 +143,7 @@ import Data.Sequence.Strict qualified as Seq
 import Data.Set (Set)
 import Data.Set qualified as Set
 import GHC.Exts (IsList (..))
+import GHC.Stack (HasCallStack)
 import Lens.Micro
 
 makeUnsignedTx
@@ -373,7 +374,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/Experimental/Tx/Internal/Fee.hs

@@ -745,7 +745,8 @@ instance Error FeeCalculationError where
 -- In practice convergence occurs within 2–3 iterations.
 calcMinFeeRecursive
   :: forall era
-   . IsEra era
+   . HasCallStack
+  => IsEra era
   => L.Addr
   -- ^ Change address. Any surplus value (ADA and/or native tokens) is
   -- sent to a new output at this address, appended at the end of the

cardano-api/src/Cardano/Api/Genesis/Internal/Parameters.hs

@@ -25,6 +25,7 @@ import Cardano.Slotting.Slot (EpochSize (..))
 
 import Data.Time (NominalDiffTime, UTCTime)
 import Data.Word (Word64)
+import GHC.Stack (HasCallStack)
 
 -- ----------------------------------------------------------------------------
 -- Genesis parameters
@@ -74,7 +75,7 @@ data GenesisParameters era
 -- Conversion functions
 --
 
-fromShelleyGenesis :: Shelley.ShelleyGenesis -> GenesisParameters ShelleyEra
+fromShelleyGenesis :: HasCallStack => Shelley.ShelleyGenesis -> GenesisParameters ShelleyEra
 fromShelleyGenesis
   sg@Shelley.ShelleyGenesis
     { Shelley.sgSystemStart

cardano-api/src/Cardano/Api/Query/Internal/Type/QueryInMode.hs

@@ -545,6 +545,7 @@ fromShelleyRewardAccounts =
 toConsensusQuery
   :: forall block result
    . ()
+  => HasCallStack
   => Consensus.CardanoBlock StandardCrypto ~ block
   => QueryInMode result
   -> Some (Consensus.Query block)

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/Tx/Internal/Convenience.hs

@@ -34,13 +34,15 @@ import Data.Map.Strict qualified as Map
 import Data.Set (Set)
 import Data.Text qualified as Text
 import GHC.Exts (IsList (..))
+import GHC.Stack (HasCallStack)
 
 -- | Construct a balanced transaction.
 -- See Cardano.Api.Query.Internal.Convenience.queryStateForBalancedTx for a
 -- convenient way of querying the node to get the required arguements
 -- for constructBalancedTx.
 constructBalancedTx
   :: ()
+  => HasCallStack
   => ShelleyBasedEra era
   -> TxBodyContent BuildTx era
   -> AddressInEra era

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

@@ -124,7 +124,8 @@ instance Error (AutoBalanceError era) where
     AutoBalanceCalculationError e -> prettyError e
 
 estimateOrCalculateBalancedTxBody
-  :: ShelleyBasedEra era
+  :: HasCallStack
+  => ShelleyBasedEra era
   -> FeeEstimationMode era
   -> L.PParams (ShelleyLedgerEra era)
   -> TxBodyContent BuildTx era

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

@@ -1088,6 +1088,7 @@ data WitnessNetworkIdOrByronAddress
 makeShelleyBootstrapWitness
   :: forall era
    . ()
+  => HasCallStack
   => ShelleyBasedEra era
   -> WitnessNetworkIdOrByronAddress
   -> TxBody era
@@ -1100,6 +1101,7 @@ makeShelleyBootstrapWitness sbe nwOrAddr txBody sk =
 makeShelleyBasedBootstrapWitness
   :: forall era
    . ()
+  => HasCallStack
   => ShelleyBasedEra era
   -> WitnessNetworkIdOrByronAddress
   -> Ledger.TxBody Ledger.TopTx (ShelleyLedgerEra era)
@@ -1183,6 +1185,7 @@ makeShelleyBasedBootstrapWitness sbe nwOrAddr txbody (ByronSigningKey sk) =
 makeShelleyKeyWitness
   :: forall era
    . ()
+  => HasCallStack
   => ShelleyBasedEra era
   -> TxBody era
   -> ShelleyWitnessSigningKey
@@ -1193,6 +1196,7 @@ makeShelleyKeyWitness sbe (ShelleyTxBody _ txBody _ _ _ _) =
 makeShelleyKeyWitness'
   :: forall era
    . ()
+  => HasCallStack
   => ShelleyBasedEra era
   -> L.TxBody L.TopTx (ShelleyLedgerEra era)
   -> ShelleyWitnessSigningKey
@@ -1231,7 +1235,8 @@ toShelleySigningKey key = case key of
   WitnessDRepExtendedKey (DRepExtendedSigningKey sk) -> ShelleyExtendedSigningKey sk
 
 getShelleyKeyWitnessVerificationKey
-  :: ShelleySigningKey
+  :: HasCallStack
+  => ShelleySigningKey
   -> Shelley.VKey Shelley.Witness
 getShelleyKeyWitnessVerificationKey (ShelleyNormalSigningKey sk) =
   ( Shelley.asWitness