X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Fmain%2FFinder.lhs;h=260ee075868a3b6b34b11295aba2e65a7bb8eb2d;hb=d8e8d85db6bf2b1fa0c0219f558507031dd59c26;hp=83cf28c8f04ad9c48e369b2c17a843cc3b18c07d;hpb=c34157eadadf46a81b0ab7943da28748921b30ba;p=ghc-hetmet.git diff --git a/ghc/compiler/main/Finder.lhs b/ghc/compiler/main/Finder.lhs index 83cf28c..260ee07 100644 --- a/ghc/compiler/main/Finder.lhs +++ b/ghc/compiler/main/Finder.lhs @@ -5,194 +5,437 @@ \begin{code} module Finder ( - initFinder, -- :: [PackageConfig] -> IO (), - findModule, -- :: ModuleName -> IO (Maybe (Module, ModuleLocation)) - findModuleDep, -- :: ModuleName -> Bool -> IO (Maybe (Module, ModuleLocation)) - findPackageModule, -- :: ModuleName -> IO (Maybe (Module, ModuleLocation)) - mkHomeModuleLocn, -- :: ModuleName -> String -> FilePath - -- -> IO ModuleLocation - emptyHomeDirCache, -- :: IO () - flushPackageCache -- :: [PackageConfig] -> IO () + flushFinderCache, -- :: IO () + FindResult(..), + findModule, -- :: ModuleName -> Bool -> IO FindResult + findPackageModule, -- :: ModuleName -> Bool -> IO FindResult + mkHomeModLocation, -- :: ModuleName -> FilePath -> IO ModLocation + mkHomeModLocation2, -- :: ModuleName -> FilePath -> String -> IO ModLocation + addHomeModuleToFinder, -- :: Module -> ModLocation -> IO () + + findLinkable, -- :: ModuleName -> ModLocation -> IO (Maybe Linkable) + + cantFindError, -- :: DynFlags -> Module -> FindResult -> SDoc ) where #include "HsVersions.h" -import HscTypes ( ModuleLocation(..) ) -import Packages ( PackageConfig(..) ) -import DriverPhases +import Module +import UniqFM ( filterUFM ) +import HscTypes ( Linkable(..), Unlinked(..) ) +import Packages import DriverState import DriverUtil -import Module import FastString -import Config +import Util +import CmdLineOpts ( DynFlags(..) ) +import Outputable -import IOExts -import List -import Directory -import IO -import Monad -\end{code} +import DATA_IOREF ( IORef, writeIORef, readIORef ) -The Finder provides a thin filesystem abstraction to the rest of the -compiler. For a given module, it knows (a) which package the module -lives in, so it can make a Module from a ModuleName, and (b) where the -source, interface, and object files for a module live. +import Data.List +import System.Directory +import System.IO +import Control.Monad +import Maybes ( MaybeErr(..) ) +import Data.Maybe ( isNothing ) -\begin{code} -initFinder :: [PackageConfig] -> IO () -initFinder pkgs = return () - --- empty, and lazilly fill in the package cache -flushPackageCache :: [PackageConfig] -> IO () -flushPackageCache pkgs = return () - -emptyHomeDirCache :: IO () -emptyHomeDirCache = return () - -findModule :: ModuleName -> IO (Maybe (Module, ModuleLocation)) -findModule name = findModuleDep name False - -findModuleDep :: ModuleName -> Bool -> IO (Maybe (Module, ModuleLocation)) -findModuleDep name is_source - = do { j <- maybeHomeModule name is_source - ; case j of - Just home_module -> return (Just home_module) - Nothing -> findPackageMod name False - } - -maybeHomeModule :: ModuleName -> Bool -> IO (Maybe (Module, ModuleLocation)) -maybeHomeModule mod_name is_source = do - home_path <- readIORef v_Import_paths + +type FileExt = String -- Filename extension +type BaseName = String -- Basename of file + +-- ----------------------------------------------------------------------------- +-- The Finder + +-- The Finder provides a thin filesystem abstraction to the rest of +-- the compiler. For a given module, it can tell you where the +-- source, interface, and object files for that module live. +-- +-- It does *not* know which particular package a module lives in. Use +-- Packages.moduleToPackageConfig for that. + +-- ----------------------------------------------------------------------------- +-- The finder's cache + +GLOBAL_VAR(finder_cache, emptyModuleEnv, ModuleEnv FinderCacheEntry) + +type FinderCacheEntry = (ModLocation, Maybe (PackageConfig,Bool)) + +-- remove all the home modules from the cache; package modules are +-- assumed to not move around during a session. +flushFinderCache :: IO () +flushFinderCache = do + fm <- readIORef finder_cache + writeIORef finder_cache (filterUFM (\(loc,m) -> isNothing m) fm) + +addToFinderCache :: Module -> FinderCacheEntry -> IO () +addToFinderCache mod_name entry = do + fm <- readIORef finder_cache + writeIORef finder_cache (extendModuleEnv fm mod_name entry) + +lookupFinderCache :: Module -> IO (Maybe FinderCacheEntry) +lookupFinderCache mod_name = do + fm <- readIORef finder_cache + return $! lookupModuleEnv fm mod_name + +-- ----------------------------------------------------------------------------- +-- Locating modules + +-- This is the main interface to the finder, which maps ModuleNames to +-- Modules and ModLocations. +-- +-- The Module contains one crucial bit of information about a module: +-- whether it lives in the current ("home") package or not (see Module +-- for more details). +-- +-- The ModLocation contains the names of all the files associated with +-- that module: its source file, .hi file, object file, etc. + +data FindResult + = Found ModLocation PackageIdH + -- the module was found + | PackageHidden PackageId + -- for an explicit source import: the package containing the module is + -- not exposed. + | ModuleHidden PackageId + -- for an explicit source import: the package containing the module is + -- exposed, but the module itself is hidden. + | NotFound [FilePath] + -- the module was not found, the specified places were searched. + +type LocalFindResult = MaybeErr [FilePath] FinderCacheEntry + -- LocalFindResult is used for internal functions which + -- return a more informative type; it's munged into + -- the external FindResult by 'cached' + +cached :: (DynFlags -> Module -> IO LocalFindResult) + -> DynFlags -> Module -> Bool -> IO FindResult +cached wrapped_fn dflags name explicit + = do { -- First try the cache + mb_entry <- lookupFinderCache name + ; case mb_entry of { + Just old_entry -> return (found old_entry) ; + Nothing -> do + + { -- Now try the wrapped function + mb_entry <- wrapped_fn dflags name + ; case mb_entry of + Failed paths -> return (NotFound paths) + Succeeded new_entry -> do { addToFinderCache name new_entry + ; return (found new_entry) } + }}} + where + -- We've found the module, so the remaining question is + -- whether it's visible or not + found :: FinderCacheEntry -> FindResult + found (loc, Nothing) = Found loc HomePackage + found (loc, Just (pkg, exposed_mod)) + | explicit && not exposed_mod = ModuleHidden pkg_name + | explicit && not (exposed pkg) = PackageHidden pkg_name + | otherwise = Found loc (ExtPackage (mkPackageId (package pkg))) + where + pkg_name = packageConfigId pkg + +addHomeModuleToFinder :: Module -> ModLocation -> IO () +addHomeModuleToFinder mod loc = addToFinderCache mod (loc, Nothing) + + +-- ----------------------------------------------------------------------------- +-- The two external entry points + + +findModule :: DynFlags -> Module -> Bool -> IO FindResult +findModule = cached findModule' + +findPackageModule :: DynFlags -> Module -> Bool -> IO FindResult +findPackageModule = cached findPackageModule' + +-- ----------------------------------------------------------------------------- +-- The internal workers + +findModule' :: DynFlags -> Module -> IO LocalFindResult +-- Find home or package module +findModule' dflags name = do + r <- findPackageModule' dflags name + case r of + Failed pkg_files -> do + j <- findHomeModule' dflags name + case j of + Failed home_files -> + return (Failed (home_files ++ pkg_files)) + other_result + -> return other_result + other_result + -> return other_result + +findHomeModule' :: DynFlags -> Module -> IO LocalFindResult +findHomeModule' dflags mod = do + let home_path = importPaths dflags hisuf <- readIORef v_Hi_suf + mode <- readIORef v_GhcMode + + let + source_exts = + [ ("hs", mkHomeModLocationSearched mod "hs") + , ("lhs", mkHomeModLocationSearched mod "lhs") + ] + + hi_exts = [ (hisuf, mkHiOnlyModLocation hisuf) + , (addBootSuffix hisuf, mkHiOnlyModLocation hisuf) + ] + + -- In compilation manager modes, we look for source files in the home + -- package because we can compile these automatically. In one-shot + -- compilation mode we look for .hi and .hi-boot files only. + exts + | DoMkDependHS <- mode = source_exts + | isCompManagerMode mode = source_exts + | otherwise {-one-shot-} = hi_exts + + searchPathExts home_path mod exts + +findPackageModule' :: DynFlags -> Module -> IO LocalFindResult +findPackageModule' dflags mod + = case moduleToPackageConfig dflags mod of + Nothing -> return (Failed []) + Just pkg_info -> findPackageIface mod pkg_info + +findPackageIface :: Module -> (PackageConfig,Bool) -> IO LocalFindResult +findPackageIface mod pkg_info@(pkg_conf, _) = do + mode <- readIORef v_GhcMode + tag <- readIORef v_Build_tag + let + -- hi-suffix for packages depends on the build tag. + package_hisuf | null tag = "hi" + | otherwise = tag ++ "_hi" + hi_exts = + [ (package_hisuf, + mkPackageModLocation pkg_info package_hisuf) ] + + source_exts = + [ ("hs", mkPackageModLocation pkg_info package_hisuf) + , ("lhs", mkPackageModLocation pkg_info package_hisuf) + ] + + -- mkdependHS needs to look for source files in packages too, so + -- that we can make dependencies between package before they have + -- been built. + exts + | DoMkDependHS <- mode = hi_exts ++ source_exts + | otherwise = hi_exts + -- we never look for a .hi-boot file in an external package; + -- .hi-boot files only make sense for the home package. - let mod_str = moduleNameUserString mod_name - basename = map (\c -> if c == '.' then '/' else c) mod_str - - std_exts = - [ ("hs", \ _ fName path -> mkHomeModuleLocn mod_name path fName) - , ("lhs", \ _ fName path -> mkHomeModuleLocn mod_name path fName) - , (hisuf, \ _ fName path -> mkHiOnlyModuleLocn mod_name fName) - ] - -- look for the .hi file last, because if there's a source file about - -- we want to find it. - - -- last chance: .hi-boot- and .hi-boot - hi_boot_ver = "hi-boot-" ++ cHscIfaceFileVersion - - boot_exts = - [ (hi_boot_ver, \ _ fName path -> mkHiOnlyModuleLocn mod_name fName) - , ("hi-boot", \ _ fName path -> mkHiOnlyModuleLocn mod_name fName) - ] - - searchPathExts - (map ((,) undefined) home_path) - basename - (if is_source then (boot_exts++std_exts) else std_exts ++ boot_exts) - -- for SOURCE imports, check the hi-boot extensions - -- before the source/iface ones, to avoid - -- creating circ Makefile deps. - -mkHiOnlyModuleLocn mod_name hi_file = - return - ( mkHomeModule mod_name - , ModuleLocation{ ml_hspp_file = Nothing - , ml_hs_file = Nothing - , ml_hi_file = hi_file - , ml_obj_file = Nothing - } - ) - --- The .hi file always follows the module name, whereas the object --- file may follow the name of the source file in the case where the --- two differ (see summariseFile in compMan/CompManager.lhs). - -mkHomeModuleLocn mod_name - basename -- everything but the extension - source_fn -- full path to the source (required) - = do - - hisuf <- readIORef v_Hi_suf - hidir <- readIORef v_Hi_dir - - -- take the *last* component of the module name (if a hierarchical name), - -- and append it to the directory to get the .hi file name. - let (_,mod_str) = split_longest_prefix (moduleNameUserString mod_name) (=='.') - hi_filename = mod_str ++ '.':hisuf - hi_path | Just d <- hidir = d - | otherwise = getdir basename - hi = hi_path ++ '/':hi_filename - - -- figure out the .o file name. It also lives in the same dir - -- as the source, but can be overriden by a -odir flag. - o_file <- odir_ify (basename ++ '.':phaseInputExt Ln) >>= osuf_ify - - return (mkHomeModule mod_name, - ModuleLocation{ ml_hspp_file = Nothing - , ml_hs_file = Just source_fn - , ml_hi_file = hi - , ml_obj_file = Just o_file - }) - -findPackageMod :: ModuleName - -> Bool - -> IO (Maybe (Module, ModuleLocation)) -findPackageMod mod_name hiOnly = do - pkgs <- getPackageInfo - - -- hi-suffix for packages depends on the build tag. - package_hisuf <- - do tag <- readIORef v_Build_tag - if null tag - then return "hi" - else return (tag ++ "_hi") - let imp_dirs = concatMap (\ pkg -> map ((,) pkg) (import_dirs pkg)) pkgs - mod_str = moduleNameUserString mod_name - basename = map (\c -> if c == '.' then '/' else c) mod_str - - mkPackageModule mod_name pkg mbFName path = - return ( mkModule mod_name (mkFastString (name pkg)) - , ModuleLocation{ ml_hspp_file = Nothing - , ml_hs_file = mbFName - , ml_hi_file = path ++ '.':package_hisuf - , ml_obj_file = Nothing - }) - - searchPathExts - imp_dirs basename - ((package_hisuf,\ pkg fName path -> mkPackageModule mod_name pkg Nothing path) : - -- can packages contain hi-boots? - (if hiOnly then [] else - [ ("hs", \ pkg fName path -> mkPackageModule mod_name pkg (Just fName) path) - , ("lhs", \ pkg fName path -> mkPackageModule mod_name pkg (Just fName) path) - ])) - where - -findPackageModule :: ModuleName -> IO (Maybe (Module, ModuleLocation)) -findPackageModule mod_name = findPackageMod mod_name True - -searchPathExts :: [(a, FilePath)] - -> String - -> [(String, a -> FilePath -> String -> IO (Module, ModuleLocation))] - -> IO (Maybe (Module, ModuleLocation)) -searchPathExts path basename exts = search exts + searchPathExts (importDirs pkg_conf) mod exts + +-- ----------------------------------------------------------------------------- +-- General path searching + +searchPathExts + :: [FilePath] -- paths to search + -> Module -- module name + -> [ ( + FileExt, -- suffix + FilePath -> BaseName -> IO FinderCacheEntry -- action + ) + ] + -> IO LocalFindResult + +searchPathExts paths mod exts + = do result <- search to_search +{- + hPutStrLn stderr (showSDoc $ + vcat [text "Search" <+> ppr mod <+> sep (map (text. fst) exts) + , nest 2 (vcat (map text paths)) + , case result of + Succeeded (loc, p) -> text "Found" <+> ppr loc + Failed fs -> text "not found"]) +-} + return result + + where + basename = dots_to_slashes (moduleUserString mod) + + to_search :: [(FilePath, IO FinderCacheEntry)] + to_search = [ (file, fn path basename) + | path <- paths, + (ext,fn) <- exts, + let base | path == "." = basename + | otherwise = path ++ '/':basename + file = base ++ '.':ext + ] + + search [] = return (Failed (map fst to_search)) + search ((file, mk_result) : rest) = do + b <- doesFileExist file + if b + then do { res <- mk_result; return (Succeeded res) } + else search rest + +mkHomeModLocationSearched :: Module -> FileExt + -> FilePath -> BaseName -> IO FinderCacheEntry +mkHomeModLocationSearched mod suff path basename = do + loc <- mkHomeModLocation2 mod (path ++ '/':basename) suff + return (loc, Nothing) + +mkHiOnlyModLocation :: FileExt -> FilePath -> BaseName -> IO FinderCacheEntry +mkHiOnlyModLocation hisuf path basename = do + loc <- hiOnlyModLocation path basename hisuf + return (loc, Nothing) + +mkPackageModLocation :: (PackageConfig, Bool) -> FileExt + -> FilePath -> BaseName -> IO FinderCacheEntry +mkPackageModLocation pkg_info hisuf path basename = do + loc <- hiOnlyModLocation path basename hisuf + return (loc, Just pkg_info) + +-- ----------------------------------------------------------------------------- +-- Constructing a home module location + +-- This is where we construct the ModLocation for a module in the home +-- package, for which we have a source file. It is called from three +-- places: +-- +-- (a) Here in the finder, when we are searching for a module to import, +-- using the search path (-i option). +-- +-- (b) The compilation manager, when constructing the ModLocation for +-- a "root" module (a source file named explicitly on the command line +-- or in a :load command in GHCi). +-- +-- (c) The driver in one-shot mode, when we need to construct a +-- ModLocation for a source file named on the command-line. +-- +-- Parameters are: +-- +-- mod +-- The name of the module +-- +-- path +-- (a): The search path component where the source file was found. +-- (b) and (c): "." +-- +-- src_basename +-- (a): dots_to_slashes (moduleNameUserString mod) +-- (b) and (c): The filename of the source file, minus its extension +-- +-- ext +-- The filename extension of the source file (usually "hs" or "lhs"). + +mkHomeModLocation :: Module -> FilePath -> IO ModLocation +mkHomeModLocation mod src_filename = do + let (basename,extension) = splitFilename src_filename + mkHomeModLocation2 mod basename extension + +mkHomeModLocation2 :: Module + -> FilePath -- Of source module, without suffix + -> String -- Suffix + -> IO ModLocation +mkHomeModLocation2 mod src_basename ext = do + let mod_basename = dots_to_slashes (moduleUserString mod) + + obj_fn <- mkObjPath src_basename mod_basename + hi_fn <- mkHiPath src_basename mod_basename + + return (ModLocation{ ml_hs_file = Just (src_basename ++ '.':ext), + ml_hi_file = hi_fn, + ml_obj_file = obj_fn }) + +hiOnlyModLocation :: FilePath -> String -> Suffix -> IO ModLocation +hiOnlyModLocation path basename hisuf + = do let full_basename = path++'/':basename + obj_fn <- mkObjPath full_basename basename + return ModLocation{ ml_hs_file = Nothing, + ml_hi_file = full_basename ++ '.':hisuf, + -- Remove the .hi-boot suffix from + -- hi_file, if it had one. We always + -- want the name of the real .hi file + -- in the ml_hi_file field. + ml_obj_file = obj_fn + } + +-- | Constructs the filename of a .o file for a given source file. +-- Does /not/ check whether the .o file exists +mkObjPath + :: FilePath -- the filename of the source file, minus the extension + -> String -- the module name with dots replaced by slashes + -> IO FilePath +mkObjPath basename mod_basename + = do odir <- readIORef v_Output_dir + osuf <- readIORef v_Object_suf + + let obj_basename | Just dir <- odir = dir ++ '/':mod_basename + | otherwise = basename + + return (obj_basename ++ '.':osuf) + +-- | Constructs the filename of a .hi file for a given source file. +-- Does /not/ check whether the .hi file exists +mkHiPath + :: FilePath -- the filename of the source file, minus the extension + -> String -- the module name with dots replaced by slashes + -> IO FilePath +mkHiPath basename mod_basename + = do hidir <- readIORef v_Hi_dir + hisuf <- readIORef v_Hi_suf + + let hi_basename | Just dir <- hidir = dir ++ '/':mod_basename + | otherwise = basename + + return (hi_basename ++ '.':hisuf) + + +-- ----------------------------------------------------------------------------- +-- findLinkable isn't related to the other stuff in here, +-- but there's no other obvious place for it + +findLinkable :: Module -> ModLocation -> IO (Maybe Linkable) +findLinkable mod locn + = do let obj_fn = ml_obj_file locn + obj_exist <- doesFileExist obj_fn + if not obj_exist + then return Nothing + else + do let stub_fn = case splitFilename3 obj_fn of + (dir, base, ext) -> dir ++ "/" ++ base ++ "_stub.o" + stub_exist <- doesFileExist stub_fn + obj_time <- getModificationTime obj_fn + if stub_exist + then return (Just (LM obj_time mod [DotO obj_fn, DotO stub_fn])) + else return (Just (LM obj_time mod [DotO obj_fn])) + +-- ----------------------------------------------------------------------------- +-- Utils + +dots_to_slashes = map (\c -> if c == '.' then '/' else c) + + +-- ----------------------------------------------------------------------------- +-- Error messages + +cantFindError :: DynFlags -> Module -> FindResult -> SDoc +cantFindError dflags mod_name find_result + = hang (ptext SLIT("Could not find module") <+> quotes (ppr mod_name) <> colon) + 2 more_info where - search [] = return Nothing - search ((x,f):xs) = do - let fName = (basename ++ '.':x) - found <- findOnPath path fName - case found of - -- special case to avoid getting "./foo." all the time - Just (v,".") -> fmap Just (f v fName basename) - Just (v,path) -> fmap Just (f v (path ++ '/':fName) - (path ++ '/':basename)) - Nothing -> search xs - -findOnPath :: [(a,String)] -> String -> IO (Maybe (a, FilePath)) -findOnPath path s = loop path - where - loop [] = return Nothing - loop ((a,d):ds) = do - let file = d ++ '/':s - b <- doesFileExist file - if b then return (Just (a,d)) else loop ds + more_info + = case find_result of + PackageHidden pkg + -> ptext SLIT("it is a member of package") <+> ppr pkg <> comma + <+> ptext SLIT("which is hidden") + + ModuleHidden pkg + -> ptext SLIT("it is hidden") <+> parens (ptext SLIT("in package") + <+> ppr pkg) + + NotFound files + | null files + -> ptext SLIT("it is not a module in the current program, or in any known package.") + | verbosity dflags < 3 + -> ptext SLIT("use -v to see a list of the files searched for") + | otherwise + -> hang (ptext SLIT("locations searched:")) + 2 (vcat (map text files)) + + Found _ _ -> panic "cantFindErr" \end{code}