summaryrefslogtreecommitdiff
path: root/Types
diff options
context:
space:
mode:
authorGravatar Joey Hess <joeyh@joeyh.name>2015-10-09 13:47:19 -0400
committerGravatar Joey Hess <joeyh@joeyh.name>2015-10-09 13:47:19 -0400
commit4f9957f5342c58adf5b406122b6a8157352ab89b (patch)
tree68a0c04ab77ab2c74b4a4c3c2484aaa7c6eb7580 /Types
parentcdc18dea255090d0eb9c1dcd9ffa433665736b18 (diff)
display drop safety proofs in debug mode
Diffstat (limited to 'Types')
-rw-r--r--Types/NumCopies.hs3
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.