add -fsimpleopt-before-flatten

[ghc-hetmet.git] / compiler / ghci / ObjLink.lhs

diff --git a/compiler/ghci/ObjLink.lhs b/compiler/ghci/ObjLink.lhs
index 135afbb..310ddb5 100644 (file)
--- a/compiler/ghci/ObjLink.lhs
+++ b/compiler/ghci/ObjLink.lhs
@@ -9,32 +9,26 @@
 Primarily, this module consists of an interface to the C-land dynamic linker.
 
 \begin{code}
-{-# OPTIONS -#include "Linker.h" #-}
-
 module ObjLink ( 
    initObjLinker,       -- :: IO ()
    loadDLL,             -- :: String -> IO (Maybe String)
+   loadArchive,         -- :: String -> IO ()
    loadObj,             -- :: String -> IO ()
    unloadObj,           -- :: String -> IO ()
    insertSymbol,         -- :: String -> String -> Ptr a -> IO ()
    lookupSymbol,        -- :: String -> IO (Maybe (Ptr a))
-   resolveObjs,         -- :: IO SuccessFlag
-   lookupDataCon         -- :: Ptr a  -> IO (Maybe String)
+   resolveObjs          -- :: IO SuccessFlag
   )  where
 
-import ByteCodeItbls    ( StgInfoTable )
-import Panic           ( panic )
+import Panic
 import BasicTypes      ( SuccessFlag, successIf )
 import Config          ( cLeadingUnderscore )
-import Outputable
 
 import Control.Monad    ( when )
 import Foreign.C
 import Foreign         ( nullPtr )
-import GHC.Exts         ( Ptr(..), unsafeCoerce# )
+import GHC.Exts         ( Ptr(..) )
 
-import Constants        ( wORD_SIZE )
-import Foreign          ( plusPtr )
 
 
 -- ---------------------------------------------------------------------------
@@ -57,14 +51,6 @@ lookupSymbol str_in = do
        then return Nothing
        else return (Just addr)
 
--- | Expects a Ptr to an info table, not to a closure
-lookupDataCon :: Ptr StgInfoTable -> IO (Maybe String)
-lookupDataCon ptr = do
-    name <- c_lookupDataCon  (ptr `plusPtr` (wORD_SIZE*2))
-    if name == nullPtr
-       then return Nothing
-       else peekCString name >>= return . Just
-
 prefixUnderscore :: String -> String
 prefixUnderscore
  | cLeadingUnderscore == "YES" = ('_':)
@@ -80,17 +66,23 @@ loadDLL str = do
        else do str <- peekCString maybe_errmsg
                return (Just str)
 
+loadArchive :: String -> IO ()
+loadArchive str = do
+   withCString str $ \c_str -> do
+     r <- c_loadArchive c_str
+     when (r == 0) (panic ("loadArchive " ++ show str ++ ": failed"))
+
 loadObj :: String -> IO ()
 loadObj str = do
    withCString str $ \c_str -> do
      r <- c_loadObj c_str
-     when (r == 0) (panic "loadObj: failed")
+     when (r == 0) (panic ("loadObj " ++ show str ++ ": failed"))
 
 unloadObj :: String -> IO ()
 unloadObj str =
    withCString str $ \c_str -> do
      r <- c_unloadObj c_str
-     when (r == 0) (panic "unloadObj: failed")
+     when (r == 0) (panic ("unloadObj " ++ show str ++ ": failed"))
 
 resolveObjs :: IO SuccessFlag
 resolveObjs = do
@@ -98,16 +90,15 @@ resolveObjs = do
    return (successIf (r /= 0))
 
 -- ---------------------------------------------------------------------------
--- Foreign declaractions to RTS entry points which does the real work;
+-- Foreign declarations to RTS entry points which does the real work;
 -- ---------------------------------------------------------------------------
 
 foreign import ccall unsafe "addDLL"      c_addDLL :: CString -> IO CString
 foreign import ccall unsafe "initLinker"   initObjLinker :: IO ()
 foreign import ccall unsafe "insertSymbol" c_insertSymbol :: CString -> CString -> Ptr a -> IO ()
 foreign import ccall unsafe "lookupSymbol" c_lookupSymbol :: CString -> IO (Ptr a)
+foreign import ccall unsafe "loadArchive"  c_loadArchive :: CString -> IO Int
 foreign import ccall unsafe "loadObj"      c_loadObj :: CString -> IO Int
 foreign import ccall unsafe "unloadObj"    c_unloadObj :: CString -> IO Int
 foreign import ccall unsafe "resolveObjs"  c_resolveObjs :: IO Int
-foreign import ccall unsafe "lookupDataCon"  c_lookupDataCon :: Ptr a -> IO CString
-
 \end{code}