Merge pull request #785 from IntersectMBO/smelc/future-proof-txbody-c…

…ontent-extensions Future proof against extensions of TxBodyContent
IntersectMBO · Jun 13, 2024 · d39b778 · d39b778
2 parents c68f3ab + 09856b9
commit d39b778
Showing 1 changed file with 25 additions and 21 deletions.
diff --git a/cardano-cli/src/Cardano/CLI/Json/Friendly.hs b/cardano-cli/src/Cardano/CLI/Json/Friendly.hs
@@ -166,27 +166,31 @@ friendlyTxBodyImpl :: MonadWarning m
   -> m [Aeson.Pair]
 friendlyTxBodyImpl
   era
-  tb@(TxBody
-    TxBodyContent
-      { txAuxScripts
-      , txCertificates
-      , txExtraKeyWits
-      , txFee
-      , txIns
-      , txInsCollateral
-      , txMetadata
-      , txMintValue
-      , txOuts
-      , txTotalCollateral
-      , txReturnCollateral
-      , txInsReference
-      , txProposalProcedures
-      , txVotingProcedures
-      , txUpdateProposal
-      , txValidityLowerBound
-      , txValidityUpperBound
-      , txWithdrawals
-      }) =
+  tb@(TxBody 
+       -- Enumerating the fields, so that we are warned by GHC when we add a new one
+       (TxBodyContent
+         txIns
+         txInsCollateral
+         txInsReference
+         txOuts
+         txTotalCollateral
+         txReturnCollateral
+         txFee
+         txValidityLowerBound
+         txValidityUpperBound
+         txMetadata
+         txAuxScripts
+         txExtraKeyWits
+         _txProtocolParams
+         txWithdrawals
+         txCertificates
+         txUpdateProposal
+         txMintValue
+         _txScriptValidity
+         txProposalProcedures
+         txVotingProcedures
+         _txCurrentTreasuryValue
+         _txTreasuryDonation)) =
   do redeemerDetails <- redeemerIfShelleyBased era tb
      return $ cardanoEraConstraints era
                 ( redeemerDetails ++