Merge pull request #5016 from IntersectMBO/carlos/bump-fls

lehins · web-flow · commit f5ab505c2e32 · 2025-05-08T18:59:50.000-06:00
Bump formal-ledger-specifications
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: da80e1780155482bc949605049ff0653edd4f2d2
 
 -- 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,13 @@ 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 (raCredential ppRewardAccount)
 
 instance SpecTranslate ctx DRep where
   type SpecRep DRep = Agda.VDeleg
