Portability	portable
Stability	experimental
Maintainer	github.com/justinethier
Safe Haskell	Safe-Inferred

Language.Scheme.Compiler

Description

This module contains an experimental Scheme to Haskell compiler.

The compiler performs the following transformations:

 Scheme AST (LispVal) => Haskell AST (HaskAST) => Compiled Code (String)

The GHC compiler is then used to create a native executable.

At present, the focus has just been on creating a compiler that will generate correct, working code. Many optimizations could and need to be made for time and space...

Synopsis

Documentation

data CompOpts Source

Constructors

CompileOptions
Fields coptsThisFunc :: String coptsThisFuncUseValue :: Bool coptsThisFuncUseArgs :: Bool coptsNextFunc :: Maybe String

defaultCompileOptions :: String -> CompOpts Source

createAstFunc :: CompOpts -> [HaskAST] -> HaskAST Source

createAstCont :: CompOpts -> String -> String -> HaskAST Source

data HaskAST Source

Constructors

AstAssignM String HaskAST
AstFunction
Fields astfName :: String astfArgs :: String astfCode :: [HaskAST]
AstValue String
AstContinuation
Fields astcNext :: String astcArgs :: String

Instances

Show HaskAST

showValAST :: HaskAST -> String Source

joinL :: forall a. [[a]] -> [a] -> [a]Source

ast2Str :: LispVal -> String Source

Convert abstract syntax tree to a string

asts2Str :: [LispVal] -> String Source

Convert a list of abstract syntax trees to a list of strings

headerModule :: [String]Source

headerImports :: [String]Source

header :: String -> [String]Source

initializeCompiler :: Env -> IOThrowsError [HaskAST]Source

compileLisp :: Env -> String -> String -> Maybe String -> IOThrowsError [HaskAST]Source

compileBlock :: String -> Maybe String -> Env -> [HaskAST] -> [LispVal] -> IOThrowsError [HaskAST]Source

compileScalar :: String -> CompOpts -> IOThrowsError [HaskAST]Source

compileLambdaList :: [LispVal] -> IOThrowsError String Source

compile :: Env -> LispVal -> CompOpts -> IOThrowsError [HaskAST]Source

mcompile :: Env -> LispVal -> CompOpts -> IOThrowsError [HaskAST]Source

mfunc :: Env -> LispVal -> (Env -> LispVal -> CompOpts -> IOThrowsError [HaskAST]) -> CompOpts -> IOThrowsError [HaskAST]Source

divertVars Source

Arguments

:: Env	Current compile Environment
-> LispVal	Lisp code after macro expansion
-> CompOpts	Compiler options
-> (Env -> LispVal -> CompOpts -> IOThrowsError [HaskAST])	Continuation to call into after vars are diverted
-> IOThrowsError [HaskAST]	Code generated by the continuation, along with the code added to divert vars to the compiled program

Do the actual insertion of diverted variables back to the compiled program.

compileDivertedVars :: String -> Env -> [LispVal] -> CompOpts -> IOThrowsError HaskAST Source

Take a list of variables diverted into env at compile time, and divert them into the env at runtime

compileSpecialFormEntryPoint :: String -> String -> CompOpts -> IOThrowsError HaskAST Source

compileSpecialForm :: String -> String -> CompOpts -> IOThrowsError HaskAST Source

compileExpr :: Env -> LispVal -> String -> Maybe String -> IOThrowsError [HaskAST]Source

compileApply :: Env -> LispVal -> CompOpts -> IOThrowsError [HaskAST]Source

Compiles each argument to a function call, and then uses apply to call the function