From da52206c0b4a10046dde07c10b008729001b7d73 Mon Sep 17 00:00:00 2001 From: Jordan Millar Date: Tue, 6 Aug 2024 09:23:51 -0400 Subject: [PATCH] Release 1.32.0.0 (#6374) Modified-by: Nikolaos Bezirgiannis --- cabal.project | 2 +- .../cardano-constitution.cabal | 20 +-- doc/docusaurus/docusaurus-examples.cabal | 10 +- plutus-benchmark/plutus-benchmark.cabal | 124 +++++++++--------- plutus-conformance/plutus-conformance.cabal | 8 +- plutus-core/CHANGELOG.md | 13 ++ ...0711_030856_kenneth.mackenzie_bitwise_4.md | 3 - .../20240726_102834_bezirg_ratinteger.md | 3 - ...0726_165736_Yuriy.Lazaryev_nothunks_0_2.md | 3 - plutus-core/plutus-core.cabal | 49 ++++--- plutus-ledger-api/plutus-ledger-api.cabal | 36 ++--- plutus-metatheory/plutus-metatheory.cabal | 12 +- plutus-tx-plugin/plutus-tx-plugin.cabal | 20 +-- plutus-tx-test-util/plutus-tx-test-util.cabal | 4 +- plutus-tx/CHANGELOG.md | 7 + ...31_145553_effectfully_add_general_mkNil.md | 3 - plutus-tx/plutus-tx.cabal | 12 +- .../prettyprinter-configurable.cabal | 4 +- 18 files changed, 169 insertions(+), 164 deletions(-) delete mode 100644 plutus-core/changelog.d/20240711_030856_kenneth.mackenzie_bitwise_4.md delete mode 100644 plutus-core/changelog.d/20240726_102834_bezirg_ratinteger.md delete mode 100644 plutus-core/changelog.d/20240726_165736_Yuriy.Lazaryev_nothunks_0_2.md delete mode 100644 plutus-tx/changelog.d/20240731_145553_effectfully_add_general_mkNil.md diff --git a/cabal.project b/cabal.project index 19b5afd2622..6daa1c2e1e6 100644 --- a/cabal.project +++ b/cabal.project @@ -16,7 +16,7 @@ index-state: -- Bump both the following dates if you need newer packages from Hackage , hackage.haskell.org 2024-06-23T03:51:23Z -- Bump this if you need newer packages from CHaP - , cardano-haskell-packages 2024-06-19T21:42:15Z + , cardano-haskell-packages 2024-08-01T16:18:12Z packages: cardano-constitution plutus-benchmark diff --git a/cardano-constitution/cardano-constitution.cabal b/cardano-constitution/cardano-constitution.cabal index 141027fa5f4..78d2d61c862 100644 --- a/cardano-constitution/cardano-constitution.cabal +++ b/cardano-constitution/cardano-constitution.cabal @@ -1,6 +1,6 @@ cabal-version: 3.0 name: cardano-constitution -version: 1.31.0.0 +version: 1.32.0.0 license: Apache-2.0 license-files: LICENSE @@ -77,10 +77,10 @@ library , base >=4.9 && <5 , containers , filepath - , plutus-core ^>=1.31 - , plutus-ledger-api ^>=1.31 - , plutus-tx ^>=1.31 - , plutus-tx-plugin ^>=1.31 + , plutus-core ^>=1.32 + , plutus-ledger-api ^>=1.32 + , plutus-tx ^>=1.32 + , plutus-tx-plugin ^>=1.32 , regex-tdfa , safe , template-haskell @@ -112,13 +112,13 @@ test-suite cardano-constitution-test , aeson , base >=4.9 && <5 , bytestring - , cardano-constitution ^>=1.31 + , cardano-constitution ^>=1.32 , containers , directory , filepath - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.31 - , plutus-ledger-api ^>=1.31 - , plutus-tx ^>=1.31 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.32 + , plutus-ledger-api ^>=1.32 + , plutus-tx ^>=1.32 , QuickCheck , serialise , tasty @@ -139,4 +139,4 @@ executable create-json-envelope , base , cardano-api ^>=8.48 , cardano-constitution - , plutus-ledger-api + , plutus-ledger-api ^>=1.32 diff --git a/doc/docusaurus/docusaurus-examples.cabal b/doc/docusaurus/docusaurus-examples.cabal index d7d437b51b8..9bff656a2ce 100644 --- a/doc/docusaurus/docusaurus-examples.cabal +++ b/doc/docusaurus/docusaurus-examples.cabal @@ -39,9 +39,9 @@ library docusaurus-code build-depends: , base >=4.9 && <5 - , plutus-core ^>=1.31 - , plutus-ledger-api ^>=1.31 - , plutus-tx ^>=1.31 + , plutus-core ^>=1.32 + , plutus-ledger-api ^>=1.32 + , plutus-tx ^>=1.32 if !(impl(ghcjs) || os(ghcjs)) build-depends: plutus-tx-plugin @@ -55,5 +55,5 @@ executable example-cip57 build-depends: , base ^>=4.18 , containers - , plutus-ledger-api ^>=1.31 - , plutus-tx ^>=1.31 + , plutus-ledger-api ^>=1.32 + , plutus-tx ^>=1.32 diff --git a/plutus-benchmark/plutus-benchmark.cabal b/plutus-benchmark/plutus-benchmark.cabal index ebf9dfa8c8f..3dcb1a414f6 100644 --- a/plutus-benchmark/plutus-benchmark.cabal +++ b/plutus-benchmark/plutus-benchmark.cabal @@ -90,8 +90,8 @@ library plutus-benchmark-common , directory , filepath , flat ^>=0.6 - , plutus-core ^>=1.31 - , plutus-ledger-api ^>=1.31 + , plutus-core ^>=1.32 + , plutus-ledger-api ^>=1.32 , plutus-tx-test-util , tasty , tasty-golden @@ -118,9 +118,9 @@ library nofib-internal , base >=4.9 && <5 , deepseq , plutus-benchmark-common - , plutus-core ^>=1.31 - , plutus-tx ^>=1.31 - , plutus-tx-plugin ^>=1.31 + , plutus-core ^>=1.32 + , plutus-tx ^>=1.32 + , plutus-tx-plugin ^>=1.32 executable nofib-exe import: lang, ghc-version-support @@ -134,8 +134,8 @@ executable nofib-exe , nofib-internal , optparse-applicative , plutus-benchmark-common - , plutus-core ^>=1.31 - , plutus-tx ^>=1.31 + , plutus-core ^>=1.32 + , plutus-tx ^>=1.32 , prettyprinter , transformers @@ -173,8 +173,8 @@ test-suite plutus-benchmark-nofib-tests , base >=4.9 && <5 , nofib-internal , plutus-benchmark-common - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.31 - , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.31 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.32 + , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.32 , tasty , tasty-hunit , tasty-quickcheck @@ -200,9 +200,9 @@ library lists-internal , base >=4.9 && <5 , mtl , plutus-benchmark-common - , plutus-core ^>=1.31 - , plutus-tx ^>=1.31 - , plutus-tx-plugin ^>=1.31 + , plutus-core ^>=1.32 + , plutus-tx ^>=1.32 + , plutus-tx-plugin ^>=1.32 executable list-sort-exe import: lang, ghc-version-support @@ -213,7 +213,7 @@ executable list-sort-exe , lists-internal , monoidal-containers , plutus-benchmark-common - , plutus-core ^>=1.31 + , plutus-core ^>=1.32 benchmark lists import: lang, ghc-version-support @@ -225,7 +225,7 @@ benchmark lists , criterion >=1.5.9.0 , lists-internal , plutus-benchmark-common - , plutus-ledger-api ^>=1.31 + , plutus-ledger-api ^>=1.32 test-suite plutus-benchmark-lists-tests import: lang, ghc-version-support @@ -242,8 +242,8 @@ test-suite plutus-benchmark-lists-tests , base >=4.9 && <5 , lists-internal , plutus-benchmark-common - , plutus-core:plutus-core-testlib ^>=1.31 - , plutus-tx:plutus-tx-testlib ^>=1.31 + , plutus-core:plutus-core-testlib ^>=1.32 + , plutus-tx:plutus-tx-testlib ^>=1.32 , tasty , tasty-quickcheck @@ -264,8 +264,8 @@ benchmark validation , flat ^>=0.6 , optparse-applicative , plutus-benchmark-common - , plutus-core ^>=1.31 - , plutus-ledger-api ^>=1.31 + , plutus-core ^>=1.32 + , plutus-ledger-api ^>=1.32 ---------------- validation-decode ---------------- @@ -285,8 +285,8 @@ benchmark validation-decode , flat ^>=0.6 , optparse-applicative , plutus-benchmark-common - , plutus-core ^>=1.31 - , plutus-ledger-api ^>=1.31 + , plutus-core ^>=1.32 + , plutus-ledger-api ^>=1.32 ---------------- validation-full ---------------- @@ -306,8 +306,8 @@ benchmark validation-full , flat ^>=0.6 , optparse-applicative , plutus-benchmark-common - , plutus-core ^>=1.31 - , plutus-ledger-api ^>=1.31 + , plutus-core ^>=1.32 + , plutus-ledger-api ^>=1.32 ---------------- Cek cost model calibration ---------------- @@ -323,10 +323,10 @@ benchmark cek-calibration , lens , mtl , plutus-benchmark-common - , plutus-core ^>=1.31 - , plutus-ledger-api ^>=1.31 - , plutus-tx ^>=1.31 - , plutus-tx-plugin ^>=1.31 + , plutus-core ^>=1.32 + , plutus-ledger-api ^>=1.32 + , plutus-tx ^>=1.32 + , plutus-tx-plugin ^>=1.32 ---------------- Signature verification throughput ---------------- @@ -342,9 +342,9 @@ executable ed25519-costs , cardano-crypto-class , hedgehog , plutus-benchmark-common - , plutus-core ^>=1.31 - , plutus-tx ^>=1.31 - , plutus-tx-plugin ^>=1.31 + , plutus-core ^>=1.32 + , plutus-tx ^>=1.32 + , plutus-tx-plugin ^>=1.32 -- Calculate the predicted costs of sequences of ed25519 signature verification -- operations and compare them with a golden file. @@ -361,9 +361,9 @@ test-suite ed25519-costs-test , cardano-crypto-class , hedgehog , plutus-benchmark-common - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.31 - , plutus-tx ^>=1.31 - , plutus-tx-plugin ^>=1.31 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.32 + , plutus-tx ^>=1.32 + , plutus-tx-plugin ^>=1.32 ---------------- BLS12-381 experiments ---------------- @@ -381,10 +381,10 @@ library bls12-381lib-internal , bytestring , hedgehog , plutus-benchmark-common - , plutus-core ^>=1.31 - , plutus-ledger-api ^>=1.31 - , plutus-tx ^>=1.31 - , plutus-tx-plugin ^>=1.31 + , plutus-core ^>=1.32 + , plutus-ledger-api ^>=1.32 + , plutus-tx ^>=1.32 + , plutus-tx-plugin ^>=1.32 -- Print out predicted costs of various scripts involving BLS12-381 operations executable bls12-381-costs @@ -408,7 +408,7 @@ test-suite bls12-381-costs-test , base >=4.9 && <5 , bls12-381lib-internal , plutus-benchmark-common - , plutus-core:plutus-core-testlib ^>=1.31 + , plutus-core:plutus-core-testlib ^>=1.32 -- Run benchmarks for various scripts involving BLS12-381 operations benchmark bls12-381-benchmarks @@ -422,8 +422,8 @@ benchmark bls12-381-benchmarks , bytestring , criterion >=1.5.9.0 , plutus-benchmark-common - , plutus-ledger-api ^>=1.31 - , plutus-tx ^>=1.31 + , plutus-ledger-api ^>=1.32 + , plutus-tx ^>=1.32 ---------------- script contexts ---------------- @@ -433,9 +433,9 @@ library script-contexts-internal exposed-modules: PlutusBenchmark.ScriptContexts build-depends: , base >=4.9 && <5 - , plutus-ledger-api ^>=1.31 - , plutus-tx ^>=1.31 - , plutus-tx-plugin ^>=1.31 + , plutus-ledger-api ^>=1.32 + , plutus-tx ^>=1.32 + , plutus-tx-plugin ^>=1.32 test-suite plutus-benchmark-script-contexts-tests import: lang, ghc-version-support @@ -447,8 +447,8 @@ test-suite plutus-benchmark-script-contexts-tests build-depends: , base >=4.9 && <5 , plutus-benchmark-common - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.31 - , plutus-tx:plutus-tx-testlib ^>=1.31 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.32 + , plutus-tx:plutus-tx-testlib ^>=1.32 , script-contexts-internal , tasty , tasty-hunit @@ -477,10 +477,10 @@ library marlowe-internal , mtl , newtype-generics , plutus-benchmark-common - , plutus-core:{plutus-core, plutus-core-execlib} ^>=1.31 - , plutus-ledger-api ^>=1.31 - , plutus-tx ^>=1.31 - , plutus-tx-plugin ^>=1.31 + , plutus-core:{plutus-core, plutus-core-execlib} ^>=1.32 + , plutus-ledger-api ^>=1.32 + , plutus-tx ^>=1.32 + , plutus-tx-plugin ^>=1.32 , serialise executable marlowe-validators @@ -500,8 +500,8 @@ executable marlowe-validators , cardano-binary , marlowe-internal , plutus-benchmark-common - , plutus-ledger-api ^>=1.31 - , plutus-tx ^>=1.31 + , plutus-ledger-api ^>=1.32 + , plutus-tx ^>=1.32 , serialise benchmark marlowe @@ -515,8 +515,8 @@ benchmark marlowe , criterion , marlowe-internal , plutus-benchmark-common - , plutus-ledger-api ^>=1.31 - , plutus-tx ^>=1.31 + , plutus-ledger-api ^>=1.32 + , plutus-tx ^>=1.32 test-suite plutus-benchmark-marlowe-tests import: lang, ghc-version-support @@ -528,9 +528,9 @@ test-suite plutus-benchmark-marlowe-tests build-depends: , base >=4.9 && <5 , marlowe-internal - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.31 - , plutus-ledger-api ^>=1.31 - , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.31 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.32 + , plutus-ledger-api ^>=1.32 + , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.32 , tasty ---------------- agda evaluators ---------------- @@ -544,7 +544,7 @@ library agda-internal build-depends: , base >=4.9 && <5 , criterion - , plutus-core ^>=1.31 + , plutus-core ^>=1.32 , plutus-metatheory benchmark validation-agda-cek @@ -564,7 +564,7 @@ benchmark validation-agda-cek , flat ^>=0.6 , optparse-applicative , plutus-benchmark-common - , plutus-core ^>=1.31 + , plutus-core ^>=1.32 benchmark nofib-agda-cek import: lang, ghc-version-support @@ -591,8 +591,8 @@ benchmark marlowe-agda-cek , criterion , marlowe-internal , plutus-benchmark-common - , plutus-ledger-api ^>=1.31 - , plutus-tx ^>=1.31 + , plutus-ledger-api ^>=1.32 + , plutus-tx ^>=1.32 -------------------- bitwise----------------------- @@ -600,7 +600,7 @@ library bitwise-internal import: lang, ghc-version-support hs-source-dirs: bitwise/src exposed-modules: PlutusBenchmark.NQueens - build-depends: plutus-tx ^>=1.31 + build-depends: plutus-tx ^>=1.32 test-suite bitwise-test import: lang, ghc-version-support @@ -623,5 +623,5 @@ benchmark bitwise-bench , bitwise-internal , criterion , plutus-benchmark-common - , plutus-tx ^>=1.31 - , plutus-tx-plugin ^>=1.31 + , plutus-tx ^>=1.32 + , plutus-tx-plugin ^>=1.32 diff --git a/plutus-conformance/plutus-conformance.cabal b/plutus-conformance/plutus-conformance.cabal index 9babee19ff9..37afa18d128 100644 --- a/plutus-conformance/plutus-conformance.cabal +++ b/plutus-conformance/plutus-conformance.cabal @@ -48,7 +48,7 @@ library , base , directory , filepath - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.31 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.32 , tasty , tasty-expected-failure , tasty-golden @@ -71,7 +71,7 @@ test-suite haskell-conformance build-depends: , base >=4.9 && <5 , plutus-conformance - , plutus-core ^>=1.31 + , plutus-core ^>=1.32 test-suite haskell-steppable-conformance import: lang @@ -84,7 +84,7 @@ test-suite haskell-steppable-conformance , base >=4.9 && <5 , lens , plutus-conformance - , plutus-core ^>=1.31 + , plutus-core ^>=1.32 test-suite agda-conformance import: lang @@ -97,6 +97,6 @@ test-suite agda-conformance , aeson , base >=4.9 && <5 , plutus-conformance - , plutus-core ^>=1.31 + , plutus-core ^>=1.32 , plutus-metatheory , transformers diff --git a/plutus-core/CHANGELOG.md b/plutus-core/CHANGELOG.md index 7779f937ae0..2b85d8c95f5 100644 --- a/plutus-core/CHANGELOG.md +++ b/plutus-core/CHANGELOG.md @@ -1,4 +1,17 @@ + +# 1.32.0.0 — 2024-08-06 + +## Added + +- Added costing for the new bitwise builtins (see CIP-0058), which will probably become available at the Chang+1 HF. + +- Support for `Natural` numbers in the default universe, backed by `Integer`. + +## Changed + +- Updated version boundaries for the `nothunks` dependency (^>=0.2) + # 1.31.0.0 — 2024-07-17 diff --git a/plutus-core/changelog.d/20240711_030856_kenneth.mackenzie_bitwise_4.md b/plutus-core/changelog.d/20240711_030856_kenneth.mackenzie_bitwise_4.md deleted file mode 100644 index c303d69cea2..00000000000 --- a/plutus-core/changelog.d/20240711_030856_kenneth.mackenzie_bitwise_4.md +++ /dev/null @@ -1,3 +0,0 @@ -### Added - -- Added costing for the new bitwise builtins (see CIP-0058), which will probably become available at the Chang+1 HF. diff --git a/plutus-core/changelog.d/20240726_102834_bezirg_ratinteger.md b/plutus-core/changelog.d/20240726_102834_bezirg_ratinteger.md deleted file mode 100644 index f36093e1e41..00000000000 --- a/plutus-core/changelog.d/20240726_102834_bezirg_ratinteger.md +++ /dev/null @@ -1,3 +0,0 @@ -### Added - -- Support for `Natural` numbers in the default universe, backed by `Integer`. diff --git a/plutus-core/changelog.d/20240726_165736_Yuriy.Lazaryev_nothunks_0_2.md b/plutus-core/changelog.d/20240726_165736_Yuriy.Lazaryev_nothunks_0_2.md deleted file mode 100644 index 5fdd7f1e24a..00000000000 --- a/plutus-core/changelog.d/20240726_165736_Yuriy.Lazaryev_nothunks_0_2.md +++ /dev/null @@ -1,3 +0,0 @@ -### Changed - -- Updated version boundaries for the `nothunks` dependency (^>=0.2) diff --git a/plutus-core/plutus-core.cabal b/plutus-core/plutus-core.cabal index 35725dc86e4..6ff98d5876b 100644 --- a/plutus-core/plutus-core.cabal +++ b/plutus-core/plutus-core.cabal @@ -1,6 +1,6 @@ cabal-version: 3.0 name: plutus-core -version: 1.31.0.0 +version: 1.32.0.0 license: Apache-2.0 license-files: LICENSE @@ -321,7 +321,7 @@ library , nothunks ^>=0.2 , parser-combinators >=0.4.0 , prettyprinter >=1.1.0.1 - , prettyprinter-configurable ^>=1.31 + , prettyprinter-configurable ^>=1.32 , primitive , profunctors , recursion-schemes @@ -384,7 +384,7 @@ test-suite plutus-core-test , hex-text , mmorph , mtl - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.31 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.32 , prettyprinter , serialise , tasty @@ -447,7 +447,7 @@ test-suite untyped-plutus-core-test , hedgehog , lens , mtl - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.31 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.32 , pretty-show , prettyprinter , QuickCheck @@ -466,12 +466,11 @@ executable plc main-is: plc/Main.hs hs-source-dirs: executables build-depends: - , base >=4.9 && <5 + , base >=4.9 && <5 , bytestring - , flat ^>=0.6 + , flat ^>=0.6 , optparse-applicative - , plutus-core ^>=1.31 - , plutus-core-execlib ^>=1.31 + , plutus-core:{plutus-core, plutus-core-execlib} ^>=1.32 , text executable uplc @@ -479,16 +478,15 @@ executable uplc main-is: uplc/Main.hs hs-source-dirs: executables build-depends: - , base >=4.9 && <5 + , base >=4.9 && <5 , bytestring , criterion , deepseq - , flat ^>=0.6 + , flat ^>=0.6 , haskeline , mtl , optparse-applicative - , plutus-core ^>=1.31 - , plutus-core-execlib ^>=1.31 + , plutus-core:{plutus-core, plutus-core-execlib} ^>=1.32 , prettyprinter , split , text @@ -584,7 +582,7 @@ library plutus-ir , mtl , multiset , parser-combinators >=0.4.0 - , plutus-core ^>=1.31 + , plutus-core ^>=1.32 , prettyprinter >=1.1.0.1 , profunctors , semigroupoids @@ -653,7 +651,7 @@ test-suite plutus-ir-test , hedgehog , lens , mtl - , plutus-core:{plutus-core, plutus-core-testlib, plutus-ir} ^>=1.31 + , plutus-core:{plutus-core, plutus-core-testlib, plutus-ir} ^>=1.32 , QuickCheck , serialise , tasty @@ -669,15 +667,14 @@ executable pir main-is: pir/Main.hs hs-source-dirs: executables build-depends: - , base >=4.9 && <5 + , base >=4.9 && <5 , bytestring , cassava , containers , lens , megaparsec , optparse-applicative - , plutus-core-execlib ^>=1.31 - , plutus-core:{plutus-core, plutus-ir} ^>=1.31 + , plutus-core:{plutus-core, plutus-core-execlib, plutus-ir} ^>=1.32 , text , transformers @@ -733,7 +730,7 @@ executable plutus , microlens-th ^>=0.4 , mono-traversable , mtl - , plutus-core:{plutus-core, plutus-ir} ^>=1.31 + , plutus-core:{plutus-core, plutus-ir} ^>=1.32 , prettyprinter , primitive , serialise @@ -773,7 +770,7 @@ library plutus-core-execlib , monoidal-containers , mtl , optparse-applicative - , plutus-core:{plutus-core, plutus-core-testlib, plutus-ir} ^>=1.31 + , plutus-core:{plutus-core, plutus-core-testlib, plutus-ir} ^>=1.32 , prettyprinter , text @@ -838,9 +835,9 @@ library plutus-core-testlib , mmorph , mtl , multiset - , plutus-core:{plutus-core, plutus-ir} ^>=1.31 + , plutus-core:{plutus-core, plutus-ir} ^>=1.32 , prettyprinter >=1.1.0.1 - , prettyprinter-configurable ^>=1.31 + , prettyprinter-configurable ^>=1.32 , QuickCheck , quickcheck-instances , quickcheck-transformer @@ -872,7 +869,7 @@ library plutus-ir-cert exposed-modules: PlutusIR.Certifier build-depends: , base - , plutus-core:{plutus-core, plutus-ir} ^>=1.31 + , plutus-core:{plutus-core, plutus-ir} ^>=1.32 ---------------------------------------------- -- profiling @@ -950,7 +947,7 @@ executable cost-model-budgeting-bench , hedgehog , mtl , optparse-applicative - , plutus-core ^>=1.31 + , plutus-core ^>=1.32 , QuickCheck , quickcheck-instances , random @@ -984,7 +981,7 @@ executable generate-cost-model , directory , inline-r >=1.0.1 , optparse-applicative - , plutus-core ^>=1.31 + , plutus-core ^>=1.32 , text -- , exceptions @@ -1024,7 +1021,7 @@ benchmark cost-model-test , hedgehog , inline-r >=1.0.1 , mmorph - , plutus-core ^>=1.31 + , plutus-core ^>=1.32 , template-haskell , text @@ -1041,7 +1038,7 @@ executable print-cost-model , aeson , base >=4.9 && <5 , bytestring - , plutus-core ^>=1.31 + , plutus-core ^>=1.32 ---------------------------------------------- -- satint diff --git a/plutus-ledger-api/plutus-ledger-api.cabal b/plutus-ledger-api/plutus-ledger-api.cabal index 3d4a4f7632b..4eb9f0a3792 100644 --- a/plutus-ledger-api/plutus-ledger-api.cabal +++ b/plutus-ledger-api/plutus-ledger-api.cabal @@ -1,6 +1,6 @@ cabal-version: 3.0 name: plutus-ledger-api -version: 1.31.0.0 +version: 1.32.0.0 license: Apache-2.0 license-files: LICENSE @@ -101,8 +101,8 @@ library , lens , mtl , nothunks - , plutus-core ^>=1.31 - , plutus-tx ^>=1.31 + , plutus-core ^>=1.32 + , plutus-tx ^>=1.32 , prettyprinter , serialise , tagged @@ -130,9 +130,9 @@ library plutus-ledger-api-testlib , base64-bytestring , bytestring , containers - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.31 - , plutus-ledger-api ^>=1.31 - , plutus-tx ^>=1.31 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.32 + , plutus-ledger-api ^>=1.32 + , plutus-tx ^>=1.32 , prettyprinter , QuickCheck , serialise @@ -165,9 +165,9 @@ test-suite plutus-ledger-api-test , lens , mtl , nothunks - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.31 - , plutus-ledger-api:{plutus-ledger-api, plutus-ledger-api-testlib} ^>=1.31 - , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.31 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.32 + , plutus-ledger-api:{plutus-ledger-api, plutus-ledger-api-testlib} ^>=1.32 + , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.32 , prettyprinter , serialise , tasty @@ -201,10 +201,10 @@ test-suite plutus-ledger-api-plugin-test , containers , lens , mtl - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.31 - , plutus-ledger-api:{plutus-ledger-api, plutus-ledger-api-testlib} ^>=1.31 - , plutus-tx-plugin ^>=1.31 - , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.31 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.32 + , plutus-ledger-api:{plutus-ledger-api, plutus-ledger-api-testlib} ^>=1.32 + , plutus-tx-plugin ^>=1.32 + , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.32 , prettyprinter , tasty , tasty-hunit @@ -223,8 +223,8 @@ executable test-onchain-evaluation , extra , filepath , mtl - , plutus-core ^>=1.31 - , plutus-ledger-api:{plutus-ledger-api, plutus-ledger-api-testlib} ^>=1.31 + , plutus-core ^>=1.32 + , plutus-ledger-api:{plutus-ledger-api, plutus-ledger-api-testlib} ^>=1.32 , serialise , tasty , tasty-hunit @@ -243,9 +243,9 @@ executable analyse-script-events , filepath , lens , mtl - , plutus-core ^>=1.31 - , plutus-ledger-api:{plutus-ledger-api, plutus-ledger-api-testlib} ^>=1.31 - , plutus-tx ^>=1.31 + , plutus-core ^>=1.32 + , plutus-ledger-api:{plutus-ledger-api, plutus-ledger-api-testlib} ^>=1.32 + , plutus-tx ^>=1.32 , primitive , serialise diff --git a/plutus-metatheory/plutus-metatheory.cabal b/plutus-metatheory/plutus-metatheory.cabal index 1e282a920f2..ca96f23e81c 100644 --- a/plutus-metatheory/plutus-metatheory.cabal +++ b/plutus-metatheory/plutus-metatheory.cabal @@ -63,7 +63,7 @@ library , megaparsec , memory , optparse-applicative - , plutus-core:{plutus-core, plutus-core-execlib} ^>=1.31 + , plutus-core:{plutus-core, plutus-core-execlib} ^>=1.32 , process , text , transformers @@ -548,8 +548,8 @@ executable plc-agda test-suite test1 import: lang build-tool-depends: - , plutus-core:plc ^>=1.31 - , plutus-core:uplc ^>=1.31 + , plutus-core:plc ^>=1.32 + , plutus-core:uplc ^>=1.32 hs-source-dirs: test build-depends: @@ -564,8 +564,8 @@ test-suite test1 test-suite test2 import: lang build-tool-depends: - , plutus-core:plc ^>=1.31 - , plutus-core:uplc ^>=1.31 + , plutus-core:plc ^>=1.32 + , plutus-core:uplc ^>=1.32 hs-source-dirs: test type: detailed-0.9 @@ -590,7 +590,7 @@ test-suite test3 , base , lazy-search , mtl - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.31 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.32 , plutus-metatheory , size-based , Stream diff --git a/plutus-tx-plugin/plutus-tx-plugin.cabal b/plutus-tx-plugin/plutus-tx-plugin.cabal index 0b07cb21c50..70e244ba15c 100644 --- a/plutus-tx-plugin/plutus-tx-plugin.cabal +++ b/plutus-tx-plugin/plutus-tx-plugin.cabal @@ -1,6 +1,6 @@ cabal-version: 3.0 name: plutus-tx-plugin -version: 1.31.0.0 +version: 1.32.0.0 license: Apache-2.0 license-files: LICENSE @@ -83,8 +83,8 @@ library , flat ^>=0.6 , lens , mtl - , plutus-core:{plutus-core, plutus-ir} ^>=1.31 - , plutus-tx ^>=1.31 + , plutus-core:{plutus-core, plutus-ir} ^>=1.32 + , plutus-tx ^>=1.32 , prettyprinter , PyF >=0.11.1.0 , template-haskell @@ -109,7 +109,7 @@ executable gen-plugin-opts-doc , containers , lens , optparse-applicative - , plutus-tx-plugin ^>=1.31 + , plutus-tx-plugin ^>=1.32 , prettyprinter , PyF >=0.11.1.0 , text @@ -184,10 +184,10 @@ test-suite plutus-tx-plugin-tests , hedgehog , lens , mtl - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.31 - , plutus-tx-plugin ^>=1.31 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.32 + , plutus-tx-plugin ^>=1.32 , plutus-tx-test-util - , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.31 + , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.32 , serialise , tasty , tasty-golden @@ -216,9 +216,9 @@ test-suite size hs-source-dirs: test/size build-depends: , base >=4.9 && <5.0 - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.31 - , plutus-tx-plugin ^>=1.31 - , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.31 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.32 + , plutus-tx-plugin ^>=1.32 + , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.32 , tagged , tasty diff --git a/plutus-tx-test-util/plutus-tx-test-util.cabal b/plutus-tx-test-util/plutus-tx-test-util.cabal index 8eeed11a59e..3967d7b5ce3 100644 --- a/plutus-tx-test-util/plutus-tx-test-util.cabal +++ b/plutus-tx-test-util/plutus-tx-test-util.cabal @@ -71,8 +71,8 @@ library -- other-extensions: build-depends: , base >=4.9 && <5 - , plutus-core ^>=1.31 - , plutus-tx ^>=1.31 + , plutus-core ^>=1.32 + , plutus-tx ^>=1.32 , text hs-source-dirs: testlib diff --git a/plutus-tx/CHANGELOG.md b/plutus-tx/CHANGELOG.md index fd1672a8763..8b517e19f09 100644 --- a/plutus-tx/CHANGELOG.md +++ b/plutus-tx/CHANGELOG.md @@ -1,4 +1,11 @@ + +# 1.32.0.0 — 2024-08-06 + +## Changed + +- In #6347 made `[] :: [Integer]`, `[] :: [Bool]`, `[] :: [Data]`, and `[(Data, Data)]` compile directly to the respective empty list via the `MkNil` type class without usage of built-in functions or `defineBuiltinTerm`. + # 1.30.0.0 — 2024-06-17 diff --git a/plutus-tx/changelog.d/20240731_145553_effectfully_add_general_mkNil.md b/plutus-tx/changelog.d/20240731_145553_effectfully_add_general_mkNil.md deleted file mode 100644 index e42441f2739..00000000000 --- a/plutus-tx/changelog.d/20240731_145553_effectfully_add_general_mkNil.md +++ /dev/null @@ -1,3 +0,0 @@ -### Changed - -- In #6347 made `[] :: [Integer]`, `[] :: [Bool]`, `[] :: [Data]`, and `[(Data, Data)]` compile directly to the respective empty list via the `MkNil` type class without usage of built-in functions or `defineBuiltinTerm`. diff --git a/plutus-tx/plutus-tx.cabal b/plutus-tx/plutus-tx.cabal index c6db4c1a69e..7cb7275499a 100644 --- a/plutus-tx/plutus-tx.cabal +++ b/plutus-tx/plutus-tx.cabal @@ -1,6 +1,6 @@ cabal-version: 3.0 name: plutus-tx -version: 1.31.0.0 +version: 1.32.0.0 license: Apache-2.0 license-files: LICENSE @@ -131,7 +131,7 @@ library , lens , memory , mtl - , plutus-core:{plutus-core, plutus-ir} ^>=1.31 + , plutus-core:{plutus-core, plutus-ir} ^>=1.32 , prettyprinter , serialise , template-haskell >=2.13.0.0 @@ -164,8 +164,8 @@ library plutus-tx-testlib , hedgehog , lens , mtl - , plutus-core:{plutus-core, plutus-core-testlib, plutus-ir} ^>=1.31 - , plutus-tx ^>=1.31 + , plutus-core:{plutus-core, plutus-core-testlib, plutus-ir} ^>=1.32 + , plutus-tx ^>=1.32 , prettyprinter , tagged , tasty @@ -213,8 +213,8 @@ test-suite plutus-tx-test , hedgehog-fn , lens , mtl - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.31 - , plutus-tx ^>=1.31 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.32 + , plutus-tx ^>=1.32 , pretty-show , serialise , tasty diff --git a/prettyprinter-configurable/prettyprinter-configurable.cabal b/prettyprinter-configurable/prettyprinter-configurable.cabal index a66a1d7f671..c5cd46ac20c 100644 --- a/prettyprinter-configurable/prettyprinter-configurable.cabal +++ b/prettyprinter-configurable/prettyprinter-configurable.cabal @@ -1,6 +1,6 @@ cabal-version: 2.4 name: prettyprinter-configurable -version: 1.31.0.0 +version: 1.32.0.0 synopsis: Configurable pretty-printing homepage: https://github.com/input-output-hk/plutus/tree/master/prettyprinter-configurable/ @@ -76,7 +76,7 @@ test-suite prettyprinter-configurable-test , base >=4.9 && <5 , megaparsec , parser-combinators - , prettyprinter-configurable ^>=1.31 + , prettyprinter-configurable ^>=1.32 , QuickCheck , quickcheck-text , tasty