protocol: fix JSON error name

[majurity.git] / hjugement-protocol / tests / QuickCheck / Trustee.hs

diff --git a/hjugement-protocol/tests/QuickCheck/Trustee.hs b/hjugement-protocol/tests/QuickCheck/Trustee.hs
index 72b1ba33bbf70aa15cac8aadcc2c17324e7eef42..466d6fd057721a97edb931c6533a0ecdb42a9d02 100644 (file)
--- a/hjugement-protocol/tests/QuickCheck/Trustee.hs
+++ b/hjugement-protocol/tests/QuickCheck/Trustee.hs
@@ -15,18 +15,18 @@ quickcheck :: Reifies v Version => Proxy v -> TestTree
 quickcheck v =
        testGroup "Trustee" $
         [ testGroup "verifyIndispensableTrusteePublicKey" $
-                [ testIndispensableTrusteePublicKey v weakFFC
-                , testIndispensableTrusteePublicKey v beleniosFFC
+                [ reify weakFFC $ testIndispensableTrusteePublicKey v
+                , reify beleniosFFC $ testIndispensableTrusteePublicKey v
                 ]
         ]
 
 testIndispensableTrusteePublicKey ::
- ReifyCrypto crypto =>
- Reifies v Version => Proxy v ->
- crypto -> TestTree
-testIndispensableTrusteePublicKey (_v::Proxy v) crypto =
-       reifyCrypto crypto $ \(Proxy::Proxy c) ->
-       testGroup (Text.unpack $ cryptoName crypto)
+ Reifies v Version =>
+ CryptoParams crypto c =>
+ Key crypto =>
+ Proxy v -> Proxy c -> TestTree
+testIndispensableTrusteePublicKey (_v::Proxy v) (c::Proxy c) =
+       testGroup (Text.unpack $ cryptoName (reflect c))
         [ testProperty "Right" $ \seed ->
                isRight $ runExcept $
                        (`evalStateT` mkStdGen seed) $ do
@@ -38,10 +38,7 @@ testIndispensableTrusteePublicKey (_v::Proxy v) crypto =
 
 instance
  ( Reifies v Version
- , Reifies c crypto
- , Group crypto
- , Multiplicative (G crypto c)
- , Invertible (G crypto c)
+ , CryptoParams crypto c
  ) => Arbitrary (TrusteePublicKey crypto v c) where
        arbitrary = do
                trustee_PublicKey <- arbitrary