WIP

IntersectMBO · Nov 22, 2024 · b616b88 · b616b88
1 parent 6cc0b86
commit b616b88
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/src/Ledger/Conway/Foreign/HSLedger/Core.agda b/src/Ledger/Conway/Foreign/HSLedger/Core.agda
@@ -41,6 +41,10 @@ record HSVKey : Type where
   field vkey       : ℕ
         storedHash : ℕ
 
+instance
+  Hashable-HSVKey : Hashable HSVKey ℕ
+  Hashable-HSVKey = λ where .hash → HSVKey.storedHash
+
 unquoteDecl DecEq-HSVKey = derive-DecEq
   ((quote HSVKey , DecEq-HSVKey) ∷ [])
 

diff --git a/src/Ledger/Conway/Foreign/HSLedger/Utxo.agda b/src/Ledger/Conway/Foreign/HSLedger/Utxo.agda
@@ -81,8 +81,6 @@ module _ (ext : ExternalFunctions) where
        ∷ show (LW.witsVKeyNeeded utxo body)
        ∷ "\nwitsKeyHashes = "
        ∷ show (mapˢ hash (dom vkSigs))
-       --∷ "\ncredsNeeded = "
-       --∷ show (credsNeeded utxo body)
        ∷ []
 
   {-# COMPILE GHC utxow-debug as utxowDebug #-}