Make it build with ghc-9.12

Needed to update the `cardano-node` dependency from `10.1.3` to
`10.3` and use all the Cardano dependencies specified by `node`.

Author: erikd

cabal.project

@@ -10,8 +10,8 @@ repository cardano-haskell-packages
     d4a35cd3121aa00d18544bb0ac01c3e1691d618f462c46129271bccf39f7e8ee
 
 index-state:
-  , hackage.haskell.org 2024-10-10T00:52:24Z
-  , cardano-haskell-packages 2024-11-26T16:00:26Z
+  , hackage.haskell.org 2025-04-15T19:49:23Z
+  , cardano-haskell-packages 2025-04-16T02:18:31Z
 
 packages:
   cardano-db
@@ -67,34 +67,51 @@ package snap-server
   -- only if the `cardano-node` is compiled with `+rtview`.
   flags: -openssl
 
-allow-newer:
-  , swagger2:aeson
-  -- The version of ouroboros-consensus specified by cardano-node uses an earlier version of
-  -- quickcheck-state-machine that does not compile with ghc-9.10 so we allow a never version
-  -- that builds with ghc-9.10 (and earlier).
-  , ouroboros-consensus:quickcheck-state-machine
+package cardano-ledger-shelley
+  flags: -XAllowAmbiguousTypes
+
+-- ---------------------------------------------------------
 
 constraints:
-  -- STM 2.5.2 is broken: https://github.com/haskell/stm/issues/76
-  , stm >= 2.5.3.1
-  -- Earlier versions do not compile with ghc-9.10.
-  , quickcheck-state-machine ^>= 0.10
+  -- esqueleto >= 3.6 has API chamges
+  , esqueleto ^>= 3.5.11.2
 
--- ---------------------------------------------------------
+  -- New version of `text` exposes a `show` function and in the `node`
+  -- code,`Data.Text` is being imported unqualified (bad idea IMO) which
+  -- then clashes with the `show` in `Prelude`.
+  , text < 2.1.2
+
+  , cardano-node ^>= 10.3
+
+if impl (ghc >= 9.12)
+  allow-newer:
+    -- https://github.com/phadej/vec/issues/118
+    , bin:base
+    , fin:base
+    , ral:base
+
+    -- https://github.com/haskellari/tree-diff/issues/97
+    , tree-diff:base
+
+    -- https://github.com/kapralVV/Unique/issues/11
+    , Unique:hashable
+
+    -- https://github.com/Gabriella439/Haskell-Pipes-Safe-Library/pull/70
+    , pipes-safe:base
+
+    -- https://github.com/phadej/insert-ordered-containers/issues/65
+    , insert-ordered-containers:base
+    , insert-ordered-containers:hashable
+
+	-- https://github.com/GetShopTV/swagger2/issues/256
+    , swagger2:base
+    , swagger2:template-haskell
+
+    -- https://github.com/haskellari/postgresql-simple/issues/152
+    , postgresql-simple:base
+    , postgresql-simple:template-haskell
 
 -- The two following one-liners will cut off / restore the remainder of this file (for nix-shell users):
 -- when using the "cabal" wrapper script provided by nix-shell.
 -- --------------------------- 8< --------------------------
 -- Please do not put any `source-repository-package` clause above this line.
-
-source-repository-package
-  type: git
-  location: https://github.com/IntersectMBO/cardano-node
-  tag: 36871ba0cd3e86a5dbcfd6878cdb7168bb4e56a1
-  --sha256: sha256-v0q8qHdI6LKc8mP43QZt3UGdTNDQXE0aF6QapvZsTvU=
-  subdir:
-    cardano-node
-    cardano-submit-api
-    trace-dispatcher
-    trace-forward
-    trace-resources

cardano-db-sync/cardano-db-sync.cabal

@@ -164,7 +164,7 @@ library
                       , cardano-ledger-binary
                       , cardano-ledger-byron
                       , cardano-ledger-core
-                      , cardano-ledger-conway ^>= 1.17.3
+                      , cardano-ledger-conway >= 1.17.3
                       , cardano-ledger-binary
                       , cardano-ledger-mary
                       , cardano-ledger-shelley >= 1.12.3.0
@@ -222,7 +222,6 @@ library
                       , time
                       , transformers
                       , transformers-except
-                      , typed-protocols
                       , unix
                       , vector
                       , wide-word

cardano-db-sync/src/Cardano/DbSync/Cache/Types.hs

