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