Bump sc-tools

cabal.project

@@ -15,21 +15,8 @@ repository cardano-haskell-packages
     d4a35cd3121aa00d18544bb0ac01c3e1691d618f462c46129271bccf39f7e8ee
 
 index-state:
-  , hackage.haskell.org 2025-04-15T08:13:08Z
-  , cardano-haskell-packages 2025-04-11T16:42:25Z
-
-constraints:
-  plutus-core == 1.40.0.0,
-  plutus-ledger-api == 1.40.0.0
-
-allow-newer:
-  *:plutus-core,
-  *:plutus-ledger-api,
-
-allow-older:
-  -- NOTE: Currently, plutarch depends on plutus-core version 1.40, while the rest of the (cardano) world is at 1.37.
-  -- TODO: Delete when plutarch is moving to 1.37
-  plutarch:plutus-core
+  , hackage.haskell.org 2025-08-14T14:31:31Z
+  , cardano-haskell-packages 2025-08-14T14:31:31Z
 
 with-compiler: ghc-9.6.6
 
@@ -40,11 +27,29 @@ packages:
     src/examples/regulated-stablecoin
     src/examples/aiken/haskell
 
+constraints:
+  cardano-api == 10.17.2.0
+  , plutus-core == 1.51.0.0
+  , plutus-ledger-api == 1.51.0.0
+  , quickcheck-dynamic == 3.4.2
+
+allow-older:
+  *:cardano-api
+  , *:plutus-core
+  , *:plutus-ledger-api
+  , *:QuickCheck
+
+allow-newer:
+  *:cardano-api
+  , *:plutus-core
+  , *:plutus-ledger-api
+  , *:QuickCheck
+
 source-repository-package
   type: git
   location: https://github.com/j-mueller/sc-tools
-  tag: 100452e6b64200cdffcb2582be07c47e1efebb6b
-  --sha256: sha256-65swdL2zk1mbqdjten6SIX/2v8tADOX4AhzyE0ocpwY=
+  tag: 1240643dbb8af5df075f4b1894a672744e733a7f
+  --sha256: sha256-Jqj4DHEsXBrTSZSWqFiGKCNXwavOd2kAAFb8cPNZdgs=
   subdir:
     src/devnet
     src/coin-selection
@@ -58,9 +63,9 @@ source-repository-package
 
 source-repository-package
     type: git
-    location: https://github.com/Plutonomicon/plutarch-plutus
-    tag: f84a46287b06f36abf8d2d63bec7ff75d32f3e91
-    --sha256: sha256-gKBk9D6DHSEudq7P9+07yXWcgM/QX7NFp0tJXBodopM=
+    location: https://github.com/choener/plutarch-plutus
+    tag: 99315dada86e042bbc1dee5c5ccae158119031eb
+    --sha256: sha256-kgjYtDcqqEsF61QqK5eoxwL4Gbj9A0tAAqw6xH01NB0=
     subdir:
       .
       plutarch-ledger-api
@@ -70,8 +75,8 @@ source-repository-package
 source-repository-package
     type: git
     location: https://github.com/input-output-hk/catalyst-onchain-libs
-    tag: 2d8389099584e2d9735e9374895386c72d90517a
-    --sha256: sha256-sdeDXUiL1MbEtJYbN4URwpQ8CbUKjxxGXUxjj1qqi3E=
+    tag: 6c7156c441c18b2c76066eae1cce1578190c9cfd
+    --sha256: sha256-bGf20nAEeMJ3iajMqRBN88BQSMVTXecXl6CztHiZUtA=
     subdir:
       src/plutarch-onchain-lib
 

flake.nix

@@ -49,7 +49,7 @@
     inherit inputs;
     repoRoot = ./.;
     outputs = import ./nix/outputs.nix;
-    systems = [ "x86_64-linux" ]; # "x86_64-darwin" ];
+    systems = [ "x86_64-linux" ]; # "aarch64-darwin" ];
   };
 
   nixConfig = {

src/examples/aiken/haskell/aiken-example.cabal

@@ -55,8 +55,6 @@ common lang
 library
   import:          lang
   exposed-modules:
-    Wst.Aiken.Blueprint
-    Wst.Aiken.BlueprintKey
     Wst.Aiken.Error
     Wst.Aiken.Offchain
     Wst.Cli
@@ -69,21 +67,17 @@ library
     , base
     , base16-bytestring
     , Blammo
-    , blockfrost-api
     , blockfrost-client-core
     , bytestring
     , cardano-api
-    , containers
     , convex-base
     , convex-blockfrost
     , convex-coin-selection
     , convex-optics
     , convex-wallet
-    , hset
     , lens
     , mtl
     , optparse-applicative
-    , plutus-core
     , plutus-ledger-api
     , programmable-tokens-offchain
     , programmable-tokens-onchain
@@ -99,7 +93,6 @@ test-suite aiken-example-test
     , aiken-example
     , base                          >=4.14.0
     , cardano-api
-    , containers
     , convex-base
     , convex-coin-selection
     , convex-wallet

src/examples/aiken/haskell/lib/Wst/Aiken/Error.hs

@@ -11,33 +11,13 @@ module Wst.Aiken.Error(
 ) where
 
 import Blockfrost.Client.Core (BlockfrostError)
-import Cardano.Api (AnyPlutusScriptVersion, AnyScriptLanguage)
 import Control.Lens (makeClassyPrisms)
+import Convex.Aiken.Error (AsBlueprintError (..), AsLookupScriptFailure (..),
+                           BlueprintError (..), LookupScriptFailure (..))
 import Convex.CoinSelection (AsBalancingError (..), AsCoinSelectionError (..),
                              BalancingError, CoinSelectionError)
 import ProgrammableTokens.OffChain.Error (AsProgrammableTokensError (..),
                                           ProgrammableTokensError)
-import Wst.Aiken.BlueprintKey (BlueprintKey)
-
-data BlueprintError =
-
-  -- | Failed to convert 'ScriptInAnyLang' to the target script version
-  UnexpectedPlutusVersionError
-    { expectedVersion :: AnyPlutusScriptVersion
-    , actualVersion   :: AnyScriptLanguage
-    }
-
-  | BlueprintJsonError String
-  deriving stock (Show)
-
-makeClassyPrisms ''BlueprintError
-
-data LookupScriptFailure =
-  FailedToFindTransferScript BlueprintKey
-  | FailedToFindIssuanceScript BlueprintKey
-  deriving stock (Eq, Show)
-
-makeClassyPrisms ''LookupScriptFailure
 
 data AikenError era =
   ABlueprintError BlueprintError