@@ -48,7 +48,6 @@ import Control.Concurrent.Class.MonadSTM.Strict (
 import qualified Data.Map.Strict as Map
 import Data.Time.Clock (UTCTime)
 import Data.WideWord.Word128 (Word128)
-import Ouroboros.Consensus.Cardano.Block (StandardCrypto)
 
 type StakePoolCache = Map PoolKeyHash DB.PoolHashId
 
@@ -79,12 +78,12 @@ data CacheInternal = CacheInternal
   , cStake :: !(StrictTVar IO StakeCache)
   , cPools :: !(StrictTVar IO StakePoolCache)
   , cDatum :: !(StrictTVar IO (LRUCache DataHash DB.DatumId))
-  , cMultiAssets :: !(StrictTVar IO (LRUCache (PolicyID StandardCrypto, AssetName) DB.MultiAssetId))
+  , cMultiAssets :: !(StrictTVar IO (LRUCache (PolicyID, AssetName) DB.MultiAssetId))
   , cPrevBlock :: !(StrictTVar IO (Maybe (DB.BlockId, ByteString)))
   , cStats :: !(StrictTVar IO CacheStatistics)
   , cEpoch :: !(StrictTVar IO CacheEpoch)
   , cAddress :: !(StrictTVar IO (LRUCache ByteString V.AddressId))
-  , cTxIds :: !(StrictTVar IO (FIFOCache (Ledger.TxId StandardCrypto) DB.TxId))
+  , cTxIds :: !(StrictTVar IO (FIFOCache Ledger.TxId DB.TxId))
   }
 
 data CacheStatistics = CacheStatistics

cardano-db-sync/src/Cardano/DbSync/Config/Cardano.hs

@@ -38,7 +38,6 @@ import Ouroboros.Consensus.Config (TopLevelConfig (..), emptyCheckpointsMap)
 import Ouroboros.Consensus.Ledger.Basics (LedgerConfig)
 import Ouroboros.Consensus.Node.ProtocolInfo (ProtocolInfo)
 import qualified Ouroboros.Consensus.Node.ProtocolInfo as Consensus
-import Ouroboros.Consensus.Shelley.Eras (StandardCrypto)
 import Ouroboros.Consensus.Shelley.Node (ShelleyGenesis (..))
 
 -- Usually only one constructor, but may have two when we are preparing for a HFC event.
@@ -48,14 +47,14 @@ data GenesisConfig
       !Byron.Config
       !ShelleyConfig
       !AlonzoGenesis
-      !(ConwayGenesis StandardCrypto)
+      !ConwayGenesis
 
 genesisProtocolMagicId :: GenesisConfig -> ProtocolMagicId
 genesisProtocolMagicId ge =
   case ge of
     GenesisCardano _cfg _bCfg sCfg _aCfg _cCfg -> shelleyProtocolMagicId (scConfig sCfg)
   where
-    shelleyProtocolMagicId :: ShelleyGenesis StandardCrypto -> ProtocolMagicId
+    shelleyProtocolMagicId :: ShelleyGenesis -> ProtocolMagicId
     shelleyProtocolMagicId sCfg = ProtocolMagicId (sgNetworkMagic sCfg)
 
 readCardanoGenesisConfig ::
