GHC.Runtime.Interpreter.Types

Types used by the runtime interpreter

Documentation

data Interp

Runtime interpreter

Constructors

ExternalInterp !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 (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).

• iservConfig :: !IServConfig

  Config used to spawn the external interpreter

data IServConfig

Configuration needed to spawn an external interpreter

Constructors

IServConfig

Fields

• iservConfProgram :: !String

  External program to run

• iservConfOpts :: ![String]

  Command-line options

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

  Hook

• iservConfTrace :: IO ()

  Trace action executed after spawn

data IServState

State of an external interpreter

Constructors

IServPending !IServConfig

Not spawned yet

IServRunning !IServInstance

Running