Fix build errors on GHC 9.2

IntersectMBO · Nov 29, 2022 · 9a6a808 · 9a6a808
1 parent d836377
commit 9a6a808
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 4 deletions.
diff --git a/cardano-crypto-class/src/Cardano/Crypto/KES/CompactSum.hs b/cardano-crypto-class/src/Cardano/Crypto/KES/CompactSum.hs
@@ -475,7 +475,6 @@ instance ( OptimizedKESAlgorithm d
 instance ( DirectSerialise (SignKeyKES d)
          , DirectSerialise (VerKeyKES d)
          , KESAlgorithm d
-         , KnownNat (SeedSizeKES d)
          ) => DirectSerialise (SignKeyKES (CompactSumKES h d)) where
   directSerialise push (SignKeyCompactSumKES sk r vk0 vk1) = do
     directSerialise push sk
@@ -488,7 +487,6 @@ instance ( DirectSerialise (SignKeyKES d)
 instance ( DirectDeserialise (SignKeyKES d)
          , DirectDeserialise (VerKeyKES d)
          , KESAlgorithm d
-         , KnownNat (SeedSizeKES d)
          ) => DirectDeserialise (SignKeyKES (CompactSumKES h d)) where
   directDeserialise pull = do
     sk <- directDeserialise pull

diff --git a/cardano-crypto-class/src/Cardano/Crypto/KES/Sum.hs b/cardano-crypto-class/src/Cardano/Crypto/KES/Sum.hs
@@ -383,7 +383,6 @@ instance (KESAlgorithm (SumKES h d), NaCl.SodiumHashAlgorithm h, SizeHash h ~ Se
 instance ( DirectSerialise (SignKeyKES d)
          , DirectSerialise (VerKeyKES d)
          , KESAlgorithm d
-         , KnownNat (SeedSizeKES d)
          ) => DirectSerialise (SignKeyKES (SumKES h d)) where
   directSerialise push (SignKeySumKES sk r vk0 vk1) = do
     directSerialise push sk
@@ -396,7 +395,6 @@ instance ( DirectSerialise (SignKeyKES d)
 instance ( DirectDeserialise (SignKeyKES d)
          , DirectDeserialise (VerKeyKES d)
          , KESAlgorithm d
-         , KnownNat (SeedSizeKES d)
          ) => DirectDeserialise (SignKeyKES (SumKES h d)) where
   directDeserialise pull = do
     sk <- directDeserialise pull