[ADP-3452] Bump cardano-node dependency to 9.2.0

.gitignore

@@ -92,3 +92,4 @@ package.json
 # buildkite artifacts testing
 artifacts
 deposit-*
+cabal.project.freeze

cabal.project

@@ -50,11 +50,11 @@ repository cardano-haskell-packages
     d4a35cd3121aa00d18544bb0ac01c3e1691d618f462c46129271bccf39f7e8ee
 
 -- repeating the index-state for hackage to work around hackage.nix parsing limitation
-index-state: 2024-08-08T00:00:00Z
+index-state: 2024-09-23T00:00:00Z
 
 index-state:
-  , hackage.haskell.org 2024-08-08T00:00:00Z
-  , cardano-haskell-packages 2024-09-01T03:50:08Z
+  , hackage.haskell.org 2024-09-23T00:00:00Z
+  , cardano-haskell-packages 2024-09-20T19:39:13Z
 
 packages:
   lib/address-derivation-discovery
@@ -187,9 +187,7 @@ constraints:
   , io-classes >= 1.4
   , io-classes -asserts
 
-  , ouroboros-consensus-cardano ^>= 0.18
-  , ouroboros-network ^>= 0.16.1
-  , ouroboros-network-protocols ^>= 0.9
+  , ouroboros-network ^>= 0.17
 
 
 -- Related to: https://github.com/haskell/cabal/issues/8554

flake.nix

@@ -142,7 +142,7 @@
       flake = false;
     };
     customConfig.url = "github:input-output-hk/empty-flake";
-    cardano-node-runtime.url = "github:IntersectMBO/cardano-node?ref=9.1.1";
+    cardano-node-runtime.url = "github:IntersectMBO/cardano-node?ref=9.2.0";
   };
 
   outputs = { self, nixpkgs, nixpkgs-unstable, hostNixpkgs, flake-utils,

lib/cardano-api-extra/lib/Cardano/Api/Gen.hs

@@ -225,7 +225,7 @@ import Cardano.Api
     , Witness (..)
     , byronAddressInEra
     , collectTxBodyScriptWitnesses
-    , createAndValidateTransactionBody
+    , createTransactionBody
     , forEraMaybeEon
     , hashScript
     , languageOfScriptLanguageInEra
@@ -245,7 +245,6 @@ import Cardano.Api
     , scriptLanguageSupportedInEra
     , shelleyAddressInEra
     , validateAndHashStakePoolMetadata
-    , valueFromList
     )
 import Cardano.Api.Byron
     ( KeyWitness (ByronKeyWitness)
@@ -340,6 +339,9 @@ import Data.Word
     , Word32
     , Word64
     )
+import GHC.IsList
+    ( fromList
+    )
 import Network.Socket
     ( PortNumber
     )
@@ -760,7 +762,7 @@ genValueForTxOut = do
             ]
     assetQuantities <- infiniteListOf genUnsignedQuantity
     ada <- fromIntegral <$> genCoinForTxOutAdaValue
-    return $ valueFromList $ (AdaAssetId, ada) : zip assetIds assetQuantities
+    return $ fromList $ (AdaAssetId, ada) : zip assetIds assetQuantities
 
 -- | Generate a 'Value' which could represent the balance of a partial
 -- transaction, where both ada and other assets can be included, and quantities
@@ -779,13 +781,13 @@ genSignedValue = do
                 [ genCoin
                 , negate <$> genCoin
                 ]
-    return $ valueFromList $ (AdaAssetId, ada) : zip assetIds assetQuantities
+    return $ fromList $ (AdaAssetId, ada) : zip assetIds assetQuantities
 
 -- | Generate a 'Value' suitable for minting, i.e. non-ADA asset ID and a
 -- positive or negative quantity.
 genValueForMinting :: Gen Value
 genValueForMinting =
-    valueFromList <$> listOf ((,) <$> genAssetIdNoAda <*> genSignedQuantity)
+    fromList <$> listOf ((,) <$> genAssetIdNoAda <*> genSignedQuantity)
 
 genTxMintValue :: forall era. CardanoEra era -> Gen (TxMintValue BuildTx era)
 genTxMintValue era = withEraWitness era $ \supported ->
@@ -1852,7 +1854,7 @@ genTxBodyContent era = withEraWitness era $ \sbe -> do
 
 genTxBody :: CardanoEra era -> Gen (TxBody era)
 genTxBody era = withEraWitness era $ \se -> do
-    res <- createAndValidateTransactionBody se <$> genTxBodyContent era
+    res <- createTransactionBody se <$> genTxBodyContent era
     case res of
         Left err -> error (displayError err)
         Right txBody -> pure txBody
@@ -1864,7 +1866,7 @@ displayError = show
 -- balancing.
 genTxBodyForBalancing :: CardanoEra era -> Gen (TxBody era)
 genTxBodyForBalancing era = withEraWitness era $ \se -> do
-    res <- createAndValidateTransactionBody se <$> genStrippedContent
+    res <- createTransactionBody se <$> genStrippedContent
     case res of
         Left err -> error (displayError err)
         Right txBody -> pure txBody

lib/primitive/lib/Cardano/Wallet/Primitive/Ledger/Read/Tx/Features/Outputs.hs

@@ -82,6 +82,9 @@ import qualified Cardano.Wallet.Primitive.Types.TokenBundle as TokenBundle
 import qualified Cardano.Wallet.Primitive.Types.TokenPolicyId as W
 import qualified Cardano.Wallet.Primitive.Types.TokenQuantity as W
 import qualified Cardano.Wallet.Primitive.Types.Tx.TxOut as W
+import qualified GHC.IsList as GHC
+    ( toList
+    )
 
 {-# INLINABLE getOutputs #-}
 getOutputs :: forall era . IsEra era => Outputs era -> [W.TxOut]
@@ -149,7 +152,7 @@ fromCardanoValue = uncurry TokenBundle.fromFlatList . extract
   where
     extract value =
         ( fromCardanoLovelace $ Cardano.selectLovelace value
-        , mkBundle $ Cardano.valueToList value
+        , mkBundle $ GHC.toList value
         )
 
     -- Do Integer to Natural conversion. Quantities from ledger TxOuts can

lib/primitive/lib/Cardano/Wallet/Primitive/Ledger/Shelley.hs

@@ -339,6 +339,7 @@ import qualified Data.ListMap as ListMap
 import qualified Data.Map.Strict as Map
 import qualified Data.Percentage as Percentage
 import qualified Data.Set as Set
+import qualified GHC.IsList as GHC
 import qualified Ouroboros.Consensus.Protocol.Praos as Consensus
 import qualified Ouroboros.Consensus.Protocol.Praos.Header as Consensus
 import qualified Ouroboros.Consensus.Protocol.TPraos as Consensus
@@ -935,7 +936,7 @@ toCardanoTxOut era refScriptM = case era of
             ]
 
 toCardanoValue :: TokenBundle.TokenBundle -> Cardano.Value
-toCardanoValue tb = Cardano.valueFromList $
+toCardanoValue tb = GHC.fromList $
     (Cardano.AdaAssetId, coinToQuantity coin) :
     map (bimap toCardanoAssetId toQuantity) bundle
   where