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

add executable state for the proposal

Browse source
This commit is contained in:
fanghr 2022-04-21 22:07:15 +08:00
parent 9e724fb75a
commit 0f2be417a7
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
agora/Agora/Proposal.hs
View file

@ -303,6 +303,7 @@ 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)