Sulkta-OSS/agora
3
0
Fork 0
Code Issues 1 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 0e045d6f10
commit af06b8fb51
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 mintedST #== -1
passert "Stake unlocked" $ passert "Stake unlocked" $
pnot #$ stakeLocked # stakeDatum' pnot #$ stakeLocked # stakeDatum'
passert "Owner signs this transaction" $ passert
"Owner signs this transaction"
ownerSignsTransaction ownerSignsTransaction
popaque (pconstant ()) popaque (pconstant ())
PDepositWithdraw r -> P.do PDepositWithdraw r -> P.do
@ -236,7 +237,8 @@ stakeValidator stake =
spentST #== 1 spentST #== 1
passert "Stake unlocked" $ passert "Stake unlocked" $
pnot #$ stakeLocked # stakeDatum' pnot #$ stakeLocked # stakeDatum'
passert "Owner signs this transaction" $ passert
"Owner signs this transaction"
ownerSignsTransaction ownerSignsTransaction
passert "A UTXO must exist with the correct output" $ passert "A UTXO must exist with the correct output" $
anyOutput @(PStakeDatum gt) # txInfo' anyOutput @(PStakeDatum gt) # txInfo'