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

some error message improvement

Browse source
This commit is contained in:
fanghr 2022-04-21 22:01:44 +08:00
parent 044937c38c
commit 9e724fb75a
1 changed files with 7 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

13
agora/Agora/Governor.hs
View file

@ -356,7 +356,7 @@ governorValidator params =
-- TODO: proposal impl not done yet -- TODO: proposal impl not done yet
ptraceError "Not implemented yet" ptraceError "Not implemented yet"
PMintGATs _ -> P.do PMintGATs _ -> P.do
passert "Datum should not be changed" $ passert "Governor state should not be changed" $
-- FIXME: There should be a better way to do this -- FIXME: There should be a better way to do this
(pforgetData $ pdata newDatum') #== datum' (pforgetData $ pdata newDatum') #== datum'
@ -376,7 +376,7 @@ governorValidator params =
) )
#$ pfromData txInfo.outputs #$ pfromData txInfo.outputs
passert "One proposal at a time" $ passert "The governor can only process one proposal at a time" $
plength # inputsWithProposalStateToken #== 1 plength # inputsWithProposalStateToken #== 1
#&& (psymbolValueOf # pproposalSym #$ pvalueSpent # txInfo') #== 1 #&& (psymbolValueOf # pproposalSym #$ pvalueSpent # txInfo') #== 1
@ -413,7 +413,7 @@ governorValidator params =
PLocked _ -> pconstant False PLocked _ -> pconstant False
_ -> pconstant False _ -> pconstant False
passert "Input proposal status must be locked" $ isInputLocked passert "Proposal must be in locked state in order to execute effects" $ isInputLocked
let fields = let fields =
pdcons @"id" # inputProposalDatum.id pdcons @"id" # inputProposalDatum.id
@ -439,7 +439,7 @@ governorValidator params =
noVotes = plookup' # pnoResultTag # votes noVotes = plookup' # pnoResultTag # votes
biggerVotes = pif (yesVotes #< noVotes) noVotes yesVotes biggerVotes = pif (yesVotes #< noVotes) noVotes yesVotes
passert "Votes should be more than mininum votes" $ minimumVotes #< biggerVotes passert "Number of votes doesn't meet the minimum requirement" $ minimumVotes #< biggerVotes
let finalResultTag = pif (yesVotes #< noVotes) pnoResultTag pyesResultTag let finalResultTag = pif (yesVotes #< noVotes) pnoResultTag pyesResultTag
@ -460,7 +460,8 @@ governorValidator params =
0 #< psymbolValueOf # pgatSym # value 0 #< psymbolValueOf # pgatSym # value
) )
#$ pfromData txInfo.outputs #$ pfromData txInfo.outputs
passert "Minted GAT amount should equal to amount of output GAT" $
passert "Output GATs is more than minted GATs" $
plength # outputsWithGAT #== gatCount plength # outputsWithGAT #== gatCount
popaque $ popaque $
@ -476,7 +477,7 @@ governorValidator params =
#$ output.datumHash #$ output.datumHash
expectedDatumHash = expectedDatumHash =
mustBePJust # "Receiver is not in effect list" mustBePJust # "Receiver is not in the effect list"
#$ plookup # scriptHash # effects #$ plookup # scriptHash # effects
passert "GAT must be tagged by the effect hash" $ authorityTokensValidIn # pgatSym # output' passert "GAT must be tagged by the effect hash" $ authorityTokensValidIn # pgatSym # output'