Bumped spec

IntersectMBO · Jan 30, 2025 · 1c45d34 · 1c45d34
1 parent bc10beb
commit 1c45d34
Show file tree

Hide file tree

Showing 3 changed files with 17 additions and 7 deletions.
diff --git a/cabal.project b/cabal.project
@@ -20,12 +20,12 @@ repository cardano-haskell-packages
 -- $ nix-prefetch-git https://github.com/intersectmbo/formal-ledger-specifications --rev <GIT_SHA> | jq .hash
 source-repository-package
   type: git
-  location: https://github.com/IntersectMBO/formal-ledger-specifications.git
+  location: https://github.com/Soupstraw/exec-spec-temporary.git
   -- !WARNING!:
   -- MAKE SURE THIS POINTS TO A COMMIT IN `MAlonzo-code` BEFORE MERGE!
-  subdir: generated
-  --sha256: sha256-CebCHTM0lvIAJ5lx0LRcMEDeU4nGVWJlkvhJPE5tI9Y=
-  tag: 0f9eb79886f4d45a2cbb241af49b9e199735bd37
+  --subdir: generated
+  --sha256: sha256-trZN0XNbCuqygYK9bAwDOlMRLhg+UJglRMOupL1IbG8=
+  tag: 3dd3de94fc4f5454ba793656eb42099551402633
 
 -- NOTE: If you would like to update the above, look for the `MAlonzo-code`
 -- branch in the `formal-ledger-specifications` repo and copy the SHA of

diff --git a/eras/conway/impl/testlib/Test/Cardano/Ledger/Conway/Imp/GovSpec.hs b/eras/conway/impl/testlib/Test/Cardano/Ledger/Conway/Imp/GovSpec.hs
@@ -869,6 +869,17 @@ votingSpec =
             . constitutionAnchorL
       expectNoCurrentProposals
       conAnchor `shouldNotBe` anchor
+    it "can submit SPO votes" $ do
+      spoHash <- freshKeyHash
+      registerPool spoHash
+      passNEpochs 3
+      govPolicy <- getGovPolicy
+      gaId <- submitGovAction $
+        ParameterChange
+          SNothing
+          (emptyPParamsUpdate & ppuMinFeeAL .~ SJust (Coin 100))
+          govPolicy
+      submitVote_ @era VoteYes (StakePoolVoter spoHash) gaId
 
 constitutionSpec ::
   forall era.

diff --git a/...rdano-ledger-conformance/src/Test/Cardano/Ledger/Conformance/SpecTranslate/Conway/Pool.hs b/...rdano-ledger-conformance/src/Test/Cardano/Ledger/Conformance/SpecTranslate/Conway/Pool.hs
@@ -13,7 +13,6 @@ import Cardano.Ledger.CertState
 import Cardano.Ledger.Core
 import Cardano.Ledger.PoolParams
 import Cardano.Ledger.Shelley.Rules
-import Data.Map.Strict (mapKeys)
 import qualified Lib as Agda
 import Test.Cardano.Ledger.Conformance
 import Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base ()
@@ -38,8 +37,8 @@ instance SpecTranslate ctx (PState era) where
 
   toSpecRep PState {..} =
     Agda.MkPState
-      <$> toSpecRep (mapKeys (hashToInteger . unKeyHash) psStakePoolParams)
-      <*> toSpecRep (mapKeys (hashToInteger . unKeyHash) psRetiring)
+      <$> toSpecRep psStakePoolParams
+      <*> toSpecRep psRetiring
 
 instance SpecTranslate ctx PoolCert where
   type SpecRep PoolCert = Agda.DCert