From 09856b96fca6a6d1601210935634f3ef85add5a2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Cl=C3=A9ment=20Hurlin?= <clement.hurlin@moduscreate.com>
Date: Fri, 7 Jun 2024 14:59:30 +0200
Subject: [PATCH] Friendly: refactor to get compiler warnings on extensions to
 TxBodyContent

---
 cardano-cli/src/Cardano/CLI/Json/Friendly.hs | 46 +++++++++++---------
 1 file changed, 25 insertions(+), 21 deletions(-)

diff --git a/cardano-cli/src/Cardano/CLI/Json/Friendly.hs b/cardano-cli/src/Cardano/CLI/Json/Friendly.hs
index cea826c50..8a0f5b6f5 100644
--- 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 ++