diff options
author | joe <joe@jerkface.net> | 2014-05-01 20:51:09 -0400 |
---|---|---|
committer | joe <joe@jerkface.net> | 2014-05-01 20:51:09 -0400 |
commit | 75306c781eeff3a38fe9eb2145bb0e67d749eeaa (patch) | |
tree | 61a2a7edb842af5ae1f88ec259256cabba80c4ee /KeyRing.hs | |
parent | 0fe29f435045f4ed58cd3f3d101efd313e80bebc (diff) |
Removed unused usage_tag from annotated packets.
Diffstat (limited to 'KeyRing.hs')
-rw-r--r-- | KeyRing.hs | 6 |
1 files changed, 0 insertions, 6 deletions
@@ -2287,8 +2287,6 @@ data OriginFlags = OriginFlags { | |||
2287 | type OriginMap = Map.Map FilePath OriginFlags | 2287 | type OriginMap = Map.Map FilePath OriginFlags |
2288 | data MappedPacket = MappedPacket | 2288 | data MappedPacket = MappedPacket |
2289 | { packet :: Packet | 2289 | { packet :: Packet |
2290 | , usage_tag :: Maybe String | ||
2291 | -- ^ TODO: is usage_tag used anywhere? | ||
2292 | , locations :: OriginMap | 2290 | , locations :: OriginMap |
2293 | } | 2291 | } |
2294 | 2292 | ||
@@ -2321,8 +2319,6 @@ origin p n = OriginFlags ispub n | |||
2321 | mappedPacket :: FilePath -> Packet -> MappedPacket | 2319 | mappedPacket :: FilePath -> Packet -> MappedPacket |
2322 | mappedPacket filename p = MappedPacket | 2320 | mappedPacket filename p = MappedPacket |
2323 | { packet = p | 2321 | { packet = p |
2324 | , usage_tag = Nothing | ||
2325 | -- TODO: is usage_tag used? | ||
2326 | , locations = Map.singleton filename (origin p (-1)) | 2322 | , locations = Map.singleton filename (origin p (-1)) |
2327 | } | 2323 | } |
2328 | 2324 | ||
@@ -2382,8 +2378,6 @@ mergeKeyPacket :: String -> MappedPacket -> MappedPacket -> MappedPacket | |||
2382 | mergeKeyPacket what key p = | 2378 | mergeKeyPacket what key p = |
2383 | key { packet = minimumBy (keyCompare what) [packet key,packet p] | 2379 | key { packet = minimumBy (keyCompare what) [packet key,packet p] |
2384 | , locations = Map.union (locations key) (locations p) | 2380 | , locations = Map.union (locations key) (locations p) |
2385 | , usage_tag = usage_tag key `mplus` usage_tag p | ||
2386 | -- TODO: is usage_tag used? | ||
2387 | } | 2381 | } |
2388 | 2382 | ||
2389 | 2383 | ||