From d2ba02307a98c8cc6b7da45ab5cc2abf4f51144d Mon Sep 17 00:00:00 2001 From: Hongrui Fang Date: Mon, 13 Feb 2023 15:48:44 +0800 Subject: [PATCH] fix inline GAT datum hashing --- agora/Agora/Governor/Scripts.hs | 11 ++--------- 1 file changed, 2 insertions(+), 9 deletions(-) diff --git a/agora/Agora/Governor/Scripts.hs b/agora/Agora/Governor/Scripts.hs index 8c63101..46f809e 100644 --- a/agora/Agora/Governor/Scripts.hs +++ b/agora/Agora/Governor/Scripts.hs @@ -46,14 +46,7 @@ import Data.Function (on) import Plutarch.Api.V1 (PCurrencySymbol) import Plutarch.Api.V1.AssocMap (plookup) import Plutarch.Api.V1.AssocMap qualified as AssocMap -import Plutarch.Api.V2 ( - PMintingPolicy, - PScriptHash, - PScriptPurpose (PMinting, PSpending), - PTxOut, - PTxOutRef, - PValidator, - ) +import Plutarch.Api.V2 (PDatum, PMintingPolicy, PScriptHash, PScriptPurpose (PMinting, PSpending), PTxOut, PTxOutRef, PValidator) import Plutarch.Api.V2.Tx (POutputDatum (..)) import Plutarch.Extra.AssetClass (PAssetClassData, passetClass) import Plutarch.Extra.Field (pletAll, pletAllC) @@ -542,7 +535,7 @@ governorValidator = #== 1 let outputDatumHash = pmatch outputF.datum $ \case - POutputDatum d -> phashDatum # d + POutputDatum d -> phashDatum #$ pfield @"outputDatum" @PDatum # d POutputDatumHash h -> pfield @"datumHash" # h _ -> ptraceError "expcted effect datum, got nothing"