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 )
-- ---------------------------------------------------------------------------
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" = ('_':)
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
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}