Fix building with newer plutus-core

Author: carbolymer

cabal.project

@@ -14,7 +14,8 @@ index-state:
   -- Bump this if you need newer packages from Hackage
   , hackage.haskell.org 2023-07-17T00:00:00Z
   -- Bump this if you need newer packages from CHaP
-  , cardano-haskell-packages 2023-08-26T00:00:00Z
+  , cardano-haskell-packages 2023-09-18T17:20:55Z
+
 
 packages:
   eras/allegra/impl

eras/alonzo/impl/cardano-ledger-alonzo.cabal

@@ -81,8 +81,8 @@ library
         mtl,
         microlens,
         nothunks,
-        plutus-ledger-api ^>=1.11,
-        plutus-core ^>=1.11,
+        plutus-ledger-api ^>=1.13,
+        plutus-core ^>=1.13,
         prettyprinter,
         serialise,
         set-algebra >=1.0,

eras/alonzo/impl/src/Cardano/Ledger/Alonzo/Scripts.hs

@@ -130,7 +130,7 @@ import qualified Data.Map.Strict as Map
 import Data.Measure (BoundedMeasure, Measure)
 import Data.Scientific (fromRationalRepetendLimited)
 import Data.Semigroup (All (..))
-import Data.Text as T (Text, pack)
+import Data.Text as T (Text)
 import Data.Word (Word64, Word8)
 import GHC.Generics (Generic)
 import NoThunks.Class (NoThunks (..), allNoThunks)
@@ -412,9 +412,9 @@ plutusV1ParamNames =
         ]
 
 plutusVXParamNames :: Language -> [Text]
-plutusVXParamNames PlutusV1 = T.pack . Plutus.showParamName <$> [minBound .. maxBound :: PV1.ParamName]
-plutusVXParamNames PlutusV2 = T.pack . Plutus.showParamName <$> [minBound .. maxBound :: PV2.ParamName]
-plutusVXParamNames PlutusV3 = T.pack . Plutus.showParamName <$> [minBound .. maxBound :: PV3.ParamName]
+plutusVXParamNames PlutusV1 = Plutus.showParamName <$> [minBound .. maxBound :: PV1.ParamName]
+plutusVXParamNames PlutusV2 = Plutus.showParamName <$> [minBound .. maxBound :: PV2.ParamName]
+plutusVXParamNames PlutusV3 = Plutus.showParamName <$> [minBound .. maxBound :: PV3.ParamName]
 
 validateCostModel :: MonadFail m => Language -> [Integer] -> m CostModel
 validateCostModel lang cmps =

eras/alonzo/test-suite/cardano-ledger-alonzo-test.cabal

@@ -66,7 +66,7 @@ library
         data-default-class,
         microlens,
         plutus-tx,
-        plutus-ledger-api:{plutus-ledger-api, plutus-ledger-api-testlib} ^>=1.11,
+        plutus-ledger-api:{plutus-ledger-api, plutus-ledger-api-testlib} ^>=1.13,
         QuickCheck,
         random,
         serialise,

eras/alonzo/test-suite/src/Test/Cardano/Ledger/Alonzo/PlutusScripts.hs

@@ -6,17 +6,17 @@ import Cardano.Ledger.Alonzo.Scripts (AlonzoScript (PlutusScript), CostModel, mk
 import Data.ByteString.Short (pack)
 import Data.Either (fromRight)
 import qualified Data.Map as Map
-import PlutusLedgerApi.Test.EvaluationContext (costModelParamsForTesting)
+import PlutusLedgerApi.Test.V3.EvaluationContext (costModelParamsForTesting)
 
 testingCostModelV1 :: CostModel
 testingCostModelV1 =
   fromRight (error "testingCostModelV1 is not well-formed") $
-    mkCostModel PlutusV1 (0 <$ Map.elems costModelParamsForTesting)
+    mkCostModel PlutusV1 (0 <$ costModelParamsForTesting)
 
 testingCostModelV2 :: CostModel
 testingCostModelV2 =
   fromRight (error "testingCostModelV2 is not well-formed") $
-    mkCostModel PlutusV2 (0 <$ Map.elems costModelParamsForTesting)
+    mkCostModel PlutusV2 (0 <$ costModelParamsForTesting)
 
 {- Preproceesed Plutus Script
 guessTheNumber'2_0 :: PlutusTx.Builtins.Internal.BuiltinData ->

eras/alonzo/test-suite/src/Test/Cardano/Ledger/Alonzo/Translation/TranslationInstance.hs

@@ -50,7 +50,6 @@ import qualified PlutusLedgerApi.V3 as PV3
 -- FIXME: remove following line after plutus patch
 
 import Cardano.Ledger.Alonzo.TxInfo (VersionedTxInfo)
-import qualified PlutusLedgerApi.V3.Contexts as PV3
 import PlutusTx.Ratio as PlutusTx
 
 import Data.Typeable (Typeable)
@@ -113,9 +112,6 @@ instance Cborg.Serialise a => Cborg.Serialise (PV3.Interval a)
 instance Cborg.Serialise a => Cborg.Serialise (PV3.LowerBound a)
 instance Cborg.Serialise a => Cborg.Serialise (PV3.UpperBound a)
 
--- FIXME: remove following line after plutus patch
-deriving instance Generic PV3.BuiltinData
-
 -- FIXME: fix following after plutus patch
 instance Cborg.Serialise PlutusTx.Rational where
   encode = error "fixme rational"

eras/babbage/impl/cardano-ledger-babbage.cabal

@@ -71,7 +71,7 @@ library
         deepseq,
         microlens,
         nothunks,
-        plutus-ledger-api ^>=1.11,
+        plutus-ledger-api ^>=1.13,
         set-algebra,
         small-steps,
         text,

eras/conway/impl/cardano-ledger-conway.cabal

@@ -83,7 +83,7 @@ library
         deepseq,
         microlens,
         nothunks,
-        plutus-ledger-api ^>=1.11,
+        plutus-ledger-api ^>=1.13,
         set-algebra,
         small-steps,
         text,

flake.lock

@@ -67,7 +67,7 @@ library
         network,
         nothunks,
         primitive,
-        plutus-ledger-api ^>=1.11,
+        plutus-ledger-api ^>=1.13,
         recursion-schemes,
         serialise,
         tagged,

libs/cardano-ledger-binary/cardano-ledger-binary.cabal

@@ -124,7 +124,7 @@ library
         nothunks,
         plutus-core,
         hspec,
-        plutus-ledger-api ^>=1.11,
+        plutus-ledger-api ^>=1.13,
         prettyprinter,
         QuickCheck,
         small-steps,