From 7424a96a2d63b8002493aefea3525350cd118004 Mon Sep 17 00:00:00 2001
From: Hongrui Fang <chfanghr@gmail.com>
Date: Thu, 11 Aug 2022 06:43:33 +0800
Subject: [PATCH] remove `pvalidatorHashToTokenName`

---
 agora/Agora/Stake/Scripts.hs |  4 ++--
 agora/Agora/Utils.hs         | 10 ----------
 2 files changed, 2 insertions(+), 12 deletions(-)

diff --git a/agora/Agora/Stake/Scripts.hs b/agora/Agora/Stake/Scripts.hs
index 1dc9a19..f76deb4 100644
--- a/agora/Agora/Stake/Scripts.hs
+++ b/agora/Agora/Stake/Scripts.hs
@@ -17,7 +17,6 @@ import Agora.Stake (
  )
 import Agora.Utils (
   mustFindDatum',
-  pvalidatorHashToTokenName,
  )
 import Data.Function (on)
 import Data.Tagged (Tagged (..), untag)
@@ -46,6 +45,7 @@ import Plutarch.SafeMoney (
   pdiscreteValue',
   pvalueDiscrete',
  )
+import Plutarch.Unsafe (punsafeCoerce)
 import PlutusLedgerApi.V1.Value (AssetClass (AssetClass))
 import Prelude hiding (Num (..))
 
@@ -135,7 +135,7 @@ stakePolicy gtClassRef =
                                 PPubKeyCredential _ -> pcon PFalse
                                 PScriptCredential ((pfield @"_0" #) -> validatorHash) ->
                                   let tn :: Term _ PTokenName
-                                      tn = pvalidatorHashToTokenName validatorHash
+                                      tn = punsafeCoerce $ pfromData validatorHash
                                    in pvalueOf # outputF.value # ownSymbol # tn #== 1
                         )
                       # pfromData txInfoF.outputs
diff --git a/agora/Agora/Utils.hs b/agora/Agora/Utils.hs
index 8b7ffb6..97a7cd0 100644
--- a/agora/Agora/Utils.hs
+++ b/agora/Agora/Utils.hs
@@ -10,7 +10,6 @@ Plutarch utility functions that should be upstreamed or don't belong anywhere el
 -}
 module Agora.Utils (
   validatorHashToTokenName,
-  pvalidatorHashToTokenName,
   mustFindDatum',
   validatorHashToAddress,
   pltAsData,
@@ -24,9 +23,7 @@ import Plutarch.Api.V1 (
   PDatum,
   PDatumHash,
   PMaybeData,
-  PTokenName (PTokenName),
   PTuple,
-  PValidatorHash,
  )
 import Plutarch.Builtin (pforgetData)
 import Plutarch.Extra.List (plookupTuple)
@@ -53,13 +50,6 @@ import PlutusLedgerApi.V1 (
 validatorHashToTokenName :: ValidatorHash -> TokenName
 validatorHashToTokenName (ValidatorHash hash) = TokenName hash
 
-{- | Plutarch level 'validatorHashToTokenName'.
-
-     @since 0.1.0
--}
-pvalidatorHashToTokenName :: forall (s :: S). Term s PValidatorHash -> Term s PTokenName
-pvalidatorHashToTokenName vh = pcon (PTokenName (pto vh))
-
 {- | Find datum given a maybe datum hash
 
      @since 0.1.0