From be05643f13e6902f9f7bc1eef4021923dda7b4fe Mon Sep 17 00:00:00 2001 From: fanghr Date: Thu, 21 Apr 2022 22:07:15 +0800 Subject: [PATCH] add executable state for the proposal --- agora/Agora/Proposal.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/agora/Agora/Proposal.hs b/agora/Agora/Proposal.hs index 7a01b5e..52b199d 100644 --- a/agora/Agora/Proposal.hs +++ b/agora/Agora/Proposal.hs @@ -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)