Merge pull request #1235 from IntersectMBO/jordan/fix-getLedgerTablesUTxOValues-use-getOriginalTxIn

getLedgerTablesUTxOValues: use getOriginalTxIn instead of coerceMapKeys

Author: Jimbo4350

.changes/20260615_getLedgerTablesUTxOValues_use_getOriginalTxIn.yml

@@ -0,0 +1,9 @@
+project: cardano-api
+
+pr: 1235
+
+kind:
+  - maintenance
+
+description: |
+  In getLedgerTablesUTxOValues, replace coerceMapKeys with Shelley.getOriginalTxIn for TxIn key conversion, removing the Wno-x-ord-preserving-coercions suppression pragma.

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

@@ -1,5 +1,4 @@
 {-# LANGUAGE BangPatterns #-}
-{-# LANGUAGE CPP #-}
 {-# LANGUAGE DataKinds #-}
 {-# LANGUAGE DerivingStrategies #-}
 {-# LANGUAGE FlexibleContexts #-}
@@ -12,10 +11,6 @@
 {-# LANGUAGE TypeApplications #-}
 {-# LANGUAGE TypeOperators #-}
 
-#if __GLASGOW_HASKELL__ >= 910
-{-# OPTIONS_GHC -Wno-x-ord-preserving-coercions #-}
-#endif
-
 module Cardano.Api.LedgerState
   ( -- * Initialization / Accumulation
     envSecurityParam
@@ -213,7 +208,6 @@ import Ouroboros.Consensus.Shelley.HFEras qualified as Shelley
 import Ouroboros.Consensus.Shelley.Ledger.Block qualified as Shelley
 import Ouroboros.Consensus.Shelley.Ledger.Ledger qualified as Shelley
 import Ouroboros.Consensus.TypeFamilyWrappers (WrapLedgerEvent (WrapLedgerEvent))
-import Ouroboros.Consensus.Util (coerceMapKeys)
 import Ouroboros.Network.Block (blockNo)
 import Ouroboros.Network.Block qualified
 import Ouroboros.Network.Protocol.ChainSync.Client qualified as CS
@@ -2295,7 +2289,7 @@ getLedgerTablesUTxOValues sbe tbs =
       -> Map TxIn (TxOut CtxUTxO era)
     ejectTables idx =
       let Consensus.LedgerTables (Ledger.ValuesMK values) = HFC.ejectLedgerTables idx tbs
-       in Map.mapKeys fromShelleyTxIn $ coerceMapKeys $ Map.map (fromShelleyTxOut sbe) values
+       in Map.mapKeys (fromShelleyTxIn . Shelley.getOriginalTxIn) $ Map.map (fromShelleyTxOut sbe) values
    in
     case sbe of
       ShelleyBasedEraShelley -> ejectTables (IS IZ)