82bb0090c0
This turned out to be quite involved but save for this huge commit it's actually quite awesome and squashes quite a few bugs and nasty problems (hopefully). Most importantly we now have native cabal component support without the user having to do anything to get it! To do this we traverse imports starting from each component's entrypoints (library modules or Main source file for executables) and use this information to find which component's options each module will build with. Under the assumption that these modules have to build with every component they're used in we can now just pick one. Quite a few internal assumptions have been invalidated by this change. Most importantly the runGhcModT* family of cuntions now change the current working directory to `cradleRootDir`.
80 lines
2.7 KiB
Haskell
80 lines
2.7 KiB
Haskell
module Language.Haskell.GhcMod.Info (
|
|
info
|
|
, types
|
|
) where
|
|
|
|
import Control.Applicative ((<$>))
|
|
import Data.Function (on)
|
|
import Data.List (sortBy)
|
|
import Data.Maybe (catMaybes)
|
|
import System.FilePath
|
|
import Exception (ghandle, SomeException(..))
|
|
import GHC (GhcMonad, LHsBind, LHsExpr, LPat, Id, TypecheckedModule(..), SrcSpan, Type)
|
|
import qualified GHC as G
|
|
import qualified Language.Haskell.GhcMod.Gap as Gap
|
|
|
|
import Language.Haskell.GhcMod.Convert
|
|
import Language.Haskell.GhcMod.Doc
|
|
import Language.Haskell.GhcMod.DynFlags
|
|
import Language.Haskell.GhcMod.Gap
|
|
import Language.Haskell.GhcMod.Logging
|
|
import Language.Haskell.GhcMod.Monad
|
|
import Language.Haskell.GhcMod.SrcUtils
|
|
import Language.Haskell.GhcMod.Types
|
|
|
|
----------------------------------------------------------------
|
|
|
|
-- | Obtaining information of a target expression. (GHCi's info:)
|
|
info :: IOish m
|
|
=> FilePath -- ^ A target file.
|
|
-> Expression -- ^ A Haskell expression.
|
|
-> GhcModT m String
|
|
info file expr = runGmLoadedT' [Left file] deferErrors $ withContext $ do
|
|
opt <- options
|
|
convert opt <$> ghandle handler body
|
|
where
|
|
handler (SomeException ex) = do
|
|
gmLog GmException "info" $
|
|
text "" $$ nest 4 (showDoc ex)
|
|
return "Cannot show info"
|
|
|
|
body = do
|
|
sdoc <- Gap.infoThing expr
|
|
st <- getStyle
|
|
dflag <- G.getSessionDynFlags
|
|
return $ showPage dflag st sdoc
|
|
|
|
|
|
----------------------------------------------------------------
|
|
|
|
-- | Obtaining type of a target expression. (GHCi's type:)
|
|
types :: IOish m
|
|
=> FilePath -- ^ A target file.
|
|
-> Int -- ^ Line number.
|
|
-> Int -- ^ Column number.
|
|
-> GhcModT m String
|
|
types file lineNo colNo =
|
|
runGmLoadedT' [Left file] deferErrors $ ghandle handler $ withContext $ do
|
|
crdl <- cradle
|
|
modSum <- Gap.fileModSummary (cradleCurrentDir crdl </> file)
|
|
srcSpanTypes <- getSrcSpanType modSum lineNo colNo
|
|
|
|
dflag <- G.getSessionDynFlags
|
|
st <- getStyle
|
|
|
|
convert' $ map (toTup dflag st) $ sortBy (cmp `on` fst) srcSpanTypes
|
|
where
|
|
handler (SomeException _) = return []
|
|
|
|
getSrcSpanType :: GhcMonad m => G.ModSummary -> Int -> Int -> m [(SrcSpan, Type)]
|
|
getSrcSpanType modSum lineNo colNo = do
|
|
p <- G.parseModule modSum
|
|
tcm@TypecheckedModule{tm_typechecked_source = tcs} <- G.typecheckModule p
|
|
let bs = listifySpans tcs (lineNo, colNo) :: [LHsBind Id]
|
|
es = listifySpans tcs (lineNo, colNo) :: [LHsExpr Id]
|
|
ps = listifySpans tcs (lineNo, colNo) :: [LPat Id]
|
|
bts <- mapM (getType tcm) bs
|
|
ets <- mapM (getType tcm) es
|
|
pts <- mapM (getType tcm) ps
|
|
return $ catMaybes $ concat [ets, bts, pts]
|