@@ -86,7 +85,7 @@ mkTopLevelConfig cfg = Consensus.pInfoConfig $ fst $ mkProtocolInfoCardano cfg [
 -- mkProtocolCardano :: GenesisConfig -> Protocol m CardanoBlock CardanoProtocol
 mkProtocolInfoCardano ::
   GenesisConfig ->
-  [Consensus.ShelleyLeaderCredentials StandardCrypto] -> -- this is not empty only in tests
+  [Consensus.ShelleyLeaderCredentials c] -> -- this is not empty only in tests
   (ProtocolInfo CardanoBlock, IO [BlockForging IO CardanoBlock])
 mkProtocolInfoCardano genesisConfig shelleyCred =
   protocolInfoCardano $

cardano-db-sync/src/Cardano/DbSync/Config/Conway.hs

@@ -15,7 +15,6 @@ import Cardano.Ledger.BaseTypes (EpochInterval (..))
 import Cardano.Ledger.Coin (Coin (..))
 import Cardano.Ledger.Conway.Genesis (ConwayGenesis (..))
 import Cardano.Ledger.Conway.PParams (UpgradeConwayPParams (..))
-import Cardano.Ledger.Crypto (StandardCrypto ())
 import Cardano.Ledger.Plutus.CostModels (mkCostModel)
 import Cardano.Ledger.Plutus.Language (Language (..))
 import Cardano.Prelude
@@ -37,7 +36,7 @@ data ConwayGenesisError
 
 readConwayGenesisConfig ::
   SyncNodeConfig ->
-  ExceptIO SyncNodeError (ConwayGenesis StandardCrypto)
+  ExceptIO SyncNodeError ConwayGenesis
 readConwayGenesisConfig SyncNodeConfig {..} =
   case dncConwayGenesisFile of
     Just file -> readConwayGenesisConfig' file dncConwayGenesisHash
@@ -66,7 +65,7 @@ readConwayGenesisConfig SyncNodeConfig {..} =
 readGenesis ::
   GenesisFile ->
   Maybe GenesisHashConway ->
-  ExceptIO ConwayGenesisError (ConwayGenesis StandardCrypto)
+  ExceptIO ConwayGenesisError ConwayGenesis
 readGenesis (GenesisFile file) expectedHash = do
   content <- readFile' file
   checkExpectedGenesisHash expectedHash content
@@ -78,7 +77,7 @@ readFile' file =
     (GenesisReadError file . show)
     (ByteString.readFile file)
 
-decodeGenesis :: (Text -> ConwayGenesisError) -> ByteString -> ExceptIO ConwayGenesisError (ConwayGenesis StandardCrypto)
+decodeGenesis :: (Text -> ConwayGenesisError) -> ByteString -> ExceptIO ConwayGenesisError ConwayGenesis
 decodeGenesis f =
   firstExceptT (f . Text.pack)
     . hoistEither

cardano-db-sync/src/Cardano/DbSync/Config/Shelley.hs

@@ -21,15 +21,14 @@ import qualified Data.ByteString.Char8 as BS
 import Data.Text (Text)
 import qualified Data.Text as Text
 import qualified Data.Text.Encoding as Text
-import Ouroboros.Consensus.Shelley.Eras (StandardCrypto)
 import Ouroboros.Consensus.Shelley.Ledger.Block ()
 import Ouroboros.Consensus.Shelley.Node (ShelleyGenesis (..))
 
 -- Everything in this file should be in ouroboros-consensus so that both 'node' and 'db-=sync'
 -- can use it.
 
 data ShelleyConfig = ShelleyConfig
-  { scConfig :: !(ShelleyGenesis StandardCrypto)
+  { scConfig :: !ShelleyGenesis
   , scGenesisHash :: !GenesisHashShelley
   }
 

cardano-db-sync/src/Cardano/DbSync/Config/Types.hs

@@ -70,6 +70,7 @@ import qualified Cardano.Chain.Update as Byron
 import Cardano.Crypto (RequiresNetworkMagic (..))
 import qualified Cardano.Crypto.Hash as Crypto
 import Cardano.Db (MigrationDir, PGPassSource (..), TxOutTableType (..))
+import Cardano.Ledger.Conway (ConwayEra)
 import Cardano.Prelude
 import Cardano.Slotting.Slot (SlotNo (..))
 import Control.Monad (fail)
@@ -79,7 +80,11 @@ import Data.Aeson.Key (fromText)
 import Data.Aeson.Types (Pair, Parser, typeMismatch)
 import Data.ByteString.Short (ShortByteString (), fromShort, toShort)
 import Data.Default.Class (Default (..))
-import Ouroboros.Consensus.Cardano.CanHardFork (TriggerHardFork (..))
+import Ouroboros.Consensus.Cardano (CardanoHardForkTrigger)
+import Ouroboros.Consensus.Cardano.Block (AllegraEra, AlonzoEra, BabbageEra, MaryEra, ShelleyEra, StandardCrypto)
+import Ouroboros.Consensus.Protocol.Praos (Praos)
+import Ouroboros.Consensus.Protocol.TPraos (TPraos)
+import Ouroboros.Consensus.Shelley.Ledger.Block (ShelleyBlock)
 
 newtype LogFileDir = LogFileDir
   { unLogFileDir :: FilePath
@@ -135,12 +140,12 @@ data SyncNodeConfig = SyncNodeConfig
   , dncConwayGenesisFile :: !(Maybe GenesisFile)
   , dncConwayGenesisHash :: !(Maybe GenesisHashConway)
   , dncByronProtocolVersion :: !Byron.ProtocolVersion
-  , dncShelleyHardFork :: !TriggerHardFork
-  , dncAllegraHardFork :: !TriggerHardFork
-  , dncMaryHardFork :: !TriggerHardFork
-  , dncAlonzoHardFork :: !TriggerHardFork
-  , dncBabbageHardFork :: !TriggerHardFork
-  , dncConwayHardFork :: !TriggerHardFork
+  , dncShelleyHardFork :: !(CardanoHardForkTrigger (ShelleyBlock (Praos StandardCrypto) ShelleyEra))
+  , dncAllegraHardFork :: !(CardanoHardForkTrigger (ShelleyBlock (Praos StandardCrypto) AllegraEra))
+  , dncMaryHardFork :: !(CardanoHardForkTrigger (ShelleyBlock (TPraos StandardCrypto) MaryEra))
+  , dncAlonzoHardFork :: !(CardanoHardForkTrigger (ShelleyBlock (TPraos StandardCrypto) AlonzoEra))
+  , dncBabbageHardFork :: !(CardanoHardForkTrigger (ShelleyBlock (Praos StandardCrypto) BabbageEra))
+  , dncConwayHardFork :: !(CardanoHardForkTrigger (ShelleyBlock (Praos StandardCrypto) ConwayEra))
   , dncInsertOptions :: !SyncInsertOptions
   , dncIpfsGateway :: [Text]
   }

cardano-db-sync/src/Cardano/DbSync/Era/Shelley/Generic/Metadata.hs

@@ -35,7 +35,7 @@ import qualified Data.Text.Encoding as Text
 import qualified Data.Text.Lazy as Text.Lazy
 import Data.Tuple.Extra (both)
 import qualified Data.Vector as Vector
-import Ouroboros.Consensus.Cardano.Block (StandardAllegra, StandardMary, StandardShelley)
+import Ouroboros.Consensus.Cardano.Block (AllegraEra, MaryEra, ShelleyEra)
 
 data TxMetadataValue
   = TxMetaMap ![(TxMetadataValue, TxMetadataValue)]
@@ -45,19 +45,19 @@ data TxMetadataValue
   | TxMetaText !Text
   deriving (Eq, Ord, Show)
 
-fromAllegraMetadata :: Allegra.AllegraTxAuxData StandardAllegra -> Map Word64 TxMetadataValue
+fromAllegraMetadata :: Allegra.AllegraTxAuxData AllegraEra -> Map Word64 TxMetadataValue
 fromAllegraMetadata (Allegra.AllegraTxAuxData mdMap _scripts) =
   Map.map fromMetadatum mdMap
 
 fromAlonzoMetadata :: AlonzoEraScript era => Alonzo.AlonzoTxAuxData era -> Map Word64 TxMetadataValue
 fromAlonzoMetadata aux =
   Map.map fromMetadatum $ Alonzo.atadMetadata aux
 
-fromShelleyMetadata :: Shelley.ShelleyTxAuxData StandardShelley -> Map Word64 TxMetadataValue
+fromShelleyMetadata :: Shelley.ShelleyTxAuxData ShelleyEra -> Map Word64 TxMetadataValue
 fromShelleyMetadata (Shelley.ShelleyTxAuxData mdMap) =
   Map.map fromMetadatum mdMap
 
-fromMaryMetadata :: Allegra.AllegraTxAuxData StandardMary -> Map Word64 TxMetadataValue
+fromMaryMetadata :: Allegra.AllegraTxAuxData MaryEra -> Map Word64 TxMetadataValue
 fromMaryMetadata (Allegra.AllegraTxAuxData mdMap _scripts) =
   Map.map fromMetadatum mdMap
 

cardano-db-sync/src/Cardano/DbSync/Era/Shelley/Generic/Script.hs

@@ -17,10 +17,8 @@ module Cardano.DbSync.Era.Shelley.Generic.Script (
 
 import Cardano.Crypto.Hash.Class
 import qualified Cardano.Ledger.Allegra.Scripts as Allegra
-import Cardano.Ledger.Core (EraCrypto ())
+import Cardano.Ledger.Core (Era (..))
 import qualified Cardano.Ledger.Core as Core
-import Cardano.Ledger.Crypto
-import Cardano.Ledger.Era (Era ())
 import Cardano.Ledger.Keys (KeyHash (..), KeyRole (..), coerceKeyRole)
 import qualified Cardano.Ledger.Shelley.API.Types as Shelley
 import qualified Cardano.Ledger.Shelley.Scripts as Shelley
@@ -78,7 +76,7 @@ instance (Era era, Shelley.ShelleyEraScript era, Core.NativeScript era ~ Shelley
         requireSignatureToJSON sig
       multiSigToJSON _ = Aeson.Null -- This can never happen
 
-instance (Era era, Shelley.ShelleyEraScript era, Core.NativeScript era ~ Shelley.MultiSig era, EraCrypto era ~ StandardCrypto) => FromJSON (MultiSigScript era) where
+instance (Era era, Shelley.ShelleyEraScript era, Core.NativeScript era ~ Shelley.MultiSig era) => FromJSON (MultiSigScript era) where
   parseJSON v = MultiSigScript <$> parseMultiSig v
 
 instance (Era era, Allegra.AllegraEraScript era, Core.NativeScript era ~ Allegra.Timelock era) => ToJSON (TimelockScript era) where
@@ -94,10 +92,10 @@ instance (Era era, Allegra.AllegraEraScript era, Core.NativeScript era ~ Allegra
       timelockToJSON (Allegra.RequireTimeStart slot) = requireTimeStartToJSON slot
       timelockToJSON (Allegra.RequireTimeExpire slot) = requireTimeExpireToJSON slot
 
-instance (Era era, Allegra.AllegraEraScript era, EraCrypto era ~ StandardCrypto, Core.NativeScript era ~ Allegra.Timelock era) => FromJSON (TimelockScript era) where
+instance (Era era, Allegra.AllegraEraScript era, Core.NativeScript era ~ Allegra.Timelock era) => FromJSON (TimelockScript era) where
   parseJSON v = TimelockScript <$> parseTimelock v
 
-requireSignatureToJSON :: KeyHash discr c -> Aeson.Value
+requireSignatureToJSON :: KeyHash discr -> Aeson.Value
 requireSignatureToJSON (KeyHash sig) =
   Aeson.object
     [ "type" .= Aeson.String "sig"
@@ -141,7 +139,7 @@ requireTimeStartToJSON slot =
     ]
 
 parseMultiSig ::
-  (Shelley.ShelleyEraScript era, Core.NativeScript era ~ Shelley.MultiSig era, EraCrypto era ~ StandardCrypto) =>
+  (Shelley.ShelleyEraScript era, Core.NativeScript era ~ Shelley.MultiSig era) =>
   Aeson.Value ->
   Parser (Shelley.MultiSig era)
 parseMultiSig v =
@@ -156,7 +154,7 @@ parseMultiSig v =
     parseScriptMOf' = second (fromList . map unMultiSigScript) <$> parseScriptMOf v
 
 parseTimelock ::
-  (Allegra.AllegraEraScript era, Core.NativeScript era ~ Allegra.Timelock era, EraCrypto era ~ StandardCrypto) =>
+  (Allegra.AllegraEraScript era, Core.NativeScript era ~ Allegra.Timelock era) =>
   Aeson.Value ->
   Parser (Allegra.Timelock era)
 parseTimelock v =
@@ -174,7 +172,7 @@ parseTimelock v =
 
 parseScriptSig ::
   Aeson.Value ->
-  Parser (KeyHash 'Payment StandardCrypto)
+  Parser (KeyHash 'Payment)
 parseScriptSig = Aeson.withObject "sig" $ \obj -> do
   v <- obj .: "type"
   case (v :: Text) of
@@ -185,7 +183,7 @@ parseScriptSig = Aeson.withObject "sig" $ \obj -> do
 
 parseKeyHash ::
   Text ->
-  Parser (KeyHash 'Payment StandardCrypto)
+  Parser (KeyHash 'Payment)
 parseKeyHash v = do
   let maybeHash = hashFromBytesAsHex $ encodeUtf8 v
       maybeKeyHash = KeyHash <$> maybeHash

cardano-db-sync/src/Cardano/DbSync/Era/Shelley/Generic/ScriptData.hs

@@ -8,9 +8,10 @@ module Cardano.DbSync.Era.Shelley.Generic.ScriptData (
   ScriptData (..),
 ) where
 
+
 import Cardano.Ledger.Binary (Annotator (..), DecCBOR (..), ToCBOR (..), fromPlainDecoder)
 import Cardano.Ledger.Binary.Encoding (EncCBOR (..))
-import Cardano.Ledger.Era (Era (..))
+import Cardano.Ledger.Core (Era (..))
 import Cardano.Ledger.Plutus.Data (Data (..), getPlutusData)
 import Cardano.Prelude hiding (show)
 import Codec.Serialise (Serialise (..))