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

countingVote,create,startVoting to execute,create,vote

Browse source 
Let's embrace consistancy between Haskell types and Plutarch types.
This commit is contained in:
Seungheon Oh 2022-06-16 13:28:55 -05:00
parent 014ef050d2
commit 8e9dd16613
7 changed files with 18 additions and 18 deletions
Download patch file Download diff file Expand all files Collapse all files

6
agora-specs/Spec/Proposal.hs
View file

@ -185,7 +185,7 @@ specs =
( ResultTag 0
, case initialState of
Draft -> 0
_ -> untag (def :: ProposalThresholds).countVoting + 1
_ -> untag (def :: ProposalThresholds).vote + 1
)
, (ResultTag 1, 0)
]
@ -232,7 +232,7 @@ specs =
( ResultTag 0
, case initialState of
Draft -> 0
_ -> untag (def :: ProposalThresholds).countVoting + 1
_ -> untag (def :: ProposalThresholds).vote + 1
)
, (ResultTag 1, 0)
]
@ -301,7 +301,7 @@ specs =
, votes =
ProposalVotes
( AssocMap.fromList
[ (ResultTag 0, untag (def :: ProposalThresholds).countVoting + 1)
[ (ResultTag 0, untag (def :: ProposalThresholds).vote + 1)
, (ResultTag 1, 0)
]
)