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

convert all "datum NFT" to "state token" in the messages

Browse source 
in order to avoid confusion
This commit is contained in:
fanghr 2022-04-19 22:18:25 +08:00
parent c562f6ae87
commit 70a5b8ca18
No known key found for this signature in database
GPG key ID: 35CD9A71CD5D5870
1 changed files with 9 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

15
agora/Agora/Governor.hs
View file

@ -222,15 +222,15 @@ governorValidator params =
let oldParams' = pfromData @PGovernorDatum $ punsafeCoerce oldDatum'
oldParams <- pletFields @'["proposalThresholds", "nextProposalId"] oldParams'
let ownInputDatumNFTAmount = datumNFTValueOf # ownInput.value
passert "Own input should have exactly one datum NFT" $ ownInputDatumNFTAmount #== 1
let ownInputDatumNFTAmount = stateTokenValueOf # ownInput.value
passert "Own input should have exactly one state token" $ ownInputDatumNFTAmount #== 1
ownOutputs <- plet $ findOutputsToAddress # txInfo # selfAddress
passert "Exactly one utxo should be sent to the governor" $ plength # ownOutputs #== 1
ownOutput <- pletFields @'["value", "datumHash"] $ phead # ownOutputs
let ownOuputDatumNFTAmount = datumNFTValueOf # ownOutput.value
passert "Datum NFT should stay at governor's address" $ ownOuputDatumNFTAmount #== 1
let ownOuputDatumNFTAmount = stateTokenValueOf # ownOutput.value
passert "State token should stay at governor's address" $ ownOuputDatumNFTAmount #== 1
passert "Output utxo to governor should have datum" $ pisDJust # ownOutput.datumHash
-- TODO: use `PTryFrom` and reject bad datum
@ -274,8 +274,11 @@ governorValidator params =
popaque $ pconstant ()
where
datumNFTValueOf :: Term s (PValue :--> PInteger)
datumNFTValueOf = passetClassValueOf' $ governorStateTokenAssetClass params
stateTokenAssetClass :: AssetClass
stateTokenAssetClass = governorStateTokenAssetClass params
stateTokenValueOf :: Term s (PValue :--> PInteger)
stateTokenValueOf = passetClassValueOf' stateTokenAssetClass
gatS :: Term s PCurrencySymbol
gatS = pconstant params.gatSymbol