Sulkta-OSS/agora
3
0
Fork 0
Code Issues 1 Pull requests Projects Releases Packages Wiki Activity Actions

remove executable state of the proposal

Browse source 
revert 45a09e8 and 8ffc430
This commit is contained in:
fanghr 2022-04-27 16:23:35 +08:00
parent 31716e573c
commit 836ec5e9cf
2 changed files with 3 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

6
agora/Agora/Governor.hs
View file

@ -50,7 +50,7 @@ import Agora.Proposal (
PResultTag, PResultTag,
Proposal (..), Proposal (..),
ProposalId, ProposalId,
ProposalStatus (Draft, Executable), ProposalStatus (Draft, Locked),
ProposalThresholds, ProposalThresholds,
pnextProposalId, pnextProposalId,
proposalDatumValid, proposalDatumValid,
@ -613,8 +613,8 @@ governorValidator gov =
pletFields @'["id", "effects", "status", "cosigners", "thresholds", "votes"] pletFields @'["id", "effects", "status", "cosigners", "thresholds", "votes"]
inputProposalDatum' inputProposalDatum'
passert "Proposal must be in executable state in order to execute effects" $ passert "Proposal must be in locked(executable) state in order to execute effects" $
inputProposalDatum.status #== pconstantData Executable inputProposalDatum.status #== pconstantData Locked
let expectedOutputProposalDatum = let expectedOutputProposalDatum =
pforgetData $ pforgetData $

1
agora/Agora/Proposal.hs
View file

@ -303,7 +303,6 @@ data PProposalStatus (s :: S)
PDraft (Term s (PDataRecord '[])) PDraft (Term s (PDataRecord '[]))
| PVotingReady (Term s (PDataRecord '[])) | PVotingReady (Term s (PDataRecord '[]))
| PLocked (Term s (PDataRecord '[])) | PLocked (Term s (PDataRecord '[]))
| PExecutable (Term s (PDataRecord '[]))
| PFinished (Term s (PDataRecord '[])) | PFinished (Term s (PDataRecord '[]))
deriving stock (GHC.Generic) deriving stock (GHC.Generic)
deriving anyclass (Generic) deriving anyclass (Generic)