diff options
| author |  Joey Hess <joeyh@joeyh.name> | 2015-10-09 13:47:19 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2015-10-09 13:47:19 -0400 |
| commit | 4f9957f5342c58adf5b406122b6a8157352ab89b (patch) | |
| tree | 68a0c04ab77ab2c74b4a4c3c2484aaa7c6eb7580 /Types | |
| parent | cdc18dea255090d0eb9c1dcd9ffa433665736b18 (diff) | |
display drop safety proofs in debug mode
Diffstat (limited to 'Types')
| -rw-r--r-- | Types/NumCopies.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Types/NumCopies.hs b/Types/NumCopies.hs index 476c33058..17080cf7c 100644 --- a/Types/NumCopies.hs +++ b/Types/NumCopies.hs @@ -31,7 +31,7 @@ import Control.Monad.IO.Class (MonadIO) import Control.Monad newtype NumCopies = NumCopies Int - deriving (Ord, Eq) + deriving (Ord, Eq, Show) fromNumCopies :: NumCopies -> Int fromNumCopies (NumCopies n) = n @@ -138,6 +138,7 @@ fullVerification (RecentlyVerifiedCopy _) = False -- A proof that it's currently safe to drop an object. data SafeDropProof = SafeDropProof NumCopies [VerifiedCopy] + deriving (Show) -- Make sure that none of the VerifiedCopies have become invalidated -- before constructing proof. |