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

run linter

Browse source
This commit is contained in:
Hongrui Fang 2022-11-10 22:27:33 +08:00
parent 3c10617244
commit 4b3c421324
1 changed files with 13 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

23
agora-specs/Sample/Proposal/Advance.hs
View file

@ -547,17 +547,20 @@ mkTestTree name pb val =
(spend proposalRef) (spend proposalRef)
governor = governor =
maybe [] singleton $ maybe
( \(GovernorParameters _ governorRedeemer) -> []
testValidator ( singleton
(fromJust val.forGovernorValidator) . ( \(GovernorParameters _ governorRedeemer) ->
"governor" testValidator
governorValidator (fromJust val.forGovernorValidator)
governorInputDatum "governor"
governorRedeemer governorValidator
(spend governorRef) governorInputDatum
governorRedeemer
(spend governorRef)
)
) )
<$> pb.governorParameters (pb.governorParameters)
authority = case pb.authorityTokenParameters of authority = case pb.authorityTokenParameters of
[] -> [] [] -> []