From 39659b2917583b6a6499b3bd468b9777b1c74ac6 Mon Sep 17 00:00:00 2001
From: Nikolay Yakimov <root@livid.pp.ru>
Date: Tue, 19 Jan 2016 22:52:06 +0300
Subject: [PATCH] [Type-constraints] Removed unnecessary definitions

---
 Language/Haskell/GhcMod/Gap.hs      | 2 --
 Language/Haskell/GhcMod/SrcUtils.hs | 8 --------
 2 files changed, 10 deletions(-)

diff --git a/Language/Haskell/GhcMod/Gap.hs b/Language/Haskell/GhcMod/Gap.hs
index be770b6..48337e0 100644
--- a/Language/Haskell/GhcMod/Gap.hs
+++ b/Language/Haskell/GhcMod/Gap.hs
@@ -316,13 +316,11 @@ setWarnTypedHoles = id
 ----------------------------------------------------------------
 
 class HasType a where
-    getId   :: GhcMonad m => TypecheckedModule -> a -> m ([Id])
     getType :: GhcMonad m => TypecheckedModule -> a -> m (Maybe (SrcSpan, Type))
 
 
 instance HasType (LHsBind Id) where
 #if __GLASGOW_HASKELL__ >= 708
-    getId _ b = return $ collectHsBindBinders (unLoc b)
     getType _ (L spn FunBind{fun_matches = m}) = return $ Just (spn, typ)
       where in_tys = mg_arg_tys m
             out_typ = mg_res_ty m
diff --git a/Language/Haskell/GhcMod/SrcUtils.hs b/Language/Haskell/GhcMod/SrcUtils.hs
index 2197a58..bc013db 100644
--- a/Language/Haskell/GhcMod/SrcUtils.hs
+++ b/Language/Haskell/GhcMod/SrcUtils.hs
@@ -30,14 +30,12 @@ import qualified Data.Map as M
 ----------------------------------------------------------------
 
 instance HasType (LHsExpr Id) where
-    getId _ _e = return []
     getType tcm e = do
         hs_env <- G.getSession
         mbe <- liftIO $ Gap.deSugar tcm e hs_env
         return $ (G.getLoc e, ) <$> CoreUtils.exprType <$> mbe
 
 instance HasType (LPat Id) where
-    getId _ = return . G.collectPatBinders
     getType _ (G.L spn pat) = return $ Just (spn, hsPatType pat)
 
 ----------------------------------------------------------------
@@ -89,12 +87,6 @@ listifySpans tcs lc = listifyStaged TypeChecker p tcs
   where
     p (L spn _) = G.isGoodSrcSpan spn && spn `G.spans` lc
 
-listifyAbsBinds :: TypecheckedSource -> [Located (G.HsBind Id)]
-listifyAbsBinds = listifyStaged TypeChecker p
-  where
-    p (L _ G.AbsBinds{}) = True
-    p _                  = False
-
 listifyParsedSpans :: Typeable a => ParsedSource -> (Int, Int) -> [Located a]
 listifyParsedSpans pcs lc = listifyStaged Parser p pcs
   where