obsolete cabal conditional dependency & some missing type sigs

1 files changed, 3 insertions, 0 deletions

diff --git a/src/Network/Kademlia/Search.hs b/src/Network/Kademlia/Search.hs
index 71107fbd..770d2f13 100644
--- a/src/Network/Kademlia/Search.hs
+++ b/src/Network/Kademlia/Search.hs
@@ -18,6 +18,7 @@ import qualified Data.Map.Strict     as Map
 import Data.Maybe
 import qualified Data.Set            as Set
          ;import Data.Set            (Set)
+import Data.Hashable                 (Hashable(..)) -- for type sigs
 import System.IO
 import System.IO.Error
 
@@ -173,6 +174,8 @@ search sch buckets target result = do
     fork $ searchLoop sch target result st
     return st
 
+searchLoop :: ( Ord addr, Ord nid, Ord ni, Show nid, Hashable nid, Hashable ni )
+           => Search nid addr tok ni r -> nid -> (r -> STM Bool) -> SearchState nid addr tok ni r -> IO ()
 searchLoop sch@Search{..} target result s@SearchState{..} = do
     myThreadId >>= flip labelThread ("search."++show target)
     withTaskGroup ("search.g."++show target) searchAlpha $ \g -> fix $ \again -> do