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

apply hlint suggestions; fix the ci

Browse source
This commit is contained in:
fanghr 2022-04-19 12:12:46 +08:00
parent 5adde420f3
commit 6e0373c6e5
No known key found for this signature in database
GPG key ID: 35CD9A71CD5D5870
2 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

4
agora/Agora/Governor.hs
View file

@ -35,7 +35,7 @@ import Agora.Proposal (
PProposalThresholds,
ProposalId,
ProposalThresholds,
pnextProposalId
pnextProposalId,
)
import Agora.Utils (
allInputs,
@ -202,7 +202,7 @@ governorValidator params =
newParams <- pletFields @'["proposalThresholds", "nextProposalId"] newDatum'
mint <- plet $ pfromData $ pfield @"mint" # txInfo
mint' <- plet $ pto $ pto $ pto $ mint
mint' <- plet $ pto $ pto $ pto mint
case redeemer of
PCreateProposal _ -> P.do

2
agora/Agora/Proposal.hs
View file

@ -32,7 +32,7 @@ module Agora.Proposal (
proposalDatumValid,
-- * Utils
pnextProposalId
pnextProposalId,
) where
import GHC.Generics qualified as GHC