Module Compile

Bytecode compilation for .ml and .mli files.

val interface : source_file:string -> output_prefix:string -> unit
val implementation : start_from:Clflags.Compiler_pass.t -> source_file:string -> output_prefix:string -> unit

Internal functions

*

to_bytecode info typed takes a typechecked implementation and returns its bytecode.

val emit_bytecode : Compile_common.info -> (Instruct.instruction list * Ident.Set.t) -> unit

emit_bytecode bytecode output the bytecode executable.