diff options
author | joe <joe@jerkface.net> | 2014-05-01 00:11:20 -0400 |
---|---|---|
committer | joe <joe@jerkface.net> | 2014-05-01 00:11:20 -0400 |
commit | 9b75792a215c634c6147c5a4d0f73f71c1ec46b1 (patch) | |
tree | 60cfbebf9dca2972edd12bd11f0c2954ac40362a | |
parent | 3647b358ef1fe6c8bf5f88b4cfb89a3c1c5e9598 (diff) |
Added comment about seemingly unused field usage_tag
-rw-r--r-- | KeyRing.hs | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -2282,6 +2282,7 @@ type OriginMap = Map.Map FilePath OriginFlags | |||
2282 | data MappedPacket = MappedPacket | 2282 | data 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 | |||
2315 | mappedPacket filename p = MappedPacket | 2316 | mappedPacket 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 | ||