Plutus 1.25.0.0 (#4245)

* Plutus 1.25.0.0 * Replace `fromList` with `unsafeFromList` `fromList` was deprecated in `1.24.0.0` by IntersectMBO/plutus#5838 * Bump patch versions --------- Co-authored-by: Lucsanszky <[email protected]> Co-authored-by: Lucsanszky <[email protected]>
IntersectMBO · Apr 9, 2024 · 3acfea9 · 3acfea9
1 parent 315e78d
commit 3acfea9
Show file tree

Hide file tree

Showing 10 changed files with 26 additions and 26 deletions.
diff --git a/cabal.project b/cabal.project
@@ -20,7 +20,7 @@ index-state:
   -- Bump this if you need newer packages from Hackage
   , hackage.haskell.org 2024-03-19T11:25:56Z
   -- Bump this if you need newer packages from CHaP
-  , cardano-haskell-packages 2024-03-11T00:00:00Z
+  , cardano-haskell-packages 2024-04-08T00:00:00Z
 
 packages:
   eras/allegra/impl

diff --git a/eras/alonzo/impl/cardano-ledger-alonzo.cabal b/eras/alonzo/impl/cardano-ledger-alonzo.cabal
@@ -1,6 +1,6 @@
 cabal-version:      3.0
 name:               cardano-ledger-alonzo
-version:            1.7.0.0
+version:            1.7.0.1
 license:            Apache-2.0
 maintainer:         [email protected]
 author:             IOHK
@@ -90,7 +90,7 @@ library
         mtl,
         microlens,
         nothunks,
-        plutus-ledger-api ^>=1.23.0,
+        plutus-ledger-api ^>=1.25.0,
         set-algebra >=1.0,
         small-steps >=1.1,
         text,

diff --git a/eras/alonzo/test-suite/cardano-ledger-alonzo-test.cabal b/eras/alonzo/test-suite/cardano-ledger-alonzo-test.cabal
@@ -1,6 +1,6 @@
 cabal-version: 3.0
 name:          cardano-ledger-alonzo-test
-version:       1.2.1.0
+version:       1.2.1.1
 license:       Apache-2.0
 maintainer:    [email protected]
 author:        IOHK
@@ -59,7 +59,7 @@ library
         containers,
         data-default-class,
         microlens,
-        plutus-ledger-api ^>=1.23.0,
+        plutus-ledger-api ^>=1.25.0,
         QuickCheck,
         random,
         serialise,

diff --git a/eras/babbage/impl/cardano-ledger-babbage.cabal b/eras/babbage/impl/cardano-ledger-babbage.cabal
@@ -1,6 +1,6 @@
 cabal-version:      3.0
 name:               cardano-ledger-babbage
-version:            1.7.0.0
+version:            1.7.0.1
 license:            Apache-2.0
 maintainer:         [email protected]
 author:             IOHK
@@ -83,7 +83,7 @@ library
         deepseq,
         microlens,
         nothunks,
-        plutus-ledger-api ^>=1.23.0,
+        plutus-ledger-api ^>=1.25.0,
         set-algebra,
         small-steps >=1.1,
         text,

diff --git a/eras/babbage/impl/src/Cardano/Ledger/Babbage/TxInfo.hs b/eras/babbage/impl/src/Cardano/Ledger/Babbage/TxInfo.hs
@@ -199,7 +199,7 @@ transTxRedeemers ::
   Tx era ->
   Either (ContextError era) (PV2.Map (PlutusScriptPurpose l) PV2.Redeemer)
 transTxRedeemers proxy tx =
-  PV2.fromList
+  PV2.unsafeFromList
     <$> mapM
       (transRedeemerPtr proxy (tx ^. bodyTxL))
       (Map.toList (unRedeemers $ tx ^. witsTxL . rdmrsTxWitsL))
@@ -341,11 +341,11 @@ instance Crypto c => EraPlutusTxInfo 'PlutusV2 (BabbageEra c) where
         , PV2.txInfoFee = transCoinToValue (txBody ^. feeTxBodyL)
         , PV2.txInfoMint = Alonzo.transMintValue (txBody ^. mintTxBodyL)
         , PV2.txInfoDCert = txCerts
-        , PV2.txInfoWdrl = PV2.fromList $ Alonzo.transTxBodyWithdrawals txBody
+        , PV2.txInfoWdrl = PV2.unsafeFromList $ Alonzo.transTxBodyWithdrawals txBody
         , PV2.txInfoValidRange = timeRange
         , PV2.txInfoSignatories = Alonzo.transTxBodyReqSignerHashes txBody
         , PV2.txInfoRedeemers = plutusRedeemers
-        , PV2.txInfoData = PV2.fromList $ Alonzo.transTxWitsDatums (tx ^. witsTxL)
+        , PV2.txInfoData = PV2.unsafeFromList $ Alonzo.transTxWitsDatums (tx ^. witsTxL)
         , PV2.txInfoId = Alonzo.transTxBodyId txBody
         }
     where

