GHC.Runtime.Interpreter.Types

Types used by the runtime interpreter

Documentation

data Interp

Interpreter

Constructors

Interp

Fields

• interpInstance :: !InterpInstance

  Interpreter instance (internal, external)

• interpLoader :: !Loader

  Interpreter loader

data InterpInstance

Constructors

ExternalInterp !IServConfig !IServ

External interpreter

newtype IServ

External interpreter

The external interpreter is spawned lazily (on first use) to avoid slowing down sessions that don't require it. The contents of the MVar reflects the state of the interpreter (running or not).

Constructors

IServ (MVar IServState)

data IServInstance

External interpreter instance

Constructors

IServInstance

Fields

• iservPipe :: !Pipe
• iservProcess :: !ProcessHandle
• iservLookupSymbolCache :: !(UniqFM FastString (Ptr ()))
• iservPendingFrees :: ![HValueRef]

  Values that need to be freed before the next command is sent. Threads can append values to this list asynchronously (by modifying the IServ state MVar).

data IServConfig

Configuration needed to spawn an external interpreter

Constructors

IServConfig

Fields

• iservConfProgram :: !String

  External program to run

• iservConfOpts :: ![String]

  Command-line options

• iservConfProfiled :: !Bool

  Use Profiling way

• iservConfDynamic :: !Bool

  Use Dynamic way

• iservConfHook :: !(Maybe (CreateProcess -> IO ProcessHandle))

  Hook

• iservConfTrace :: IO ()

  Trace action executed after spawn

data IServState

State of an external interpreter

Constructors

IServPending

Not spawned yet

IServRunning !IServInstance

Running