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

make sure all stakes are burnt while destroying stakes

Browse source
This commit is contained in:
Hongrui Fang 2022-10-24 23:41:39 +08:00
parent cbab587604
commit 3fef9d221c
No known key found for this signature in database
GPG key ID: F10AB2CCE24113DD
1 changed files with 4 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

5
agora/Agora/Stake/Redeemers.hs
View file

@ -351,9 +351,12 @@ pdestroy = phoistAcyclic $
pguardC "Owner signs this transaction" $
pisSignedBy # pconstant False # ctx
pguardC "Stake unlocked" $
pguardC "All stakes unlocked" $
pnot #$ pany # pstakeLocked # ctxF.stakeInputDatums
pguardC "All stakes burnt" $
pnull # ctxF.stakeOutputDatums
pure $ pconstant ()
{- | Default implementation of 'Agora.Stake.DepositWithdraw'.