From 0f2be417a708065d9517f6f70b0305011ff7de2b 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)