{-# LANGUAGE CPP #-}

-- | Types used by the runtime interpreter
module GHC.Runtime.Interpreter.Types
   ( Interp(..)
   , InterpInstance(..)
   , IServ(..)
   , IServInstance(..)
   , IServConfig(..)
   , IServState(..)
   )
where

import GHC.Prelude
import GHC.Linker.Types

import GHCi.RemoteTypes
import GHCi.Message         ( Pipe )
import GHC.Types.Unique.FM
import GHC.Data.FastString ( FastString )
import Foreign

import Control.Concurrent
import System.Process   ( ProcessHandle, CreateProcess )

-- | Interpreter
data Interp = Interp
  { Interp -> InterpInstance
interpInstance :: !InterpInstance
      -- ^ Interpreter instance (internal, external)

  , Interp -> Loader
interpLoader   :: !Loader
      -- ^ Interpreter loader
  }


data InterpInstance
   = ExternalInterp !IServConfig !IServ -- ^ External interpreter
#if defined(HAVE_INTERNAL_INTERPRETER)
   | InternalInterp                     -- ^ Internal interpreter
#endif

-- | 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).
newtype IServ = IServ (MVar IServState)

-- | State of an external interpreter
data IServState
   = IServPending                 -- ^ Not spawned yet
   | IServRunning !IServInstance  -- ^ Running

-- | Configuration needed to spawn an external interpreter
data IServConfig = IServConfig
  { IServConfig -> String
iservConfProgram  :: !String   -- ^ External program to run
  , IServConfig -> [String]
iservConfOpts     :: ![String] -- ^ Command-line options
  , IServConfig -> Bool
iservConfProfiled :: !Bool     -- ^ Use Profiling way
  , IServConfig -> Bool
iservConfDynamic  :: !Bool     -- ^ Use Dynamic way
  , IServConfig -> Maybe (CreateProcess -> IO ProcessHandle)
iservConfHook     :: !(Maybe (CreateProcess -> IO ProcessHandle)) -- ^ Hook
  , IServConfig -> IO ()
iservConfTrace    :: IO ()     -- ^ Trace action executed after spawn
  }

-- | External interpreter instance
data IServInstance = IServInstance
  { IServInstance -> Pipe
iservPipe              :: !Pipe
  , IServInstance -> ProcessHandle
iservProcess           :: !ProcessHandle
  , IServInstance -> UniqFM FastString (Ptr ())
iservLookupSymbolCache :: !(UniqFM FastString (Ptr ()))
  , IServInstance -> [HValueRef]
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).
  }