Improve debugging of ScriptErrorMissingScript

Author: Jimbo4350

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

@@ -1013,6 +1013,11 @@ indexWitnessedTxProposalProcedures (TxProposalProcedures proposals) = do
     | (ix, (proposal, anyWitness)) <- allProposalsList
     ]
 
+toUnsigned :: forall era. Era era -> L.Tx (LedgerEra era) -> UnsignedTx era
+toUnsigned e tx =
+  obtainCommonConstraints e $
+    UnsignedTx tx
+
 -- | Compute the 'ExecutionUnits' required for each script in the transaction.
 --
 -- This process involves executing all scripts and counting the actual execution units
@@ -1072,10 +1077,13 @@ evaluateTransactionExecutionUnits systemstart epochInfo pp utxo tx =
       -- the redeemer pointer will always point to a Plutus script.
       L.MissingScript indexOfScriptWitnessedItem resolveable ->
         let scriptWitnessedItemIndex = obtainCommonConstraints (useEra @era) $ toScriptIndex (convert useEra) indexOfScriptWitnessedItem
-         in ScriptErrorMissingScript scriptWitnessedItemIndex $
-              obtainCommonConstraints (useEra @era) $
-                ResolvablePointers (convert useEra) $
-                  Map.map extractScriptBytesAndLanguage resolveable
+            unsigned = toUnsigned (useEra @era) tx
+         in ScriptErrorMissingScript
+              unsigned
+              scriptWitnessedItemIndex
+              $ obtainCommonConstraints (useEra @era)
+              $ ResolvablePointers (convert useEra)
+              $ Map.map extractScriptBytesAndLanguage resolveable
       L.NoCostModelInLedgerState l -> ScriptErrorMissingCostModel l
       L.ContextError e ->
         obtainCommonConstraints (useEra @era) $ ScriptErrorTranslationError e

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

@@ -68,6 +68,7 @@ import Cardano.Api.Era.Internal.Eon.ShelleyBasedEra
 import Cardano.Api.Era.Internal.Feature
 import Cardano.Api.Error
 import Cardano.Api.Experimental.Tx.Internal.Certificate qualified as Exp
+import Cardano.Api.Experimental.Tx.Internal.Type (UnsignedTx)
 import Cardano.Api.Ledger.Internal.Reexport qualified as L
 import Cardano.Api.Plutus
 import Cardano.Api.Pretty
@@ -579,7 +580,8 @@ data ScriptExecutionError
     -- in the transaction nor in the UTxO as a reference script"
     ScriptErrorRedeemerPointsToUnknownScriptHash ScriptWitnessIndex
   | -- | A redeemer pointer points to a script that does not exist.
-    ScriptErrorMissingScript
+    forall era. ScriptErrorMissingScript
+      (UnsignedTx era)
       ScriptWitnessIndex -- The invalid pointer
       ResolvablePointers -- A mapping a pointers that are possible to resolve
   | -- | A cost model was missing for a language which was used.
@@ -627,11 +629,12 @@ instance Error ScriptExecutionError where
         [ pretty (renderScriptWitnessIndex scriptWitness)
         , " points to a script hash that is not known."
         ]
-    ScriptErrorMissingScript rdmrPtr resolveable ->
+    ScriptErrorMissingScript tx rdmrPtr resolveable ->
       mconcat
         [ "The redeemer pointer: " <> pshow rdmrPtr <> " points to a Plutus "
         , "script that does not exist.\n"
         , "The pointers that can be resolved are: " <> pshow resolveable
+        , "Tx: " <> pshow tx
         ]
     ScriptErrorMissingCostModel language ->
       "No cost model was found for language " <> pshow language
@@ -772,7 +775,7 @@ evaluateTransactionExecutionUnitsShelley sbe systemstart epochInfo (LedgerProtoc
       -- the redeemer pointer will always point to a Plutus script.
       L.MissingScript indexOfScriptWitnessedItem resolveable ->
         let scriptWitnessedItemIndex = toScriptIndex aOnwards indexOfScriptWitnessedItem
-         in ScriptErrorMissingScript scriptWitnessedItemIndex $
+         in ScriptErrorMissingScript (error "ignore") scriptWitnessedItemIndex $
               ResolvablePointers sbe $
                 Map.map extractScriptBytesAndLanguage resolveable
       L.NoCostModelInLedgerState l -> ScriptErrorMissingCostModel l

cardano-api/test/cardano-api-golden/Test/Golden/ErrorsSpec.hs

@@ -307,6 +307,7 @@ test_ScriptExecutionError =
     ,
       ( "ScriptErrorMissingScript"
       , ScriptErrorMissingScript
+          (error "ignore")
           (ScriptWitnessIndexMint 0)
           (ResolvablePointers ShelleyBasedEraBabbage Map.empty) -- TODO CIP-1694 make work in all eras
       )