From 75306c781eeff3a38fe9eb2145bb0e67d749eeaa Mon Sep 17 00:00:00 2001 From: joe Date: Thu, 1 May 2014 20:51:09 -0400 Subject: Removed unused usage_tag from annotated packets. --- KeyRing.hs | 6 ------ 1 file changed, 6 deletions(-) (limited to 'KeyRing.hs') diff --git a/KeyRing.hs b/KeyRing.hs index c5c8bf2..c99a2f5 100644 --- a/KeyRing.hs +++ b/KeyRing.hs @@ -2287,8 +2287,6 @@ data OriginFlags = OriginFlags { type OriginMap = Map.Map FilePath OriginFlags data MappedPacket = MappedPacket { packet :: Packet - , usage_tag :: Maybe String - -- ^ TODO: is usage_tag used anywhere? , locations :: OriginMap } @@ -2321,8 +2319,6 @@ origin p n = OriginFlags ispub n 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)) } @@ -2382,8 +2378,6 @@ mergeKeyPacket :: String -> MappedPacket -> MappedPacket -> MappedPacket 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