Merge pull request #5879 from IntersectMBO/sl/cardano-node-8.12

Updated dependencies for the Node 8.12
IntersectMBO · Jun 20, 2024 · ae8bc93 · ae8bc93
2 parents 4314990 + d5529f2
commit ae8bc93
Show file tree

Hide file tree

Showing 65 changed files with 2,530 additions and 3,144 deletions.
diff --git a/.github/workflows/check-mainnet-config.yml b/.github/workflows/check-mainnet-config.yml
@@ -15,11 +15,10 @@ jobs:
     steps:
 
     - name: Install Nix
-      uses: cachix/install-nix-action@v18
+      uses: cachix/install-nix-action@v27
       with:
         # Use last stable nixos channel and the same nix as in channel:
-        install_url: https://releases.nixos.org/nix/nix-2.11.1/install
-        nix_path: nixpkgs=channel:nixos-22.11
+        nix_path: nixpkgs=channel:nixos-24.05
         github_access_token: ${{ secrets.GITHUB_TOKEN }}
         extra_nix_config: |
           access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}
@@ -41,7 +40,6 @@ jobs:
         test_files=(
           'mainnet-alonzo-genesis.json'
           'mainnet-byron-genesis.json'
-          'mainnet-conway-genesis.json'
           'mainnet-config.json'
           'mainnet-shelley-genesis.json'
           'mainnet-topology.json'

diff --git a/.github/workflows/check-nix-config.yml b/.github/workflows/check-nix-config.yml
diff --git a/.github/workflows/github-page.yml b/.github/workflows/github-page.yml
@@ -18,8 +18,7 @@ jobs:
       uses: cachix/install-nix-action@v18
       with:
         # Use last stable nixos channel and the same nix as in channel:
-        install_url: https://releases.nixos.org/nix/nix-2.11.1/install
-        nix_path: nixpkgs=channel:nixos-22.11
+        nix_path: nixpkgs=channel:nixos-24.05
         github_access_token: ${{ secrets.GITHUB_TOKEN }}
         extra_nix_config: |
           access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}

diff --git a/.github/workflows/update-hackage-and-chap.yml b/.github/workflows/update-hackage-and-chap.yml
@@ -13,8 +13,7 @@ jobs:
         uses: cachix/install-nix-action@v18
         with:
           # Use last stable nixos channel and the same nix as in channel:
-          install_url: https://releases.nixos.org/nix/nix-2.11.1/install
-          nix_path: nixpkgs=channel:nixos-22.11
+          nix_path: nixpkgs=channel:nixos-24.05
           github_access_token: ${{ secrets.GITHUB_TOKEN }}
           extra_nix_config: |
             access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}

diff --git a/bench/locli/locli.cabal b/bench/locli/locli.cabal
@@ -121,7 +121,7 @@ library
                       , optparse-generic
                       , ouroboros-consensus
                       -- for Data.SOP.Strict:
-                      , ouroboros-network ^>= 0.16
+                      , ouroboros-network ^>= 0.16.1
                       , ouroboros-network-api
                       , process
                       , quiet

diff --git a/bench/locli/src/Cardano/Analysis/API/Ground.hs b/bench/locli/src/Cardano/Analysis/API/Ground.hs
@@ -11,7 +11,7 @@ module Cardano.Analysis.API.Ground
 where
 
 import Prelude                          (show)
-import Cardano.Prelude                  hiding (head)
+import Cardano.Prelude                  hiding (head, toText)
 import Unsafe.Coerce                    qualified as Unsafe
 
 import Data.Aeson

diff --git a/bench/locli/src/Cardano/Analysis/MachPerf.hs b/bench/locli/src/Cardano/Analysis/MachPerf.hs
@@ -12,7 +12,7 @@
 
 module Cardano.Analysis.MachPerf (module Cardano.Analysis.MachPerf) where
 
-import Cardano.Prelude hiding (head)
+import Cardano.Prelude hiding (head, toText)
 import Cardano.Prelude qualified as CP
 
 import Data.List                        ((!!))

