From 53629f53c3e5326080311efa8b533db4e1c7f265 Mon Sep 17 00:00:00 2001 From: Hongrui Fang Date: Thu, 21 Apr 2022 18:21:20 +0800 Subject: [PATCH] add missing plutarch level proposal status `PLocked` --- agora/Agora/Proposal.hs | 1 + agora/Agora/Stake.hs | 2 -- 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/agora/Agora/Proposal.hs b/agora/Agora/Proposal.hs index 5fa862d..e6cdce0 100644 --- a/agora/Agora/Proposal.hs +++ b/agora/Agora/Proposal.hs @@ -304,6 +304,7 @@ data PProposalStatus (s :: S) -- e.g. like Tilde used 'pmatchEnum'. PDraft (Term s (PDataRecord '[])) | PVotingReady (Term s (PDataRecord '[])) + | PLocked (Term s (PDataRecord '[])) | PFinished (Term s (PDataRecord '[])) deriving stock (GHC.Generic) deriving anyclass (Generic) diff --git a/agora/Agora/Stake.hs b/agora/Agora/Stake.hs index 05a4d23..f484f9d 100644 --- a/agora/Agora/Stake.hs +++ b/agora/Agora/Stake.hs @@ -441,8 +441,6 @@ stakeValidator stake = anyOutput @PStakeDatum # txInfo #$ plam $ \value address newStakeDatum' -> P.do - PStakeDatum newStakeDatum <- pmatch newStakeDatum' - newStakeDatumF <- pletFields @'["stakedAmount"] newStakeDatum let isScriptAddress = pdata address #== ownAddress let correctOutputDatum = pdata newStakeDatum' #== pdata stakeDatum' let valueCorrect = pdata continuingValue #== pdata value