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

add NoFieldSelectors flag globally

Browse source
This commit is contained in:
Emily Martins 2022-09-16 16:08:33 +02:00 • committed by emiflake
parent 052f20334d
commit 9e3521dcb4
12 changed files with 54 additions and 57 deletions
Download patch file Download diff file Expand all files Collapse all files

2
agora-specs/Property/Governor.hs
View file

@ -88,7 +88,7 @@ governorDatumValidProperty =
classifiedPropertyNative gen (const []) expected classifier pisGovernorDatumValid
where
classifier :: GovernorDatum -> GovernorDatumCases
classifier (proposalThresholds -> ProposalThresholds e c v)
classifier ((.proposalThresholds) -> ProposalThresholds e c v)
| e < 0 = ExecuteLE0
| c < 0 = CreateLE0
| v < 0 = VoteLE0