File tree Expand file tree Collapse file tree 1 file changed +7
-5
lines changed
libs/cardano-ledger-conformance/src/Test/Cardano/Ledger/Conformance/SpecTranslate/Conway Expand file tree Collapse file tree 1 file changed +7
-5
lines changed Original file line number Diff line number Diff line change @@ -600,11 +600,13 @@ instance SpecTranslate ctx RewardAccount where
600
600
instance SpecTranslate ctx PoolParams where
601
601
type SpecRep PoolParams = Agda. PoolParams
602
602
603
- toSpecRep PoolParams {.. } = Agda. PoolParams <$> toSpecRep ppOwners
604
- <*> toSpecRep ppCost
605
- <*> toSpecRep ppMargin
606
- <*> toSpecRep ppPledge
607
- <*> toSpecRep (KeyHashObj ppId)
603
+ toSpecRep PoolParams {.. } =
604
+ Agda. PoolParams
605
+ <$> toSpecRep ppOwners
606
+ <*> toSpecRep ppCost
607
+ <*> toSpecRep ppMargin
608
+ <*> toSpecRep ppPledge
609
+ <*> toSpecRep (KeyHashObj ppId)
608
610
609
611
instance SpecTranslate ctx DRep where
610
612
type SpecRep DRep = Agda. VDeleg
You can’t perform that action at this time.
0 commit comments