GHC.Runtime.Interpreter

Interacting with the iserv interpreter, whether it is running on an external process or in the current process.

Documentation

module GHC.Runtime.Interpreter.Types

High-level interface to the interpreter

newtype BCOOpts

Constructors

BCOOpts

Fields

• bco_n_jobs :: Int

  Number of parallel jobs doing BCO serialization

evalStmt :: Interp -> EvalOpts -> EvalExpr ForeignHValue -> IO (EvalStatus_ [ForeignHValue] [HValueRef])

Execute an action of type IO [a], returning ForeignHValues for each of the results.

data EvalStatus_ a b

Constructors

EvalComplete Word64 (EvalResult a)

EvalBreak Bool HValueRef Int Int (RemoteRef (ResumeContext b)) (RemotePtr CostCentreStack)

Instances

Show a => Show (EvalStatus_ a b)

Defined in GHCi.Message

Methods

showsPrec :: Int -> EvalStatus_ a b -> ShowS

show :: EvalStatus_ a b -> String

showList :: [EvalStatus_ a b] -> ShowS

Generic (EvalStatus_ a b)

Defined in GHCi.Message

Associated Types

type Rep (EvalStatus_ a b) :: Type -> Type

Methods

from :: EvalStatus_ a b -> Rep (EvalStatus_ a b) x

to :: Rep (EvalStatus_ a b) x -> EvalStatus_ a b

Binary a => Binary (EvalStatus_ a b)

Defined in GHCi.Message

Methods

put :: EvalStatus_ a b -> Put

get :: Get (EvalStatus_ a b)

putList :: [EvalStatus_ a b] -> Put

type Rep (EvalStatus_ a b)

Defined in GHCi.Message

type Rep (EvalStatus_ a b) = D1 ('MetaData "EvalStatus_" "GHCi.Message" "ghc-lib-parser-0.20220201-4DbknAd0xtgG4ypYnHXjqZ" 'False) (C1 ('MetaCons "EvalComplete" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (EvalResult a))) :+: C1 ('MetaCons "EvalBreak" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HValueRef) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RemoteRef (ResumeContext b))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RemotePtr CostCentreStack))))))

type EvalStatus a = EvalStatus_ a a

data EvalResult a

Constructors

EvalException SerializableException

EvalSuccess a

Instances

Show a => Show (EvalResult a)

Defined in GHCi.Message

Methods

showsPrec :: Int -> EvalResult a -> ShowS

show :: EvalResult a -> String

showList :: [EvalResult a] -> ShowS

Generic (EvalResult a)

Defined in GHCi.Message

Associated Types

type Rep (EvalResult a) :: Type -> Type

Methods

from :: EvalResult a -> Rep (EvalResult a) x

to :: Rep (EvalResult a) x -> EvalResult a

Binary a => Binary (EvalResult a)

Defined in GHCi.Message

Methods

put :: EvalResult a -> Put

get :: Get (EvalResult a)

putList :: [EvalResult a] -> Put

type Rep (EvalResult a)

Defined in GHCi.Message

