diff --git a/eras/conway/impl/src/Cardano/Ledger/Conway/Rules/Epoch.hs b/eras/conway/impl/src/Cardano/Ledger/Conway/Rules/Epoch.hs index 1560e488af0..0d8a0c6290a 100644 --- a/eras/conway/impl/src/Cardano/Ledger/Conway/Rules/Epoch.hs +++ b/eras/conway/impl/src/Cardano/Ledger/Conway/Rules/Epoch.hs @@ -24,7 +24,7 @@ where import Cardano.Ledger.Address (RewardAcnt (getRwdCred)) import Cardano.Ledger.BaseTypes (ShelleyBase) -import Cardano.Ledger.CertState (certDStateL, dsUnifiedL) +import Cardano.Ledger.CertState (certDStateL, dsUnifiedL, vsDRepsL) import Cardano.Ledger.Coin (Coin) import Cardano.Ledger.Compactible (Compactible (..)) import Cardano.Ledger.Conway.Core @@ -253,6 +253,7 @@ epochTransition = do , reStakePoolDistr = stakePoolDistr , reDRepDistr = drepDistr , reCurrentEpoch = eNo + , reDRepState = vstate ^. vsDRepsL } govStateToSeq = Seq.fromList . Map.toList ratSig = RatifySignal . govStateToSeq . unGovActionsState $ cgGovActionsState govSt diff --git a/eras/conway/impl/src/Cardano/Ledger/Conway/Rules/Ratify.hs b/eras/conway/impl/src/Cardano/Ledger/Conway/Rules/Ratify.hs index 355a915f3db..489802edce8 100644 --- a/eras/conway/impl/src/Cardano/Ledger/Conway/Rules/Ratify.hs +++ b/eras/conway/impl/src/Cardano/Ledger/Conway/Rules/Ratify.hs @@ -22,6 +22,7 @@ module Cardano.Ledger.Conway.Rules.Ratify ( ) where import Cardano.Ledger.BaseTypes (ShelleyBase) +import Cardano.Ledger.CertState (DRepState (..)) import Cardano.Ledger.Coin (Coin (..), CompactForm (..)) import Cardano.Ledger.Conway.Era (ConwayENACT, ConwayRATIFY) import Cardano.Ledger.Conway.Governance ( @@ -59,6 +60,7 @@ data RatifyEnv era = RatifyEnv { reStakeDistr :: !(Map (Credential 'Staking (EraCrypto era)) Coin) , reStakePoolDistr :: !(PoolDistr (EraCrypto era)) , reDRepDistr :: !(Map (DRep (EraCrypto era)) (CompactForm Coin)) + , reDRepState :: !(Map (Credential 'DRepRole (EraCrypto era)) (DRepState (EraCrypto era))) , reCurrentEpoch :: !EpochNo } deriving (Show) diff --git a/eras/conway/impl/testlib/Test/Cardano/Ledger/Conway/Arbitrary.hs b/eras/conway/impl/testlib/Test/Cardano/Ledger/Conway/Arbitrary.hs index 78403ab0b50..a488b33c36a 100644 --- a/eras/conway/impl/testlib/Test/Cardano/Ledger/Conway/Arbitrary.hs +++ b/eras/conway/impl/testlib/Test/Cardano/Ledger/Conway/Arbitrary.hs @@ -117,6 +117,7 @@ instance <*> arbitrary <*> arbitrary <*> arbitrary + <*> arbitrary instance Crypto (EraCrypto era) => Arbitrary (Constitution era) where arbitrary = Constitution <$> arbitrary <*> arbitrary