improve readability

This commit is contained in:
Hongrui Fang 2022-11-28 17:22:47 +08:00
parent 2c3a1c0363
commit 2b59923059
No known key found for this signature in database
GPG key ID: F10AB2CCE24113DD

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