type Rep (EvalResult a) = D1 ('MetaData "EvalResult" "GHCi.Message" "ghc-lib-parser-0.20220201-4DbknAd0xtgG4ypYnHXjqZ" 'False) (C1 ('MetaCons "EvalException" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SerializableException)) :+: C1 ('MetaCons "EvalSuccess" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

data EvalExpr a

We can pass simple expressions to EvalStmt, consisting of values and application. This allows us to wrap the statement to be executed in another function, which is used by GHCi to implement :set args and :set prog. It might be worthwhile to extend this little language in the future.

Constructors

EvalThis a

EvalApp (EvalExpr a) (EvalExpr a)

Instances

Show a => Show (EvalExpr a)

Defined in GHCi.Message

Methods

showsPrec :: Int -> EvalExpr a -> ShowS

show :: EvalExpr a -> String

showList :: [EvalExpr a] -> ShowS

Generic (EvalExpr a)

Defined in GHCi.Message

Associated Types

type Rep (EvalExpr a) :: Type -> Type

Methods

from :: EvalExpr a -> Rep (EvalExpr a) x

to :: Rep (EvalExpr a) x -> EvalExpr a

Binary a => Binary (EvalExpr a)

Defined in GHCi.Message

Methods

put :: EvalExpr a -> Put

get :: Get (EvalExpr a)

putList :: [EvalExpr a] -> Put

type Rep (EvalExpr a)

Defined in GHCi.Message

type Rep (EvalExpr a) = D1 ('MetaData "EvalExpr" "GHCi.Message" "ghc-lib-parser-0.20220201-4DbknAd0xtgG4ypYnHXjqZ" 'False) (C1 ('MetaCons "EvalThis" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "EvalApp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (EvalExpr a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (EvalExpr a))))

resumeStmt :: Interp -> EvalOpts -> ForeignRef (ResumeContext [HValueRef]) -> IO (EvalStatus_ [ForeignHValue] [HValueRef])

abandonStmt :: Interp -> ForeignRef (ResumeContext [HValueRef]) -> IO ()

evalIO :: Interp -> ForeignHValue -> IO ()

Execute an action of type IO ()

evalString :: Interp -> ForeignHValue -> IO String

Execute an action of type IO String

evalStringToIOString :: Interp -> ForeignHValue -> String -> IO String

Execute an action of type String -> IO String

mallocData :: Interp -> ByteString -> IO (RemotePtr ())

Allocate and store the given bytes in memory, returning a pointer to the memory in the remote process.

createBCOs :: Interp -> BCOOpts -> [ResolvedBCO] -> IO [HValueRef]

Create a set of BCOs that may be mutually recursive.

addSptEntry :: Interp -> Fingerprint -> ForeignHValue -> IO ()

mkCostCentres :: Interp -> String -> [(String, String)] -> IO [RemotePtr CostCentre]

costCentreStackInfo :: Interp -> RemotePtr CostCentreStack -> IO [String]

newBreakArray :: Interp -> Int -> IO (ForeignRef BreakArray)

storeBreakpoint :: Interp -> ForeignRef BreakArray -> Int -> Int -> IO ()

breakpointStatus :: Interp -> ForeignRef BreakArray -> Int -> IO Bool

getBreakpointVar :: Interp -> ForeignHValue -> Int -> IO (Maybe ForeignHValue)

getClosure :: Interp -> ForeignHValue -> IO (GenClosure ForeignHValue)

getModBreaks :: HomeModInfo -> ModBreaks

seqHValue :: Interp -> UnitEnv -> ForeignHValue -> IO (EvalResult ())

Send a Seq message to the iserv process to force a value #2950

interpreterDynamic :: Interp -> Bool

Interpreter uses Dynamic way

interpreterProfiled :: Interp -> Bool

Interpreter uses Profiling way

The object-code linker

initObjLinker :: Interp -> IO ()

lookupSymbol :: Interp -> FastString -> IO (Maybe (Ptr ()))

lookupClosure :: Interp -> String -> IO (Maybe HValueRef)

loadDLL :: Interp -> String -> IO (Maybe String)

loadDLL loads a dynamic library using the OS's native linker (i.e. dlopen() on Unix, LoadLibrary() on Windows). It takes either an absolute pathname to the file, or a relative filename (e.g. "libfoo.so" or "foo.dll"). In the latter case, loadDLL searches the standard locations for the appropriate library.

Returns:

Nothing => success Just err_msg => failure

loadArchive :: Interp -> String -> IO ()

loadObj :: Interp -> String -> IO ()

unloadObj :: Interp -> String -> IO ()

addLibrarySearchPath :: Interp -> String -> IO (Ptr ())

removeLibrarySearchPath :: Interp -> Ptr () -> IO Bool

resolveObjs :: Interp -> IO SuccessFlag

findSystemLibrary :: Interp -> String -> IO (Maybe String)

Lower-level API using messages

interpCmd :: Binary a => Interp -> Message a -> IO a

Run a command in the interpreter's context. With -fexternal-interpreter, the command is serialized and sent to an external iserv process, and the response is deserialized (hence the Binary constraint). With -fno-external-interpreter we execute the command directly here.

data Message a where

A Message a is a message that returns a value of type a. These are requests sent from GHC to the server.

Constructors

Shutdown :: Message ()

Exit the iserv process

RtsRevertCAFs :: Message ()

InitLinker :: Message ()

LookupSymbol :: String -> Message (Maybe (RemotePtr ()))

LookupClosure :: String -> Message (Maybe HValueRef)

LoadDLL :: String -> Message (Maybe String)

LoadArchive :: String -> Message ()

LoadObj :: String -> Message ()

UnloadObj :: String -> Message ()

AddLibrarySearchPath :: String -> Message (RemotePtr ())

RemoveLibrarySearchPath :: RemotePtr () -> Message Bool

ResolveObjs :: Message Bool

FindSystemLibrary :: String -> Message (Maybe String)

CreateBCOs :: [ByteString] -> Message [HValueRef]

Create a set of BCO objects, and return HValueRefs to them Note: Each ByteString contains a Binary-encoded [ResolvedBCO], not a ResolvedBCO. The list is to allow us to serialise the ResolvedBCOs in parallel. See createBCOs in compilerGHCRuntime/Interpreter.hs.

FreeHValueRefs :: [HValueRef] -> Message ()

Release HValueRefs

AddSptEntry :: Fingerprint -> HValueRef -> Message ()

Add entries to the Static Pointer Table

MallocData :: ByteString -> Message (RemotePtr ())

Malloc some data and return a RemotePtr to it

MallocStrings :: [ByteString] -> Message [RemotePtr ()]

PrepFFI :: FFIConv -> [FFIType] -> FFIType -> Message (RemotePtr C_ffi_cif)

Calls prepareForeignCall

FreeFFI :: RemotePtr C_ffi_cif -> Message ()

Free data previously created by PrepFFI

MkConInfoTable :: Bool -> Int -> Int -> Int -> Int -> ByteString -> Message (RemotePtr StgInfoTable)

Create an info table for a constructor

EvalStmt :: EvalOpts -> EvalExpr HValueRef -> Message (EvalStatus [HValueRef])

Evaluate a statement

ResumeStmt :: EvalOpts -> RemoteRef (ResumeContext [HValueRef]) -> Message (EvalStatus [HValueRef])

Resume evaluation of a statement after a breakpoint

AbandonStmt :: RemoteRef (ResumeContext [HValueRef]) -> Message ()

Abandon evaluation of a statement after a breakpoint

EvalString :: HValueRef -> Message (EvalResult String)

Evaluate something of type IO String

EvalStringToString :: HValueRef -> String -> Message (EvalResult String)

Evaluate something of type String -> IO String

EvalIO :: HValueRef -> Message (EvalResult ())

Evaluate something of type IO ()

MkCostCentres :: String -> [(String, String)] -> Message [RemotePtr CostCentre]

Create a set of CostCentres with the same module name

CostCentreStackInfo :: RemotePtr CostCentreStack -> Message [String]

Show a CostCentreStack as a [String]

NewBreakArray :: Int -> Message (RemoteRef BreakArray)

Create a new array of breakpoint flags

SetupBreakpoint :: RemoteRef BreakArray -> Int -> Int -> Message ()

Set how many times a breakpoint should be ignored also used for enable/disable

BreakpointStatus :: RemoteRef BreakArray -> Int -> Message Bool

Query the status of a breakpoint (True = enabled)

GetBreakpointVar :: HValueRef -> Int -> Message (Maybe HValueRef)

Get a reference to a free variable at a breakpoint

StartTH :: Message (RemoteRef (IORef QState))

Start a new TH module, return a state token that should be

RunTH :: RemoteRef (IORef QState) -> HValueRef -> THResultType -> Maybe Loc -> Message (QResult ByteString)

Evaluate a TH computation.

Returns a ByteString, because we have to force the result before returning it to ensure there are no errors lurking in it. The TH types don't have NFData instances, and even if they did, we have to serialize the value anyway, so we might as well serialize it to force it.

RunModFinalizers :: RemoteRef (IORef QState) -> [RemoteRef (Q ())] -> Message (QResult ())

Run the given mod finalizers.

GetClosure :: HValueRef -> Message (GenClosure HValueRef)

Remote interface to GHC.Exts.Heap.getClosureData. This is used by the GHCi debugger to inspect values in the heap for :print and type reconstruction.

Seq :: HValueRef -> Message (EvalStatus ())

Evaluate something. This is used to support :force in GHCi.

ResumeSeq :: RemoteRef (ResumeContext ()) -> Message (EvalStatus ())

Resume forcing a free variable in a breakpoint (#2950)

Instances

Show (Message a)

Defined in GHCi.Message

Methods

showsPrec :: Int -> Message a -> ShowS

show :: Message a -> String

showList :: [Message a] -> ShowS

withIServ :: ExceptionMonad m => IServConfig -> IServ -> (IServInstance -> m (IServInstance, a)) -> m a

Grab a lock on the IServ and do something with it. Overloaded because this is used from TcM as well as IO.

withIServ_ :: (MonadIO m, ExceptionMonad m) => IServConfig -> IServ -> (IServInstance -> m a) -> m a

stopInterp :: Interp -> IO ()

Stop the interpreter

iservCall :: Binary a => IServInstance -> Message a -> IO a

Send a Message and receive the response from the iserv process

readIServ :: IServInstance -> Get a -> IO a

Read a value from the iserv process

writeIServ :: IServInstance -> Put -> IO ()

Send a value to the iserv process

purgeLookupSymbolCache :: Interp -> IO ()

freeHValueRefs :: Interp -> [HValueRef] -> IO ()

mkFinalizedHValue :: Interp -> RemoteRef a -> IO (ForeignRef a)

Creates a ForeignRef that will automatically release the RemoteRef when it is no longer referenced.

wormhole :: Interp -> ForeignRef a -> IO a

Convert a ForeignRef to the value it references directly. This only works when the interpreter is running in the same process as the compiler, so it fails when -fexternal-interpreter is on.

wormholeRef :: Interp -> RemoteRef a -> IO a

Convert an RemoteRef to the value it references directly. This only works when the interpreter is running in the same process as the compiler, so it fails when -fexternal-interpreter is on.

fromEvalResult :: EvalResult a -> IO a