Sulkta-Coop/agora
2
0
Fork 0
Code Issues 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 529525f5c8
commit be05643f13
No known key found for this signature in database
GPG key ID: 35CD9A71CD5D5870
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 '[]))
| PVotingReady (Term s (PDataRecord '[]))
| PLocked (Term s (PDataRecord '[]))
| PExecutable (Term s (PDataRecord '[]))
| PFinished (Term s (PDataRecord '[]))
deriving stock (GHC.Generic)
deriving anyclass (Generic)