diff --git a/eras/conway/impl/cardano-ledger-conway.cabal b/eras/conway/impl/cardano-ledger-conway.cabal
@@ -99,7 +99,7 @@ library
         deepseq,
         microlens,
         nothunks,
-        plutus-ledger-api ^>=1.23.0,
+        plutus-ledger-api ^>=1.25.0,
         set-algebra,
         small-steps >=1.1,
         text,

diff --git a/eras/conway/impl/src/Cardano/Ledger/Conway/TxInfo.hs b/eras/conway/impl/src/Cardano/Ledger/Conway/TxInfo.hs
@@ -410,11 +410,11 @@ instance Crypto c => EraPlutusTxInfo 'PlutusV2 (ConwayEra c) where
         , PV2.txInfoFee = transCoinToValue (txBody ^. feeTxBodyL)
         , PV2.txInfoMint = Alonzo.transMintValue (txBody ^. mintTxBodyL)
         , PV2.txInfoDCert = txCerts
-        , PV2.txInfoWdrl = PV2.fromList $ Alonzo.transTxBodyWithdrawals txBody
+        , PV2.txInfoWdrl = PV2.unsafeFromList $ Alonzo.transTxBodyWithdrawals txBody
         , PV2.txInfoValidRange = timeRange
         , PV2.txInfoSignatories = Alonzo.transTxBodyReqSignerHashes txBody
         , PV2.txInfoRedeemers = plutusRedeemers
-        , PV2.txInfoData = PV2.fromList $ Alonzo.transTxWitsDatums (tx ^. witsTxL)
+        , PV2.txInfoData = PV2.unsafeFromList $ Alonzo.transTxWitsDatums (tx ^. witsTxL)
         , PV2.txInfoId = Alonzo.transTxBodyId txBody
         }
     where
@@ -451,7 +451,7 @@ instance Crypto c => EraPlutusTxInfo 'PlutusV3 (ConwayEra c) where
         , PV3.txInfoValidRange = timeRange
         , PV3.txInfoSignatories = Alonzo.transTxBodyReqSignerHashes txBody
         , PV3.txInfoRedeemers = plutusRedeemers
-        , PV3.txInfoData = PV3.fromList $ Alonzo.transTxWitsDatums (tx ^. witsTxL)
+        , PV3.txInfoData = PV3.unsafeFromList $ Alonzo.transTxWitsDatums (tx ^. witsTxL)
         , PV3.txInfoId = transTxBodyId txBody
         , PV3.txInfoVotes = transVotingProcedures (txBody ^. votingProceduresTxBodyL)
         , PV3.txInfoProposalProcedures =
@@ -607,7 +607,7 @@ transGovAction proxy = \case
 
 transMap :: (t1 -> k) -> (t2 -> v) -> Map.Map t1 t2 -> PV3.Map k v
 transMap transKey transValue =
-  PV3.fromList . map (\(k, v) -> (transKey k, transValue v)) . Map.toList
+  PV3.unsafeFromList . map (\(k, v) -> (transKey k, transValue v)) . Map.toList
 
 transVotingProcedures ::
   VotingProcedures era -> PV3.Map PV3.Voter (PV3.Map PV3.GovernanceActionId PV3.Vote)

diff --git a/flake.lock b/flake.lock
diff --git a/libs/cardano-ledger-binary/cardano-ledger-binary.cabal b/libs/cardano-ledger-binary/cardano-ledger-binary.cabal
@@ -67,7 +67,7 @@ library
         network,
         nothunks,
         primitive,
-        plutus-ledger-api ^>=1.23.0,
+        plutus-ledger-api ^>=1.25.0,
         recursion-schemes,
         serialise,
         tagged,

diff --git a/libs/cardano-ledger-test/cardano-ledger-test.cabal b/libs/cardano-ledger-test/cardano-ledger-test.cabal
@@ -139,7 +139,7 @@ library
         mtl,
         nothunks,
         hspec,
-        plutus-ledger-api ^>=1.23.0,
+        plutus-ledger-api ^>=1.25.0,
         prettyprinter,
         QuickCheck,
         small-steps:{small-steps, testlib} >=1.1,