Generalize the type of time in determinePoolRegistrationStatus.

This makes it easier to write property tests, as we are free to use the type of our choice to represent time.
cardano-foundation · Jul 10, 2020 · 2865b44 · 2865b44
1 parent baeb875
commit 2865b44
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/lib/core/src/Cardano/Pool/DB.hs b/lib/core/src/Cardano/Pool/DB.hs
@@ -220,8 +220,9 @@ data PoolRegistrationStatus
 -- determine the pool's current registration status based on the relative
 -- order in which the certificates were published.
 determinePoolRegistrationStatus
-    :: Maybe (CertificatePublicationTime, PoolRegistrationCertificate)
-    -> Maybe (CertificatePublicationTime, PoolRetirementCertificate)
+    :: Ord certificatePublicationTime
+    => Maybe (certificatePublicationTime, PoolRegistrationCertificate)
+    -> Maybe (certificatePublicationTime, PoolRetirementCertificate)
     -> PoolRegistrationStatus
 determinePoolRegistrationStatus = f
   where