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

add missing plutarch level proposal status PLocked

Browse source
This commit is contained in:
Hongrui Fang 2022-04-21 18:21:20 +08:00 • committed by Emily Martins
parent eb4dc2c654
commit 53629f53c3
2 changed files with 1 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

1
agora/Agora/Proposal.hs
View file

@ -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)

2
agora/Agora/Stake.hs
View file

@ -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