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`.
67 lines
2.1 KiB
Haskell
67 lines
2.1 KiB
Haskell
module Language.Haskell.GhcMod.World where
|
|
|
|
import Language.Haskell.GhcMod.GhcPkg
|
|
import Language.Haskell.GhcMod.PathsAndFiles
|
|
import Language.Haskell.GhcMod.Types
|
|
import Language.Haskell.GhcMod.Utils
|
|
|
|
import Control.Applicative ((<$>))
|
|
import Data.Maybe
|
|
import Data.Traversable (traverse)
|
|
import System.FilePath ((</>))
|
|
|
|
import GHC.Paths (libdir)
|
|
|
|
data World = World {
|
|
worldPackageCaches :: [TimedFile]
|
|
, worldCabalFile :: Maybe TimedFile
|
|
, worldCabalConfig :: Maybe TimedFile
|
|
, worldSymbolCache :: Maybe TimedFile
|
|
} deriving (Eq, Show)
|
|
|
|
timedPackageCaches :: Cradle -> IO [TimedFile]
|
|
timedPackageCaches crdl = do
|
|
fs <- mapM mightExist . map (</> packageCache)
|
|
=<< getPackageCachePaths libdir crdl
|
|
timeFile `mapM` catMaybes fs
|
|
|
|
getCurrentWorld :: Cradle -> IO World
|
|
getCurrentWorld crdl = do
|
|
pkgCaches <- timedPackageCaches crdl
|
|
mCabalFile <- timeFile `traverse` cradleCabalFile crdl
|
|
mCabalConfig <- timeMaybe (setupConfigFile crdl)
|
|
mSymbolCache <- timeMaybe (symbolCache crdl)
|
|
|
|
return World {
|
|
worldPackageCaches = pkgCaches
|
|
, worldCabalFile = mCabalFile
|
|
, worldCabalConfig = mCabalConfig
|
|
, worldSymbolCache = mSymbolCache
|
|
}
|
|
|
|
didWorldChange :: World -> Cradle -> IO Bool
|
|
didWorldChange world crdl = do
|
|
(world /=) <$> getCurrentWorld crdl
|
|
|
|
-- * Neither file exists -> should return False:
|
|
-- @Nothing < Nothing = False@
|
|
-- (since we don't need to @cabal configure@ when no cabal file exists.)
|
|
--
|
|
-- * Cabal file doesn't exist (unlikely case) -> should return False
|
|
-- @Just cc < Nothing = False@
|
|
-- TODO: should we delete dist/setup-config?
|
|
--
|
|
-- * dist/setup-config doesn't exist yet -> should return True:
|
|
-- @Nothing < Just cf = True@
|
|
--
|
|
-- * Both files exist
|
|
-- @Just cc < Just cf = cc < cf = cc `olderThan` cf@
|
|
isSetupConfigOutOfDate :: World -> Bool
|
|
isSetupConfigOutOfDate World {..} = do
|
|
worldCabalConfig < worldCabalFile
|
|
|
|
isYoungerThanSetupConfig :: FilePath -> World -> IO Bool
|
|
isYoungerThanSetupConfig file World {..} = do
|
|
tfile <- timeFile file
|
|
return $ worldCabalConfig < Just tfile
|