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

apply Emily's suggestions

Browse source
This commit is contained in:
fanghr 2022-05-16 19:59:11 +08:00
parent 28afcf2f65
commit f45b919d0e
2 changed files with 9 additions and 16 deletions
Download patch file Download diff file Expand all files Collapse all files

6
agora/Agora/Proposal.hs
View file

@ -416,11 +416,7 @@ proposalDatumValid proposal =
let atLeastOneNegativeResult =
pany
# phoistAcyclic
( plam $ \m ->
let l :: Term _ (PBuiltinList _)
l = pto $ pfromData $ psndBuiltin # m
in pnull # l
)
(plam $ \m -> pnull #$ pto $ pfromData $ psndBuiltin # m)
#$ pto
$ pfromData datum.effects