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 ->
  keep_symbol_tables:bool ->
  unit

val instance : 
  source_file:string ->
  output_prefix:string ->
  compilation_unit:Compilation_unit.t ->
  runtime_args:Translmod.runtime_arg list ->
  main_module_block_repr:Lambda.module_representation ->
  arg_descr:Lambda.arg_descr option ->
  keep_symbol_tables:bool ->
  unit

Internal functions

val to_bytecode : 
  Compile_common.info ->
  Typedtree.implementation ->
  as_arg_for:Global_module.Parameter_name.t option ->
  Instruct.instruction list
  * Compilation_unit.Set.t
  * Lambda.main_module_block_format
  * Lambda.arg_descr option

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

val emit_bytecode : 
  Compile_common.info ->
  (Instruct.instruction list
   * Compilation_unit.Set.t
   * Lambda.main_module_block_format
   * Lambda.arg_descr option) ->
  unit

emit_bytecode bytecode output the bytecode executable.

Module Compile

Internal functions

Module `Compile`