diff --git a/bench/locli/src/Cardano/Command.hs b/bench/locli/src/Cardano/Command.hs
@@ -2,7 +2,7 @@
 {-# OPTIONS_GHC -fmax-pmcheck-models=25000 #-}
 module Cardano.Command (module Cardano.Command) where
 
-import Cardano.Prelude          hiding (State)
+import Cardano.Prelude          hiding (State, toText)
 
 import Data.Aeson                       qualified as Aeson
 import Data.Aeson.Text                  qualified as Aeson

diff --git a/bench/locli/src/Cardano/Unlog/LogObject.hs b/bench/locli/src/Cardano/Unlog/LogObject.hs
@@ -30,7 +30,7 @@ module Cardano.Unlog.LogObject
   )
 where
 
-import           Cardano.Prelude hiding (Text, show)
+import           Cardano.Prelude hiding (Text, show, toText)
 import           GHC.Conc (numCapabilities)
 import           Prelude (id, show, unzip3)
 

diff --git a/bench/plutus-scripts-bench/plutus-scripts-bench.cabal b/bench/plutus-scripts-bench/plutus-scripts-bench.cabal
@@ -80,10 +80,10 @@ library
   -- IOG dependencies
   --------------------------
   build-depends:
-    , cardano-api             ^>= 8.46
-    , plutus-ledger-api       >=1.0.0
-    , plutus-tx               >=1.0.0
-    , plutus-tx-plugin        ^>=1.27
+    , cardano-api             ^>=8.48.0.1
+    , plutus-ledger-api       ^>=1.30
+    , plutus-tx               ^>=1.30
+    , plutus-tx-plugin        ^>=1.30
 
   ------------------------
   -- Non-IOG dependencies

diff --git a/bench/plutus-scripts-bench/src/Cardano/Benchmarking/PlutusScripts/HashOntoG2AndAdd.hs b/bench/plutus-scripts-bench/src/Cardano/Benchmarking/PlutusScripts/HashOntoG2AndAdd.hs
@@ -25,6 +25,7 @@ import           GHC.ByteOrder (ByteOrder(LittleEndian))
 import           Language.Haskell.TH
 import           Language.Haskell.TH.Syntax
 import qualified PlutusTx
+import qualified PlutusTx.Builtins.Internal as BI (unitval)
 import           PlutusTx.Prelude as Tx hiding (Semigroup (..), (.), (<$>))
 
 
