--
-- Copyright (c) 2005 Don Stewart - http://www.cse.unsw.edu.au/~dons
-- GPL version 2 or later (see http://www.gnu.org/copyleft/gpl.html)
--
-- | Shared types between static and dynamic code. This is the only
-- module that is linked both statically and dynamically. (And doing so
-- breaks us from running the whole of the bot in ghci -- so sue me).
--
module Shared (Module(..), Symbol, DynLoad(..)) where
type Symbol = String
newtype Module = Module String {- unique module identifier -}
-- | Operations provided by the dynamic linker linked into the static
-- core. A DynLoad value is passed from there to the dynamic code, for
-- use by DynamicModule
--
-- Possibly want to treat this as an existential, ala MODULE
--
-- could add to DynLoad, Typeable a => ...
--
data DynLoad = DynLoad {
dynload :: forall a. FilePath -> Symbol -> IO (Module,a),
unload :: Module -> IO ()
}