Bump formal-ledger-specifications

carlostome · lehins · commit d794e66da799 · 2025-05-08T16:37:56.000-06:00
diff --git a/cabal.project b/cabal.project
@@ -16,7 +16,7 @@ source-repository-package
   subdir: hs
   -- !WARNING!:
   -- MAKE SURE THIS POINTS TO A COMMIT IN `*-artifacts` BEFORE MERGE!
-  tag: cccfde6934ab0988fee3885ee160fffe04aa8274
+  tag: f88cb0f643f1010b479b62b1fc05ec0a9086d184
 
 -- NOTE: If you would like to update the above,
 -- see CONTRIBUTING.md#to-update-the-referenced-agda-ledger-spec
diff --git a/flake.lock b/flake.lock
diff --git a/libs/cardano-ledger-conformance/src/Test/Cardano/Ledger/Conformance/SpecTranslate/Conway/Base.hs b/libs/cardano-ledger-conformance/src/Test/Cardano/Ledger/Conformance/SpecTranslate/Conway/Base.hs
@@ -600,7 +600,11 @@ instance SpecTranslate ctx RewardAccount where
 instance SpecTranslate ctx PoolParams where
   type SpecRep PoolParams = Agda.PoolParams
 
-  toSpecRep PoolParams {..} = Agda.PoolParams <$> toSpecRep (KeyHashObj ppId)
+  toSpecRep PoolParams {..} = Agda.PoolParams <$> toSpecRep ppOwners
+                                              <*> toSpecRep ppCost
+                                              <*> toSpecRep ppMargin
+                                              <*> toSpecRep ppPledge
+                                              <*> toSpecRep (KeyHashObj ppId)
 
 instance SpecTranslate ctx DRep where
   type SpecRep DRep = Agda.VDeleg
