Sulkta-OSS/agora
2
0
Fork 0
Code Issues 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 067d69d8f6
commit c7bfe116d5
No known key found for this signature in database
GPG key ID: 35CD9A71CD5D5870
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,
Proposal (..),
ProposalId,
ProposalStatus (Draft, Executable),
ProposalStatus (Draft, Locked),
ProposalThresholds,
pnextProposalId,
proposalDatumValid,
@ -613,8 +613,8 @@ governorValidator gov =
pletFields @'["id", "effects", "status", "cosigners", "thresholds", "votes"]
inputProposalDatum'
passert "Proposal must be in executable state in order to execute effects" $
inputProposalDatum.status #== pconstantData Executable
passert "Proposal must be in locked(executable) state in order to execute effects" $
inputProposalDatum.status #== pconstantData Locked
let expectedOutputProposalDatum =
pforgetData $

1
agora/Agora/Proposal.hs
View file

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