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

fix hlint

Browse source
This commit is contained in:
Emily Martins 2022-03-03 16:11:25 +01:00
parent d63a0539c5
commit e27ad40548
1 changed files with 4 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/Agora/Stake.hs
View file

@ -228,7 +228,8 @@ stakeValidator stake =
mintedST #== -1
passert "Stake unlocked" $
pnot #$ stakeLocked # stakeDatum'
passert "Owner signs this transaction" $
passert
"Owner signs this transaction"
ownerSignsTransaction
popaque (pconstant ())
PDepositWithdraw r -> P.do
@ -236,7 +237,8 @@ stakeValidator stake =
spentST #== 1
passert "Stake unlocked" $
pnot #$ stakeLocked # stakeDatum'
passert "Owner signs this transaction" $
passert
"Owner signs this transaction"
ownerSignsTransaction
passert "A UTXO must exist with the correct output" $
anyOutput @(PStakeDatum gt) # txInfo'