+{-# OPTIONS -#include "Linker.h" -#include "SchedAPI.h" #-}
-----------------------------------------------------------------------------
--- $Id: InteractiveUI.hs,v 1.87 2001/08/15 14:41:49 simonmar Exp $
+-- $Id: InteractiveUI.hs,v 1.106 2002/01/09 12:41:47 simonmar Exp $
--
-- GHC Interactive User Interface
--
-- (c) The GHC Team 2000
--
-----------------------------------------------------------------------------
-
-{-# OPTIONS -#include "Linker.h" #-}
-{-# OPTIONS -#include "SchedAPI.h" #-}
module InteractiveUI ( interactiveUI, ghciWelcomeMsg ) where
#include "../includes/config.h"
import Packages
import CompManager
-import HscTypes ( GhciMode(..), TyThing(..) )
-import MkIface ( ifaceTyCls )
+import HscTypes ( TyThing(..) )
+import MkIface
import ByteCodeLink
import DriverFlags
import DriverState
import Linker
import Finder ( flushPackageCache )
import Util
-import Id ( isDataConWrapId, idName )
+import Id ( isRecordSelector, recordSelectorFieldLabel,
+ isDataConWrapId, idName )
import Class ( className )
-import TyCon ( tyConName )
+import TyCon ( tyConName, tyConClass_maybe, isPrimTyCon )
+import FieldLabel ( fieldLabelTyCon )
import SrcLoc ( isGoodSrcLoc )
-import Name ( Name, isHomePackageName, nameSrcLoc )
+import Name ( Name, isHomePackageName, nameSrcLoc, nameOccName,
+ NamedThing(..) )
+import OccName ( isSymOcc )
+import BasicTypes ( defaultFixity )
import Outputable
import CmdLineOpts ( DynFlag(..), getDynFlags, saveDynFlags, restoreDynFlags, dopt_unset )
-import Panic ( GhcException(..) )
+import Panic ( GhcException(..), showGhcException )
import Config
#ifndef mingw32_TARGET_OS
#if HAVE_READLINE_HEADERS && HAVE_READLINE_LIBS
import Readline
#endif
+import Concurrent
import IOExts
+import SystemExts
import Numeric
import List
import Directory
import IO
import Char
-import Monad ( when )
+import Monad ( when, join )
import PrelGHC ( unsafeCoerce# )
import Foreign ( nullPtr )
("help", keepGoing help),
("?", keepGoing help),
("info", keepGoing info),
+ ("import", keepGoing importModules),
("load", keepGoing loadModule),
("module", keepGoing setContext),
("reload", keepGoing reloadModule),
- ("set", keepGoing setOptions),
+ ("set", keepGoing setCmd),
("type", keepGoing typeOfExpr),
("unset", keepGoing unsetOptions),
("undef", keepGoing undefineMacro),
\ :module <mod> set the context for expression evaluation to <mod>\n\
\ :reload reload the current module set\n\
\ :set <option> ... set options\n\
+\ :set args <arg> ... set the arguments returned by System.getArgs\n\
+\ :set prog <progname> set the value returned by System.getProgName\n\
\ :undef <cmd> undefine user-defined command :<cmd>\n\
\ :type <expr> show the type of <expr>\n\
\ :unset <option> ... unset options\n\
initLinker
linkPackages cmdline_libs pkgs
- (cmstate, ok, mods) <-
- case paths of
- [] -> return (cmstate, True, [])
- _ -> cmLoadModule cmstate paths
-
-#if HAVE_READLINE_HEADERS && HAVE_READLINE_LIBS
- Readline.initialize
-#endif
-
dflags <- getDynFlags
(cmstate, maybe_hval)
+ <- cmCompileExpr cmstate dflags "IO.hSetBuffering IO.stdout IO.NoBuffering Prelude.>> IO.hSetBuffering IO.stderr IO.NoBuffering"
+ case maybe_hval of
+ Just hval -> unsafeCoerce# hval :: IO ()
+ _ -> panic "interactiveUI:buffering"
+
+ (cmstate, maybe_hval)
<- cmCompileExpr cmstate dflags "IO.hFlush PrelHandle.stderr"
case maybe_hval of
Just hval -> writeIORef flush_stderr (unsafeCoerce# hval :: IO ())
Just hval -> writeIORef flush_stdout (unsafeCoerce# hval :: IO ())
_ -> panic "interactiveUI:stdout"
- startGHCi runGHCi GHCiState{ targets = paths,
- cmstate = cmstate,
- options = [] }
+ -- initial context is just the Prelude
+ cmstate <- cmSetContext cmstate dflags [] ["Prelude"]
+
+#if HAVE_READLINE_HEADERS && HAVE_READLINE_LIBS
+ Readline.initialize
+#endif
+
+ startGHCi (runGHCi paths)
+ GHCiState{ progname = "<interactive>",
+ args = [],
+ targets = paths,
+ cmstate = cmstate,
+ options = [] }
#if HAVE_READLINE_HEADERS && HAVE_READLINE_LIBS
Readline.resetTerminal Nothing
return ()
-runGHCi :: GHCi ()
-runGHCi = do
+runGHCi :: [FilePath] -> GHCi ()
+runGHCi paths = do
read_dot_files <- io (readIORef v_Read_DotGHCi)
when (read_dot_files) $ do
Left e -> return ()
Right hdl -> fileLoop hdl False
+ -- perform a :load for files given on the GHCi command line
+ when (not (null paths)) $
+ ghciHandle showException $
+ loadModule (unwords paths)
+
+ -- enter the interactive loop
+ interactiveLoop
+
+ -- and finally, exit
+ io $ do putStrLn "Leaving GHCi."
+
+
+interactiveLoop = do
+ -- ignore ^C exceptions caught here
+ ghciHandleDyn (\e -> case e of Interrupted -> ghciUnblock interactiveLoop
+ _other -> return ()) $ do
+
-- read commands from stdin
#if HAVE_READLINE_HEADERS && HAVE_READLINE_LIBS
readlineLoop
fileLoop stdin True
#endif
- -- and finally, exit
- io $ do putStrLn "Leaving GHCi."
-
-- NOTE: We only read .ghci files if they are owned by the current user,
-- and aren't world writable. Otherwise, we could be accidentally
fileLoop :: Handle -> Bool -> GHCi ()
fileLoop hdl prompt = do
st <- getGHCiState
- mod <- io (cmGetContext (cmstate st))
- when prompt (io (putStr (mod ++ "> ")))
+ (mod,imports) <- io (cmGetContext (cmstate st))
+ when prompt (io (putStr (mkPrompt mod imports)))
l <- io (IO.try (hGetLine hdl))
case l of
Left e | isEOFError e -> return ()
l -> do quit <- runCommand l
if quit then return () else stringLoop ss
+mkPrompt toplevs exports
+ = concat (intersperse "," toplevs)
+ ++ (if not (null exports)
+ then "[" ++ concat (intersperse "," exports) ++ "]"
+ else "")
+ ++ "> "
+
#if HAVE_READLINE_HEADERS && HAVE_READLINE_LIBS
readlineLoop :: GHCi ()
readlineLoop = do
st <- getGHCiState
- mod <- io (cmGetContext (cmstate st))
- l <- io (readline (mod ++ "> "))
+ (mod,imports) <- io (cmGetContext (cmstate st))
+ io yield
+ l <- io (readline (mkPrompt mod imports))
case l of
Nothing -> return ()
Just l ->
showException (DynException dyn) =
case fromDynamic dyn of
- Nothing ->
- io (putStrLn ("*** Exception: (unknown)"))
- Just (PhaseFailed phase code) ->
- io (putStrLn ("Phase " ++ phase ++ " failed (code "
- ++ show code ++ ")"))
- Just Interrupted ->
- io (putStrLn "Interrupted.")
- Just (CmdLineError s) ->
- io (putStrLn s) -- omit the location for CmdLineError
- Just other_ghc_ex ->
- io (putStrLn (show other_ghc_ex))
+ Nothing -> io (putStrLn ("*** Exception: (unknown)"))
+ Just Interrupted -> io (putStrLn "Interrupted.")
+ Just (CmdLineError s) -> io (putStrLn s) -- omit the location for CmdLineError
+ Just ph@PhaseFailed{} -> io (putStrLn (showGhcException ph "")) -- ditto
+ Just other_ghc_ex -> io (print other_ghc_ex)
+
showException other_exception
= io (putStrLn ("*** Exception: " ++ show other_exception))
doCommand (':' : command) = specialCommand command
doCommand stmt
- = do timeIt (do stuff <- runStmt stmt; finishEvalExpr stuff)
+ = do timeIt (do nms <- runStmt stmt; finishEvalExpr nms)
return False
--- Returns True if the expr was successfully parsed, renamed and
--- typechecked.
-runStmt :: String -> GHCi (Maybe [Name])
+runStmt :: String -> GHCi [Name]
runStmt stmt
- | null (filter (not.isSpace) stmt)
- = return Nothing
+ | null (filter (not.isSpace) stmt) = return []
| otherwise
= do st <- getGHCiState
dflags <- io getDynFlags
let dflags' = dopt_unset dflags Opt_WarnUnusedBinds
- (new_cmstate, names) <- io (cmRunStmt (cmstate st) dflags' stmt)
+ (new_cmstate, result) <-
+ io $ withProgName (progname st) $ withArgs (args st) $
+ cmRunStmt (cmstate st) dflags' stmt
setGHCiState st{cmstate = new_cmstate}
- return (Just names)
+ case result of
+ CmRunFailed -> return []
+ CmRunException e -> showException e >> return []
+ CmRunDeadlocked -> io (putStrLn "Deadlocked.") >> return []
+ CmRunOk names -> return names
-- possibly print the type and revert CAFs after evaluating an expression
-finishEvalExpr Nothing = return False
-finishEvalExpr (Just names)
+finishEvalExpr names
= do b <- isOptionSet ShowType
st <- getGHCiState
when b (mapM_ (showTypeOfName (cmstate st)) names)
flushEverything :: GHCi ()
flushEverything
- = io $ do flush_so <- readIORef flush_stdout
- flush_so
- flush_se <- readIORef flush_stdout
- flush_se
+ = io $ do Monad.join (readIORef flush_stdout)
+ Monad.join (readIORef flush_stderr)
return ()
specialCommand :: String -> GHCi Bool
let
infoThings cms [] = return cms
infoThings cms (name:names) = do
- (cms, unqual, ty_things) <- io (cmInfoThing cms dflags name)
+ (cms, unqual, stuff) <- io (cmInfoThing cms dflags name)
io (putStrLn (showSDocForUser unqual (
- vcat (intersperse (text "") (map showThing ty_things))))
+ vcat (intersperse (text "") (map showThing stuff))))
)
infoThings cms names
- showThing ty_thing = vcat [ text "-- " <> showTyThing ty_thing,
- ppr (ifaceTyCls ty_thing) ]
+ showThing (ty_thing, fixity)
+ = vcat [ text "-- " <> showTyThing ty_thing,
+ showFixity fixity (getName ty_thing),
+ ppr (ifaceTyThing ty_thing) ]
+
+ showFixity fix name
+ | fix == defaultFixity = empty
+ | otherwise = ppr fix <+>
+ (if isSymOcc (nameOccName name)
+ then ppr name
+ else char '`' <> ppr name <> char '`')
- showTyThing (AClass cl)
+ showTyThing (AClass cl)
= hcat [ppr cl, text " is a class", showSrcLoc (className cl)]
showTyThing (ATyCon ty)
+ | isPrimTyCon ty
+ = hcat [ppr ty, text " is a primitive type constructor"]
+ | otherwise
= hcat [ppr ty, text " is a type constructor", showSrcLoc (tyConName ty)]
showTyThing (AnId id)
- | isDataConWrapId id
- = hcat [ppr id, text " is a data constructor", showSrcLoc (idName id)]
- | otherwise
- = hcat [ppr id, text " is a variable", showSrcLoc (idName id)]
+ = hcat [ppr id, text " is a ", idDescr id, showSrcLoc (idName id)]
+
+ idDescr id
+ | isRecordSelector id =
+ case tyConClass_maybe (fieldLabelTyCon (
+ recordSelectorFieldLabel id)) of
+ Nothing -> text "record selector"
+ Just c -> text "method in class " <> ppr c
+ | isDataConWrapId id = text "data constructor"
+ | otherwise = text "variable"
-- also print out the source location for home things
showSrcLoc name
setGHCiState state{ cmstate = cms }
return ()
-
addModule :: String -> GHCi ()
addModule str = do
let files = words str
dflags <- io (getDynFlags)
io (revertCAFs) -- always revert CAFs on load/add.
let new_targets = files ++ targets state
- (cmstate1, ok, mods) <- io (cmLoadModule (cmstate state) new_targets)
+ graph <- io (cmDepAnal (cmstate state) dflags new_targets)
+ (cmstate1, ok, mods) <- io (cmLoadModules (cmstate state) dflags graph)
setGHCiState state{ cmstate = cmstate1, targets = new_targets }
+ setContextAfterLoad mods
modulesLoadedMsg ok mods
-setContext :: String -> GHCi ()
-setContext ""
- = throwDyn (CmdLineError "syntax: `:m <module>'")
-setContext m | not (isUpper (head m)) || not (all isAlphaNumEx (tail m))
- = throwDyn (CmdLineError ("strange looking module name: `" ++ m ++ "'"))
- where
- isAlphaNumEx c = isAlphaNum c || c == '_'
-setContext str
- = do st <- getGHCiState
- new_cmstate <- io (cmSetContext (cmstate st) str)
- setGHCiState st{cmstate=new_cmstate}
-
changeDirectory :: String -> GHCi ()
changeDirectory ('~':d) = do
tilde <- io (getEnv "HOME") -- will fail if HOME not defined
else do
io (writeIORef commands (filter ((/= macro_name) . fst) cmds))
+
+importModules :: String -> GHCi ()
+importModules str = return ()
+
+
loadModule :: String -> GHCi ()
loadModule str = timeIt (loadModule' str)
let files = words str
state <- getGHCiState
dflags <- io getDynFlags
+
+ -- do the dependency anal first, so that if it fails we don't throw
+ -- away the current set of modules.
+ graph <- io (cmDepAnal (cmstate state) dflags files)
+
+ -- Dependency anal ok, now unload everything
cmstate1 <- io (cmUnload (cmstate state) dflags)
setGHCiState state{ cmstate = cmstate1, targets = [] }
- io (revertCAFs) -- always revert CAFs on load.
- (cmstate2, ok, mods) <- io (cmLoadModule cmstate1 files)
+
+ io (revertCAFs) -- always revert CAFs on load.
+ (cmstate2, ok, mods) <- io (cmLoadModules cmstate1 dflags graph)
setGHCiState state{ cmstate = cmstate2, targets = files }
+
+ setContextAfterLoad mods
modulesLoadedMsg ok mods
+
reloadModule :: String -> GHCi ()
reloadModule "" = do
state <- getGHCiState
+ dflags <- io getDynFlags
case targets state of
[] -> io (putStr "no current target\n")
- paths
- -> do io (revertCAFs) -- always revert CAFs on reload.
- (new_cmstate, ok, mods) <- io (cmLoadModule (cmstate state) paths)
- setGHCiState state{ cmstate=new_cmstate }
- modulesLoadedMsg ok mods
+ paths -> do
+ -- do the dependency anal first, so that if it fails we don't throw
+ -- away the current set of modules.
+ graph <- io (cmDepAnal (cmstate state) dflags paths)
+
+ io (revertCAFs) -- always revert CAFs on reload.
+ (cmstate1, ok, mods)
+ <- io (cmLoadModules (cmstate state) dflags graph)
+ setGHCiState state{ cmstate=cmstate1 }
+ setContextAfterLoad mods
+ modulesLoadedMsg ok mods
reloadModule _ = noArgs ":reload"
+setContextAfterLoad [] = setContext prel
+setContextAfterLoad (m:_) = setContext m
modulesLoadedMsg ok mods = do
let mod_commas
shellEscape :: String -> GHCi Bool
shellEscape str = io (system str >> return False)
+-----------------------------------------------------------------------------
+-- Setting the module context
+
+setContext str
+ | all sensible mods = newContext mods -- default is to set the empty context
+ | all plusminus mods = adjustContext mods
+ | otherwise
+ = throwDyn (CmdLineError "syntax: :module M1 .. Mn | :module [+/-]M1 ... [+/-]Mn")
+ where
+ mods = words str
+
+ sensible (c:cs) = isUpper c && all isAlphaNumEx cs
+ isAlphaNumEx c = isAlphaNum c || c == '_'
+
+ plusminus ('-':mod) = sensible mod
+ plusminus ('+':mod) = sensible mod
+ plusminus _ = False
+
+newContext mods = do
+ state@GHCiState{cmstate=cmstate} <- getGHCiState
+ dflags <- io getDynFlags
+
+ let separate [] as bs = return (as,bs)
+ separate (m:ms) as bs = do
+ b <- io (cmModuleIsInterpreted cmstate m)
+ if b then separate ms (m:as) bs
+ else separate ms as (m:bs)
+
+ (as,bs) <- separate mods [] []
+ let bs' = if null as && prel `notElem` bs then prel:bs else bs
+ cmstate' <- io (cmSetContext cmstate dflags as bs')
+ setGHCiState state{cmstate=cmstate'}
+
+prel = "Prelude"
+
+adjustContext mods = do
+ state@GHCiState{cmstate=cmstate} <- getGHCiState
+ dflags <- io getDynFlags
+
+ let adjust [] as bs = return (as,bs)
+ adjust (('-':m) : ms) as bs
+ | m `elem` as = adjust ms (delete m as) bs
+ | m `elem` bs = adjust ms as (delete m bs)
+ | otherwise = throwDyn (CmdLineError ("module `" ++ m ++ "' is not currently in scope"))
+ adjust (('+':m) : ms) as bs
+ | m `elem` as || m `elem` bs = adjust ms as bs -- continue silently
+ | otherwise = do b <- io (cmModuleIsInterpreted cmstate m)
+ if b then adjust ms (m:as) bs
+ else adjust ms as (m:bs)
+
+ (as,bs) <- io (cmGetContext cmstate)
+ (as,bs) <- adjust mods as bs
+ let bs' = if null as && prel `notElem` bs then prel:bs else bs
+ cmstate' <- io (cmSetContext cmstate dflags as bs')
+ setGHCiState state{cmstate=cmstate'}
+
----------------------------------------------------------------------------
-- Code for `:set'
-- This is pretty fragile: most options won't work as expected. ToDo:
-- figure out which ones & disallow them.
-setOptions :: String -> GHCi ()
-setOptions ""
+setCmd :: String -> GHCi ()
+setCmd ""
= do st <- getGHCiState
let opts = options st
io $ putStrLn (showSDoc (
then text "none."
else hsep (map (\o -> char '+' <> text (optToStr o)) opts)
))
-setOptions str
- = do -- first, deal with the GHCi opts (+s, +t, etc.)
- let (plus_opts, minus_opts) = partition isPlus (words str)
+setCmd str
+ = case words str of
+ ("args":args) -> setArgs args
+ ("prog":prog) -> setProg prog
+ wds -> setOptions wds
+
+setArgs args = do
+ st <- getGHCiState
+ setGHCiState st{ args = args }
+
+setProg [prog] = do
+ st <- getGHCiState
+ setGHCiState st{ progname = prog }
+setProg _ = do
+ io (hPutStrLn stderr "syntax: :set prog <progname>")
+
+setOptions wds =
+ do -- first, deal with the GHCi opts (+s, +t, etc.)
+ let (plus_opts, minus_opts) = partition isPlus wds
mapM setOpt plus_opts
-- now, the GHC flags
flushPackageCache pkgs
new_pkg_info <- getPackageDetails new_pkgs
- mapM_ (linkPackage False) (reverse new_pkg_info)
+ mapM_ linkPackage (reverse new_pkg_info)
-----------------------------------------------------------------------------
-- GHCi monad
data GHCiState = GHCiState
{
+ progname :: String,
+ args :: [String],
targets :: [FilePath],
cmstate :: CmState,
options :: [GHCiOption]
(GHCi m) >>= k = GHCi $ \s -> m s >>= \a -> unGHCi (k a) s
return a = GHCi $ \s -> return a
+ghciHandleDyn :: Typeable t => (t -> GHCi a) -> GHCi a -> GHCi a
+ghciHandleDyn h (GHCi m) = GHCi $ \s ->
+ Exception.catchDyn (m s) (\e -> unGHCi (h e) s)
+
getGHCiState = GHCi $ \r -> readIORef r
setGHCiState s = GHCi $ \r -> writeIORef r s
linkPackages :: [LibrarySpec] -> [PackageConfig] -> IO ()
linkPackages cmdline_lib_specs pkgs
- = do sequence_ [ linkPackage (name p `elem` loaded) p | p <- reverse pkgs ]
+ = do mapM_ linkPackage (reverse pkgs)
lib_paths <- readIORef v_Library_paths
mapM_ (preloadLib lib_paths) cmdline_lib_specs
if (null cmdline_lib_specs)
else do putStr "final link ... "
ok <- resolveObjs
if ok then putStrLn "done."
- else throwDyn (InstallationError "linking extra libraries/objects failed")
+ else throwDyn (InstallationError
+ "linking extra libraries/objects failed")
where
- -- Packages that are already linked into GHCi. For mingw32, we only
- -- skip gmp and rts, since std and after need to load the msvcrt.dll
- -- library which std depends on.
- loaded
-# ifndef mingw32_TARGET_OS
- = [ "gmp", "rts", "std", "concurrent", "posix", "text", "util" ]
-# else
- = [ "gmp", "rts" ]
-# endif
-
preloadLib :: [String] -> LibrarySpec -> IO ()
preloadLib lib_paths lib_spec
= do putStr ("Loading object " ++ showLS lib_spec ++ " ... ")
-> -- We add "" to the set of paths to try, so that
-- if none of the real paths match, we force addDLL
-- to look in the default dynamic-link search paths.
- do b <- preload_dynamic (lib_paths++[""]) dll_unadorned
- when (not b) (cantFind lib_paths lib_spec)
+ do maybe_errstr <- preload_dynamic (lib_paths++[""])
+ dll_unadorned
+ case maybe_errstr of
+ Nothing -> return ()
+ Just mm -> preloadFailed mm lib_paths lib_spec
putStrLn "done"
- cantFind :: [String] -> LibrarySpec -> IO ()
- cantFind paths spec
- = do putStr ("failed.\nCan't find " ++ showLS spec
- ++ " in directories:\n"
+ preloadFailed :: String -> [String] -> LibrarySpec -> IO ()
+ preloadFailed sys_errmsg paths spec
+ = do putStr ("failed.\nDynamic linker error message was:\n "
+ ++ sys_errmsg ++ "\nWhilst trying to load: "
+ ++ showLS spec ++ "\nDirectories to search are:\n"
++ unlines (map (" "++) paths) )
give_up
if not b then return False
else loadObj name >> return True
+ -- return Nothing == success, else Just error message from addDLL
preload_dynamic [] name
- = return False
+ = return Nothing
preload_dynamic (path:paths) rootname
- = do maybe_errmsg <- addDLL path rootname
- if maybe_errmsg /= nullPtr
+ = do -- addDLL returns NULL on success
+ maybe_errmsg <- addDLL path rootname
+ if maybe_errmsg == nullPtr
then preload_dynamic paths rootname
- else return True
+ else do str <- peekCString maybe_errmsg
+ return (Just str)
give_up
= (throwDyn . CmdLineError)
"user specified .o/.so/.DLL could not be loaded."
+-- Packages that don't need loading, because the compiler shares them with
+-- the interpreted program.
+dont_load_these = [ "gmp", "rts" ]
+
+-- Packages that are already linked into GHCi. For mingw32, we only
+-- skip gmp and rts, since std and after need to load the msvcrt.dll
+-- library which std depends on.
+loaded_in_ghci
+# ifndef mingw32_TARGET_OS
+ = [ "std", "concurrent", "posix", "text", "util" ]
+# else
+ = [ ]
+# endif
-linkPackage :: Bool -> PackageConfig -> IO ()
--- ignore rts and gmp for now (ToDo; better?)
-linkPackage loaded_in_ghci pkg
- | name pkg `elem` ["rts", "gmp"]
- = return ()
+linkPackage :: PackageConfig -> IO ()
+linkPackage pkg
+ | name pkg `elem` dont_load_these = return ()
| otherwise
- = do putStr ("Loading package " ++ name pkg ++ " ... ")
+ = do
-- For each obj, try obj.o and if that fails, obj.so.
-- Complication: all the .so's must be loaded before any of the .o's.
let dirs = library_dirs pkg
-- Don't load the .so libs if this is a package GHCi is already
-- linked against, because we'll already have the .so linked in.
let (so_libs, obj_libs) = partition isRight classifieds
- let sos_first | loaded_in_ghci = obj_libs
- | otherwise = so_libs ++ obj_libs
+ let sos_first | name pkg `elem` loaded_in_ghci = obj_libs
+ | otherwise = so_libs ++ obj_libs
+ putStr ("Loading package " ++ name pkg ++ " ... ")
mapM loadClassified sos_first
putStr "linking ... "
ok <- resolveObjs