diff --git a/agora/Agora/Governor/Scripts.hs b/agora/Agora/Governor/Scripts.hs index a11af86..f5833d7 100644 --- a/agora/Agora/Governor/Scripts.hs +++ b/agora/Agora/Governor/Scripts.hs @@ -45,7 +45,6 @@ import Agora.Scripts ( stakeSTSymbol, ) import Agora.Stake ( - PProposalLock (..), PStakeDatum (..), pnumCreatedProposals, ) @@ -469,31 +468,6 @@ governorValidator as = #&& proposalOutputDatumF.timingConfig #== governorInputDatumF.proposalTimings ] - -- Check the output stake has been properly updated. - - let stakeOutputDatum = - passertPJust # "Output stake should be presented" - #$ pfindJust - # getStakeDatum - # pfromData txInfoF.outputs - - stakeOutputLocks = - pfromData $ pfield @"lockedBy" # stakeOutputDatum - - -- The stake should be locked by the newly created proposal. - newLock = - mkRecordConstr - PCreated - ( #created .= governorInputDatumF.nextProposalId - ) - - -- Append new locks to existing locks - expectedProposalLocks = - pcons # pdata newLock # stakeInputDatumF.lockedBy - - pguardC "Stake output locks correct" $ - plistEquals # stakeOutputLocks # expectedProposalLocks - pure $ popaque $ pconstant () ------------------------------------------------------------------------