Fix type applications

IntersectMBO · Nov 29, 2021 · 3b484e8 · 3b484e8
1 parent 22171f4
commit 3b484e8
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 8 deletions.
diff --git a/cardano-crypto-class/src/Cardano/Crypto/KES/Mock.hs b/cardano-crypto-class/src/Cardano/Crypto/KES/Mock.hs
@@ -88,7 +88,7 @@ instance KnownNat t => KESAlgorithm (MockKES t) where
 
     updateKES () (SignKeyMockKES vk t') t =
         assert (t == t') $
-         if t+1 < totalPeriodsKES (Proxy @ (MockKES t))
+         if t+1 < totalPeriodsKES (Proxy @(MockKES t))
            then Just (SignKeyMockKES vk (t+1))
            else Nothing
 
@@ -108,7 +108,7 @@ instance KnownNat t => KESAlgorithm (MockKES t) where
       | otherwise
       = Left "KES verification failed"
 
-    totalPeriodsKES  _ = fromIntegral (natVal (Proxy @ t))
+    totalPeriodsKES  _ = fromIntegral (natVal (Proxy @t))
 
 
     --

diff --git a/cardano-crypto-class/src/Cardano/Crypto/KES/Simple.hs b/cardano-crypto-class/src/Cardano/Crypto/KES/Simple.hs
@@ -112,10 +112,10 @@ instance (DSIGNAlgorithm d, Typeable d, KnownNat t, KnownNat (SeedSizeDSIGN d *
           Just vk -> verifyDSIGN ctxt vk a sig
 
     updateKES _ sk t
-      | t+1 < fromIntegral (natVal (Proxy @ t)) = Just sk
+      | t+1 < fromIntegral (natVal (Proxy @t)) = Just sk
       | otherwise                               = Nothing
 
-    totalPeriodsKES  _ = fromIntegral (natVal (Proxy @ t))
+    totalPeriodsKES  _ = fromIntegral (natVal (Proxy @t))
 
 
     --
@@ -124,12 +124,12 @@ instance (DSIGNAlgorithm d, Typeable d, KnownNat t, KnownNat (SeedSizeDSIGN d *
 
     seedSizeKES _ =
         let seedSize = seedSizeDSIGN (Proxy :: Proxy d)
-            duration = fromIntegral (natVal (Proxy @ t))
+            duration = fromIntegral (natVal (Proxy @t))
          in duration * seedSize
 
     genKeyKES seed =
         let seedSize = seedSizeDSIGN (Proxy :: Proxy d)
-            duration = fromIntegral (natVal (Proxy @ t))
+            duration = fromIntegral (natVal (Proxy @t))
             seeds    = take duration
                      . map mkSeedFromBytes
                      $ unfoldr (getBytesFromSeed seedSize) seed
@@ -143,11 +143,11 @@ instance (DSIGNAlgorithm d, Typeable d, KnownNat t, KnownNat (SeedSizeDSIGN d *
 
     sizeVerKeyKES  _ = sizeVerKeyDSIGN  (Proxy :: Proxy d) * duration
       where
-        duration = fromIntegral (natVal (Proxy @ t))
+        duration = fromIntegral (natVal (Proxy @t))
 
     sizeSignKeyKES _ = sizeSignKeyDSIGN (Proxy :: Proxy d) * duration
       where
-        duration = fromIntegral (natVal (Proxy @ t))
+        duration = fromIntegral (natVal (Proxy @t))
 
     sizeSigKES     _ = sizeSigDSIGN     (Proxy :: Proxy d)