@@ -36,7 +37,7 @@ script :: PlutusBenchScript
 script = mkPlutusBenchScript scriptName (toScriptInAnyLang (PlutusScript PlutusScriptV3 scriptSerialized))
 
 {-# INLINABLE mkValidator #-}
-mkValidator :: BuiltinData -> BuiltinData -> BuiltinData -> ()
+mkValidator :: BuiltinData -> BuiltinData -> BuiltinData -> BuiltinUnit
 mkValidator _datum red _txContext =
   case PlutusV3.fromBuiltinData red of
     Nothing -> Tx.traceError "invalid redeemer"
@@ -51,7 +52,7 @@ mkValidator _datum red _txContext =
       where go [] !acc     = acc
             go (q:qs) !acc = go qs $ Tx.bls12_381_G2_add (Tx.bls12_381_G2_hashToGroup q (integerToByteString LittleEndian 0 i)) acc
     loop i l
-      | i == 1000000 = ()
+      | i == 1000000 = BI.unitval
       | otherwise    = let !_ = hashAndAddG2 l i in loop (pred i) l
 
 hashAndAddG2ShortBs :: SBS.ShortByteString

diff --git a/bench/plutus-scripts-bench/src/Cardano/Benchmarking/PlutusScripts/LoopV3.hs b/bench/plutus-scripts-bench/src/Cardano/Benchmarking/PlutusScripts/LoopV3.hs
@@ -18,6 +18,7 @@ import qualified Data.ByteString.Short as SBS
 import qualified PlutusLedgerApi.V3 as PlutusV3
 import           PlutusTx
 import           PlutusTx.Builtins (unsafeDataAsI)
+import qualified PlutusTx.Builtins.Internal as BI (unitval)
 import           PlutusTx.Prelude hiding (Semigroup (..), unless, (.), (<$>))
 
 
@@ -30,14 +31,14 @@ script = mkPlutusBenchScript scriptName (toScriptInAnyLang (PlutusScript PlutusS
 
 
 {-# INLINABLE mkValidator #-}
-mkValidator :: BuiltinData -> BuiltinData -> BuiltinData -> ()
+mkValidator :: BuiltinData -> BuiltinData -> BuiltinData -> BuiltinUnit
 mkValidator _datum redeemer _txContext
   = if n < 1000000
        then traceError "redeemer is < 1000000"
        else loop n
   where
     n = unsafeDataAsI redeemer
-    loop i = if i == 1000000 then () else loop $ pred i
+    loop i = if i == 1000000 then BI.unitval else loop $ pred i
 
 loopScriptShortBs :: SBS.ShortByteString
 loopScriptShortBs = PlutusV3.serialiseCompiledCode $$(PlutusTx.compile [|| mkValidator ||])

diff --git a/bench/tx-generator/data/protocol-parameters-conway.json b/bench/tx-generator/data/protocol-parameters-conway.json
@@ -447,8 +447,13 @@
       "decodeUtf8-memory-arguments-intercept": 4,
       "decodeUtf8-memory-arguments-slope": 2,
       "divideInteger-cpu-arguments-constant": 85848,
-      "divideInteger-cpu-arguments-model-arguments-intercept": 228465,
-      "divideInteger-cpu-arguments-model-arguments-slope": 122,
+      "divideInteger-cpu-arguments-model-arguments-c00": 123203,
+      "divideInteger-cpu-arguments-model-arguments-c01": 7305,
+      "divideInteger-cpu-arguments-model-arguments-c02": -900,
+      "divideInteger-cpu-arguments-model-arguments-c10": 1716,
+      "divideInteger-cpu-arguments-model-arguments-c11": 549,
+      "divideInteger-cpu-arguments-model-arguments-c20": 57,
+      "divideInteger-cpu-arguments-model-arguments-minimum": 85848,
       "divideInteger-memory-arguments-intercept": 0,
       "divideInteger-memory-arguments-minimum": 1,
       "divideInteger-memory-arguments-slope": 1,
@@ -515,10 +520,14 @@
       "mkPairData-cpu-arguments": 11546,
       "mkPairData-memory-arguments": 32,
       "modInteger-cpu-arguments-constant": 85848,
-      "modInteger-cpu-arguments-model-arguments-intercept": 228465,
-      "modInteger-cpu-arguments-model-arguments-slope": 122,
+      "modInteger-cpu-arguments-model-arguments-c00": 123203,
+      "modInteger-cpu-arguments-model-arguments-c01": 7305,
+      "modInteger-cpu-arguments-model-arguments-c02": -900,
+      "modInteger-cpu-arguments-model-arguments-c10": 1716,
+      "modInteger-cpu-arguments-model-arguments-c11": 549,
+      "modInteger-cpu-arguments-model-arguments-c20": 57,
+      "modInteger-cpu-arguments-model-arguments-minimum": 85848,
       "modInteger-memory-arguments-intercept": 0,
-      "modInteger-memory-arguments-minimum": 1,
       "modInteger-memory-arguments-slope": 1,
       "multiplyInteger-cpu-arguments-intercept": 90434,
       "multiplyInteger-cpu-arguments-slope": 519,
@@ -527,16 +536,25 @@
       "nullList-cpu-arguments": 74433,
       "nullList-memory-arguments": 32,
       "quotientInteger-cpu-arguments-constant": 85848,
-      "quotientInteger-cpu-arguments-model-arguments-intercept": 228465,
-      "quotientInteger-cpu-arguments-model-arguments-slope": 122,
+      "quotientInteger-cpu-arguments-model-arguments-c00": 123203,
+      "quotientInteger-cpu-arguments-model-arguments-c01": 7305,
+      "quotientInteger-cpu-arguments-model-arguments-c02": -900,
+      "quotientInteger-cpu-arguments-model-arguments-c10": 1716,
+      "quotientInteger-cpu-arguments-model-arguments-c11": 549,
+      "quotientInteger-cpu-arguments-model-arguments-c20": 57,
+      "quotientInteger-cpu-arguments-model-arguments-minimum": 85848,
       "quotientInteger-memory-arguments-intercept": 0,
       "quotientInteger-memory-arguments-minimum": 1,
       "quotientInteger-memory-arguments-slope": 1,
       "remainderInteger-cpu-arguments-constant": 85848,
-      "remainderInteger-cpu-arguments-model-arguments-intercept": 228465,
-      "remainderInteger-cpu-arguments-model-arguments-slope": 122,
+      "remainderInteger-cpu-arguments-model-arguments-c00": 123203,
+      "remainderInteger-cpu-arguments-model-arguments-c01": 7305,
+      "remainderInteger-cpu-arguments-model-arguments-c02": -900,
+      "remainderInteger-cpu-arguments-model-arguments-c10": 1716,
+      "remainderInteger-cpu-arguments-model-arguments-c11": 549,
+      "remainderInteger-cpu-arguments-model-arguments-c20": 57,
+      "remainderInteger-cpu-arguments-model-arguments-minimum": 85848,
       "remainderInteger-memory-arguments-intercept": 0,
-      "remainderInteger-memory-arguments-minimum": 1,
       "remainderInteger-memory-arguments-slope": 1,
       "serialiseData-cpu-arguments-intercept": 955506,
       "serialiseData-cpu-arguments-slope": 213312,

diff --git a/bench/tx-generator/scripts-fallback/HashOntoG2AndAdd.plutus b/bench/tx-generator/scripts-fallback/HashOntoG2AndAdd.plutus
@@ -1,5 +1,5 @@
 {
     "type": "PlutusScriptV3",
     "description": "",
-    "cborHex": "59020e59020b010100323232322225329333333006003225333573466e1d200000215933335573e00250022800c004d5d08014d5d1001100090c800c8964cccccc02c0088a0045002280114004004500290ac9999aab9f00228011191940040086ae88010d5d0801c00242b266666601a00245002280100614008a00521800c00400e002460048c009180111801060045002280114008a005219001912999ab9a33710004904044bd0980224811572656465656d6572206973203c20313030303030300013300a00200144c005240110696e76616c69642072656465656d657200119319ab9c0018001801911999aab9f0012800c0004b26666660086ae840088a0045002280114008a00200290ac98021aba200390c0060060050012300244ca00460066ae880090002222223333333574800c4646600e6aae74004d55cf0009baa00723005375600e460086eb001c8c00cdd6803918011bae0078001800911912999ab9a3370e904044bd0018c0004c8cc014cdc080224004004660040026f09220160c00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000003003222590028800c884cc014004cdde99bc3002333792941200000600311918008009119801980100100081"
+    "cborHex": "59020d59020a010100323232322225329333333006003225333573466e1d200000215933335573e00250022800c004d5d08014d5d1001100090c800c8964cccccc02c0088a0045002280114004004500290ac9999aab9f00228011191940040086ae88010d5d0801c00242b266666601a00245002280100614008a00521800c00400e002460048c009180111801060045002280114008a005219001912999ab9a33710004904044bd0980224811572656465656d6572206973203c20313030303030300013300a00200144c005240110696e76616c69642072656465656d657200119319ab9c0018001801911999aab9f0012800c0004b26666660086ae840088a0045002280114008a00200290ac98021aba200390c0060060050012300244ca00460066ae880090002222223333333574800c4646600e6aae74004d55cf0009baa00723005375600e460086eb001c8c00cdd6803918011bae0078001800911912999ab9a3370e904044bd0018a4c2646600a66e04011200200233002001378491160c00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000003003222590028800c884cc014004cdde99bc3002333792941200000600311918008009180111980100100081"
 }
diff --git a/bench/tx-generator/scripts-fallback/LoopV3.plutus b/bench/tx-generator/scripts-fallback/LoopV3.plutus
@@ -1,5 +1,5 @@
 {
     "type": "PlutusScriptV3",
     "description": "",
-    "cborHex": "583e583c010100322225333573466e20dd68012410112f42c260086eb4008c8c00400488c94ccd5cd19b874820225e800860002600266e040092002300200201"
+    "cborHex": "583e583c01010032222325333573466e200052080897a1613005001375a00464600200244a666ae68cdc3a410112f40022930991980180180099b81001480081"
 }
diff --git a/bench/tx-generator/src/Cardano/TxGenerator/Setup/Plutus.hs b/bench/tx-generator/src/Cardano/TxGenerator/Setup/Plutus.hs
@@ -233,17 +233,23 @@ preExecutePlutusV3 (major, _minor) (PlutusScript _ (PlutusScriptSerialised (scri
       exBudget <- firstExceptT PlutusError $
         hoistEither .
           snd $ PlutusV3.evaluateScriptCounting protocolVersion PlutusV3.Verbose evaluationContext scriptForEval
-            [ toPlutusData datum
-            , toPlutusData (getScriptData redeemer)
-            , PlutusV3.toData dummyContext
-            ]
+                (PlutusV3.toData scriptContext)
 
       x <- hoistMaybe (TxGenError "preExecutePlutusV3: could not convert to execution units") $
         exBudgetToExUnits exBudget
       return $ fromAlonzoExUnits x
 
-    dummyContext :: PlutusV3.ScriptContext
-    dummyContext = PlutusV3.ScriptContext dummyTxInfo (PlutusV3.Spending dummyOutRef)
+    r :: PlutusV3.Redeemer
+    r = PlutusV3.Redeemer $ PlutusV3.dataToBuiltinData $ toPlutusData $ getScriptData redeemer
+
+    d :: PlutusV3.Datum
+    d = PlutusV3.Datum $ PlutusV3.dataToBuiltinData $ toPlutusData datum
+
+    scriptContext :: PlutusV3.ScriptContext
+    scriptContext = PlutusV3.ScriptContext dummyTxInfo r scriptInfo
+
+    scriptInfo :: PlutusV3.ScriptInfo
+    scriptInfo = PlutusV3.SpendingScript dummyOutRef (Just d)
 
     dummyOutRef :: PlutusV3.TxOutRef
     dummyOutRef = PlutusV3.TxOutRef (PlutusV3.TxId "") 0

diff --git a/bench/tx-generator/tx-generator.cabal b/bench/tx-generator/tx-generator.cabal
@@ -1,7 +1,7 @@
 cabal-version: 3.0
 
 name:                   tx-generator
-version:                2.12
+version:                2.13
 synopsis:               A transaction workload generator for Cardano clusters
 description:            A transaction workload generator for Cardano clusters.
 category:               Cardano,
@@ -41,7 +41,13 @@ library
                         -Wno-unticked-promoted-constructors
                         -Wpartial-fields
                         -Wredundant-constraints
-                        -Wwarn=deprecations
+                        -fno-warn-safe
+                        -fno-warn-unsafe
+                        -fno-warn-missing-import-lists
+                        -fobject-code -fno-ignore-interface-pragmas
+                        -fno-omit-interface-pragmas
+                        -- TODO: switch back to -Wwarn=deprecations having dropped Cardano.Api.ProtocolParameters.ProtocolParameters in favour of Cardano.Api.Ledger.PParams
+                        -Wno-deprecations
 
   exposed-modules:      Cardano.Benchmarking.Command
                         Cardano.Benchmarking.Compiler
@@ -96,9 +102,9 @@ library
                       , attoparsec-aeson
                       , base16-bytestring
                       , bytestring
-                      , cardano-api ^>= 8.46
+                      , cardano-api ^>= 8.48.0.1
                       , cardano-binary
-                      , cardano-cli ^>= 8.23
+                      , cardano-cli ^>= 8.24
                       , cardano-crypto-class
                       , cardano-crypto-wrapper
                       , cardano-data
@@ -151,19 +157,6 @@ library
   default-language:     Haskell2010
   default-extensions:   OverloadedStrings
 
-  ghc-options:          -Wall
-                        -fno-warn-safe
-                        -fno-warn-unsafe
-                        -fno-warn-missing-import-lists
-                        -Wno-unticked-promoted-constructors
-                        -Wincomplete-record-updates
-                        -Wincomplete-uni-patterns
-                        -Wredundant-constraints
-                        -Wpartial-fields
-                        -Wcompat
-                        -fobject-code -fno-ignore-interface-pragmas
-                        -fno-omit-interface-pragmas
-
 executable tx-generator
   import:               project-config
   hs-source-dirs:       app
@@ -188,6 +181,7 @@ test-suite tx-generator-apitest
                         -Wall
                         -rtsopts
                         "-with-rtsopts=-T"
+                        -Wno-deprecations
 
   build-depends:        base
                       , aeson
@@ -207,18 +201,6 @@ test-suite tx-generator-apitest
   other-modules:        Paths_tx_generator
   autogen-modules:      Paths_tx_generator
 
-  build-depends:       base
-                     , aeson
-                     , bytestring
-                     , filepath
-                     , optparse-applicative-fork
-                     , cardano-api
-                     , cardano-cli
-                     , cardano-node
-                     , transformers
-                     , transformers-except
-                     , tx-generator
-
 test-suite tx-generator-test
   import:               project-config
   hs-source-dirs:       test