Sulkta-OSS/agora
3
0
Fork 0
Code Issues 1 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 4ea9255a6b
commit cee9eaec79
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'. -- e.g. like Tilde used 'pmatchEnum'.
PDraft (Term s (PDataRecord '[])) PDraft (Term s (PDataRecord '[]))
| PVotingReady (Term s (PDataRecord '[])) | PVotingReady (Term s (PDataRecord '[]))
| PLocked (Term s (PDataRecord '[]))
| PFinished (Term s (PDataRecord '[])) | PFinished (Term s (PDataRecord '[]))
deriving stock (GHC.Generic) deriving stock (GHC.Generic)
deriving anyclass (Generic) deriving anyclass (Generic)

2
agora/Agora/Stake.hs
View file

@ -441,8 +441,6 @@ stakeValidator stake =
anyOutput @PStakeDatum # txInfo anyOutput @PStakeDatum # txInfo
#$ plam #$ plam
$ \value address newStakeDatum' -> P.do $ \value address newStakeDatum' -> P.do
PStakeDatum newStakeDatum <- pmatch newStakeDatum'
newStakeDatumF <- pletFields @'["stakedAmount"] newStakeDatum
let isScriptAddress = pdata address #== ownAddress let isScriptAddress = pdata address #== ownAddress
let correctOutputDatum = pdata newStakeDatum' #== pdata stakeDatum' let correctOutputDatum = pdata newStakeDatum' #== pdata stakeDatum'
let valueCorrect = pdata continuingValue #== pdata value let valueCorrect = pdata continuingValue #== pdata value