Module Interpreter.MakeSource

Parameters

module B : Backend.S
module C : Config

Signature

Sourcemodule B = B
Sourceval run_env : (AST.identifier * B.value) list -> AST.t -> B.value B.m

run env0 ast runs the function main of the ast, in an environment build from the ast. However, the (global) identifiers listed in the A-list env0 will take their initial values from env0 and _not_ from ast.

Sourceval run : AST.t -> B.value B.m

Shorthand for run [] ast

Sourceval run_typed : AST.t -> StaticEnv.env -> B.value B.m

run_typed ast env runs the function main of the typed-checked ast, in typed-checking environment env.