summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorjoe <joe@jerkface.net>2014-05-01 00:11:20 -0400
committerjoe <joe@jerkface.net>2014-05-01 00:11:20 -0400
commit9b75792a215c634c6147c5a4d0f73f71c1ec46b1 (patch)
tree60cfbebf9dca2972edd12bd11f0c2954ac40362a
parent3647b358ef1fe6c8bf5f88b4cfb89a3c1c5e9598 (diff)
Added comment about seemingly unused field usage_tag
-rw-r--r--KeyRing.hs3
1 files changed, 3 insertions, 0 deletions
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
2282data MappedPacket = MappedPacket 2282data MappedPacket = MappedPacket
2283 { packet :: Packet 2283 { packet :: Packet
2284 , usage_tag :: Maybe String 2284 , usage_tag :: Maybe String
2285 -- ^ TODO: is usage_tag used anywhere?
2285 , locations :: OriginMap 2286 , locations :: OriginMap
2286 } 2287 }
2287 2288
@@ -2315,6 +2316,7 @@ mappedPacket :: FilePath -> Packet -> MappedPacket
2315mappedPacket filename p = MappedPacket 2316mappedPacket filename p = MappedPacket
2316 { packet = p 2317 { packet = p
2317 , usage_tag = Nothing 2318 , usage_tag = Nothing
2319 -- TODO: is usage_tag used?
2318 , locations = Map.singleton filename (origin p (-1)) 2320 , locations = Map.singleton filename (origin p (-1))
2319 } 2321 }
2320 2322
@@ -2375,6 +2377,7 @@ mergeKeyPacket what key p =
2375 key { packet = minimumBy (keyCompare what) [packet key,packet p] 2377 key { packet = minimumBy (keyCompare what) [packet key,packet p]
2376 , locations = Map.union (locations key) (locations p) 2378 , locations = Map.union (locations key) (locations p)
2377 , usage_tag = usage_tag key `mplus` usage_tag p 2379 , usage_tag = usage_tag key `mplus` usage_tag p
2380 -- TODO: is usage_tag used?
2378 } 2381 }
2379 2382
2380 2383