improve readability

This commit is contained in:
Hongrui Fang 2022-11-28 17:22:47 +08:00
parent 857f1bfaa9
commit 5f9e6f57b2

View file

@ -293,15 +293,12 @@ premoveLocks =
createdAt
) =
let notInCooldown = createdAt + unlockCooldown #<= lowerBound
in foldl1
(#||)
[ shouldRemoveAllLocks
, -- Fail the transaction if a voter lock is in cooldown.∏
passert
"Voter lock shouldn't be in cooldown"
notInCooldown
(pconstant True)
]
in pif shouldRemoveAllLocks (pconstant True) $
-- Fail the transaction if a voter lock is in cooldown.
passert
"Voter lock shouldn't be in cooldown"
notInCooldown
(pconstant True)
shouldRemoveLock =
flip