this compiles

1 files changed, 12 insertions, 11 deletions

diff --git a/lib/KeyRing/BuildKeyDB.hs b/lib/KeyRing/BuildKeyDB.hs
index 461afa2..510c820 100644
--- a/lib/KeyRing/BuildKeyDB.hs
+++ b/lib/KeyRing/BuildKeyDB.hs
@@ -83,9 +83,9 @@ newtype IPsToWriteToHostsFile = IPsToWriteToHostsFile [SockAddr]
 --
 --   merge all keyrings, PEM files, and wallets into process memory.
 --
-buildKeyDB :: InputFileContext -> Maybe String -> KeyRingOperation
+buildKeyDB :: InputFileContext -> Maybe Fingerprint -> KeyRingOperation
               -> IO (KikiCondition (({- db        -} KeyDB
-                                    ,{- grip      -} Maybe String
+                                    ,{- grip      -} Maybe Fingerprint
                                     ,{- wk        -} Maybe MappedPacket
                                     ,{- hs        -} ({- hostdbs0 -}[Hosts.Hosts],
                                                       {- hostdbs  -}[Hosts.Hosts],
@@ -128,7 +128,8 @@ buildKeyDB ctx grip0 keyring = do
         ringPackets <- Map.traverseWithKey readp ringMap
         let _ = ringPackets :: Map.Map InputFile (StreamInfo, Message)
 
-        let grip = grip0 `mplus` (show . fingerprint <$> fstkey)
+        let grip :: Maybe Fingerprint
+            grip = grip0 `mplus` (fingerprint <$> fstkey)
               where
                 fstkey = do
                     (_,Message ps) <- Map.lookup HomeSec ringPackets
@@ -223,7 +224,7 @@ buildKeyDB ctx grip0 keyring = do
             guard $ all (==usage) $ drop 1 us
             -- TODO: KikiCondition reporting for spill/fill usage mismatch?
             -- TODO: parseSpec3
-            let (topspec,subspec) = parseSpec grip usage
+            let (topspec,subspec) = parseSpec (Just grip) usage
                 ms = map fst $ filterMatches topspec (kkData db)
                 cmd = initializer stream
             return (n,subspec,ms,stream, cmd)
@@ -408,16 +409,16 @@ usageFromFilter _                = mzero
 
 -- | Parse a key specification.
 -- The first argument is a grip for the default working key.
-parseSpec :: Fingerprint -> String -> (KeySpec,Maybe String)
+parseSpec :: Maybe Fingerprint -> String -> (KeySpec,Maybe String)
 parseSpec wkgrip spec =
     if not slashed
         then
             case prespec of
                 AnyMatch                               -> (KeyGrip "", Nothing)
                 EmptyMatch                             -> error "Bad key spec."
-                WorkingKeyMatch                        -> (KeyGrip wkgrip, Nothing)
-                SubstringMatch (Just KeyTypeField) tag -> (KeyGrip wkgrip, Just tag)
-                SubstringMatch Nothing str             -> (KeyGrip wkgrip, Just str)
+                WorkingKeyMatch                        -> (KeyGrip $ show wkgrip, Nothing)
+                SubstringMatch (Just KeyTypeField) tag -> (KeyGrip $ show wkgrip, Just tag)
+                SubstringMatch Nothing str             -> (KeyGrip $ show wkgrip, Just str)
                 SubstringMatch (Just UserIDField) ustr -> (KeyUidMatch ustr, Nothing)
                 FingerprintMatch fp                    -> (KeyGrip fp, Nothing)
         else
@@ -780,8 +781,8 @@ is40digitHex xs = ys == xs && length ys==40
 
 matchSpec :: KeySpec -> KeyData -> Bool
 matchSpec (KeyGrip grip) (KeyData p _ _ _)
-    | matchpr grip (packet p)==grip = True
-    | otherwise                     = False
+    | matchpr' grip (packet p) = True
+    | otherwise                = False
 
 matchSpec (KeyTag key tag) (KeyData _ sigs _ _) = not . null $ filter match ps
  where
@@ -791,7 +792,7 @@ matchSpec (KeyTag key tag) (KeyData _ sigs _ _) = not . null $ filter match ps
                 && has_issuer key p
     has_issuer key p = isJust $ do
         issuer <- signature_issuer p
-        guard $ matchpr issuer key == issuer
+        guard $ matchpr' issuer key
     has_tag tag p = tag `elem` mapMaybe usage (hashed_subpackets p)
                     || tag `elem` map usageString (mapMaybe keyflags (hashed_subpackets p))