Skip to content
Permalink
Browse files

Incorporate Michael's comments [skip ci]

  • Loading branch information...
dnadales committed Mar 14, 2019
1 parent e463f58 commit 94a047c0763bb680a9f235a4bd623c11441f3437
Showing with 2 additions and 3 deletions.
  1. +2 −3 src/Cardano/Chain/Update/Validation/Interface.hs
@@ -48,7 +48,6 @@ import Cardano.Prelude

import Control.Lens ((.~), makeLenses, (^.), (%~))
import qualified Data.Map.Strict as M
import qualified Data.Set as S

import Cardano.Chain.Slotting (EpochIndex, FlatSlotId)
import Cardano.Chain.Common.StakeholderId (StakeholderId)
@@ -155,7 +154,7 @@ registerVote env st vote = do
subEnv = Voting.Environment sn pps (Voting.RegistrationEnvironment rups dms)
sn = env ^. currentSlot
pps = st ^. adoptedProtocolParams
rups = S.fromAscList $! M.keys (st ^. proposalRegistrationSlot)
rups = M.keysSet (st ^. proposalRegistrationSlot)
dms = env ^. delegationMap
subSt = Voting.State vts cps
vts = st ^. proposalVotes
@@ -173,5 +172,5 @@ registerVote env st vote = do
& confirmedProposals .~ cps'
& proposalVotes .~ vts'
& appVersions %~ M.union avsNew
& registeredSoftwareUpdateProposals %~ (`M.withoutKeys` S.fromAscList (M.keys cps))
& registeredSoftwareUpdateProposals %~ (`M.withoutKeys` M.keysSet cps)
-- TODO: consider using the `Relation` instances from `fm-ledger-rules` (see `Ledger.Core`)

0 comments on commit 94a047c

Please sign in to comment.
You can’t perform that action at this time.