UHC.Light.Compiler.CoreRun.API

CoreRun Public API

Intended for constructing basic CoreRun Programs.

CoreRun is a simplified Core intended to be used for direct interpretation/execution. For semantics, see TBD

CoreRun AST

The datatypes making up a CoreRun program.

data Mod

Instances

Show Mod

PP Mod

data Exp

Instances

Show Exp

PP Exp

data SExp

Instances

Show SExp

PP SExp

data Alt

Instances

Show Alt

PP Alt

type Bind = Exp

Bind, just an Exp, addressing is left implicit

Utilities

type CRArray x = Vector x

Fast access sequence

Construction functions

mkLocLevRef :: Int -> Int -> RRef

RRef to local or outside scoped, using absolute level and offset (this is to be converted to a level difference + offset encoding for running, see mkLocDifRef)

mkLocDifRef :: Int -> Int -> RRef

RRef to local or outside scoped, using level difference (to a current) and offset

mkGlobRef :: Int -> Int -> RRef

RRef to global from module, using module nr and offset

mkExp :: SExp -> Exp

Lift SExp into Exp

mkVar :: RRef -> Exp

Var ref as Exp

mkVar' :: RRef -> SExp

Var ref as SExp

mkInt :: Int -> Exp

Int constant as Exp

mkInt' :: Int -> SExp

Int constant as SExp

mkChar :: Char -> Exp

Char constant as Exp

mkChar' :: Char -> SExp

Char constant as SExp

mkInteger :: Integer -> Exp

Integer constant as Exp

mkInteger' :: Integer -> SExp

Integer constant as SExp

mkString :: String -> Exp

String constant as Exp

mkString' :: String -> SExp

String constant as SExp

mkDbg :: String -> Exp

Debug info as Exp

mkDbg' :: String -> SExp

Debug info as SExp, will make an interpreter stop with displaying the message

mkApp :: Exp -> [SExp] -> Exp

Application

mkApp' :: Exp -> CRArray SExp -> Exp

Application

mkTup :: Int -> [SExp] -> Exp

Tuple, Node

mkTup' :: Int -> CRArray SExp -> Exp

Tuple, Node

mkEval :: Exp -> Exp

Force evaluation

mkTail :: Exp -> Exp

Set tail call context

mkCase :: SExp -> [Exp] -> Exp

Case

mkLam

Arguments

:: Int

nr of arguments, 0 encodes a thunk/CAF

-> Int

total stack size, including arguments, locals, expression calculation

-> Exp

body

-> Exp

Lambda

mkLam'

Arguments

:: Maybe HsName

a name for this lambda, to be used for pretty printing

-> Int

nr of arguments, 0 encodes a thunk/CAF

-> Int

total stack size, including arguments, locals, expression calculation

-> Exp

body

-> Exp

Lambda

mkLet

Arguments

:: Int

stackoffset to place bound value

-> [Exp]

bound terms

-> Exp

body

-> Exp

Let

mkLet'

Arguments

:: Int

stackoffset to place bound value

-> CRArray Exp

bound terms

-> Exp

body

-> Exp

Let

mkFFI

Arguments

:: String

name of foreign entity, if unknown results in debug expr

-> [SExp]

args

-> Exp

FFI

mkFFI'

Arguments

:: String

name of foreign entity, if unknown results in debug expr

-> CRArray SExp

args

-> Exp

FFI

mkMod

Arguments

:: HsName

module name

-> Int

module number

-> Int

total stack size, including globals of module, their setup (see semantics), and the main startup part kicking of evaluation

-> [Bind]

bound expressions

-> Exp

body of main

-> Mod

Module

mkMod'

Arguments

:: HsName

module name

-> Int

module number

-> Int

total stack size, including globals of module, their setup (see semantics), and the main startup part kicking of evaluation

-> CRArray Bind

bound expressions

-> Exp

body of main

-> Mod

Module

Conversion

rrefToDif :: Int -> RRef -> RRef

Convert to RRef_Loc to RRef_LDf, i.e. absolute level to relative (to current) level

Parsing

parseModFromString :: String -> Either [String] Mod

Parses a module. TBD: integration with other parser utils from EHC driver...

Running

runCoreRunIO

Arguments

:: EHCOpts

options, e.g. for turning on tracing (if supported by runner)

-> Mod

the module to run

-> IO (Either Err RVal)

Run CoreRun in IO TBD: fix dependence on whole program linked

Misc utils

printModule :: EHCOpts -> Mod -> PP_Doc

Pretty print Mod