Portability | portable |
---|---|
Stability | experimental |
Maintainer | github.com/justinethier |
Safe Haskell | Safe-Inferred |
This module contains a Scheme to Haskell compiler which 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...
Note the following type is used for all functions generated by the compiler:
compiledFunc :: Env -> -- Runtime Environment LispVal -> -- Continuation LispVal -> -- Value Maybe [LispVal] -> -- Additional arguments IOThrowsError LispVal -- Result
- compile :: Env -> LispVal -> CompOpts -> IOThrowsError [HaskAST]
- compileApply :: Env -> LispVal -> CompOpts -> IOThrowsError [HaskAST]
- compileBlock :: String -> Maybe String -> Env -> [HaskAST] -> [LispVal] -> IOThrowsError [HaskAST]
- compileDivertedVars :: String -> Env -> [LispVal] -> CompOpts -> IOThrowsError HaskAST
- compileExpr :: Env -> LispVal -> String -> Maybe String -> IOThrowsError [HaskAST]
- compileLambdaList :: [LispVal] -> IOThrowsError String
- compileLisp :: Env -> String -> String -> Maybe String -> IOThrowsError [HaskAST]
- compileScalar :: String -> CompOpts -> IOThrowsError [HaskAST]
- compileSpecialForm :: String -> String -> CompOpts -> IOThrowsError HaskAST
- compileSpecialFormBody :: Env -> LispVal -> CompOpts -> (Maybe String -> ErrorT LispError IO [HaskAST]) -> ErrorT LispError IO [HaskAST]
- compileSpecialFormEntryPoint :: String -> String -> CompOpts -> IOThrowsError HaskAST
- defineLambdaVars :: Env -> [LispVal] -> IOThrowsError LispVal
- defineTopLevelVars :: Env -> [LispVal] -> IOThrowsError LispVal
- divertVars :: Env -> LispVal -> CompOpts -> (Env -> LispVal -> CompOpts -> IOThrowsError [HaskAST]) -> IOThrowsError [HaskAST]
- initializeCompiler :: Env -> IOThrowsError [HaskAST]
- isPrim :: Env -> LispVal -> IOThrowsError (Maybe LispVal)
- mcompile :: Env -> LispVal -> CompOpts -> IOThrowsError [HaskAST]
- mfunc :: Env -> LispVal -> (Env -> LispVal -> CompOpts -> IOThrowsError [HaskAST]) -> CompOpts -> IOThrowsError [HaskAST]
Documentation
compile :: Env -> LispVal -> CompOpts -> IOThrowsError [HaskAST]Source
Compile a Lisp expression to Haskell. Note this function does not expand macros; mcompile should be used instead if macros may appear in the expression.
compileApply :: Env -> LispVal -> CompOpts -> IOThrowsError [HaskAST]Source
Compile a function call
compileBlock :: String -> Maybe String -> Env -> [HaskAST] -> [LispVal] -> IOThrowsError [HaskAST]Source
compileDivertedVars :: String -> Env -> [LispVal] -> CompOpts -> IOThrowsError HaskASTSource
Take a list of variables diverted into env at compile time, and divert them into the env at runtime
compileExpr :: Env -> LispVal -> String -> Maybe String -> IOThrowsError [HaskAST]Source
compileLisp :: Env -> String -> String -> Maybe String -> IOThrowsError [HaskAST]Source
compileScalar :: String -> CompOpts -> IOThrowsError [HaskAST]Source
compileSpecialForm :: String -> String -> CompOpts -> IOThrowsError HaskASTSource
compileSpecialFormBody :: Env -> LispVal -> CompOpts -> (Maybe String -> ErrorT LispError IO [HaskAST]) -> ErrorT LispError IO [HaskAST]Source
A wrapper for each special form that allows the form variable (EG: if) to be redefined at compile time
defineLambdaVars :: Env -> [LispVal] -> IOThrowsError LispValSource
Add lambda variables to the compiler's environment
defineTopLevelVars :: Env -> [LispVal] -> IOThrowsError LispValSource
Find all variables defined at this level and load their symbols into the environment. This allows the compiler validation to work even though a variable is used in a sub-form before it is defined further on down in the program
:: 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.
isPrim :: Env -> LispVal -> IOThrowsError (Maybe LispVal)Source
Determines if the given lispval is a primitive function