From 9b75792a215c634c6147c5a4d0f73f71c1ec46b1 Mon Sep 17 00:00:00 2001 From: joe Date: Thu, 1 May 2014 00:11:20 -0400 Subject: Added comment about seemingly unused field usage_tag --- KeyRing.hs | 3 +++ 1 file changed, 3 insertions(+) (limited to 'KeyRing.hs') diff --git a/KeyRing.hs b/KeyRing.hs index a65ebc4..d3db248 100644 --- a/KeyRing.hs +++ b/KeyRing.hs @@ -2282,6 +2282,7 @@ type OriginMap = Map.Map FilePath OriginFlags data MappedPacket = MappedPacket { packet :: Packet , usage_tag :: Maybe String + -- ^ TODO: is usage_tag used anywhere? , locations :: OriginMap } @@ -2315,6 +2316,7 @@ mappedPacket :: FilePath -> Packet -> MappedPacket mappedPacket filename p = MappedPacket { packet = p , usage_tag = Nothing + -- TODO: is usage_tag used? , locations = Map.singleton filename (origin p (-1)) } @@ -2375,6 +2377,7 @@ mergeKeyPacket what key p = key { packet = minimumBy (keyCompare what) [packet key,packet p] , locations = Map.union (locations key) (locations p) , usage_tag = usage_tag key `mplus` usage_tag p + -- TODO: is usage_tag used? } -- cgit v1.2.3