Compile_common
type info = {
source_file : string;
module_name : string;
output_prefix : string;
env : Env.t;
ppf_dump : Format.formatter;
tool_name : string;
native : bool;
}
val with_info :
native:bool ->
tool_name:string ->
source_file:string ->
output_prefix:string ->
dump_ext:string ->
(info -> 'a) ->
'a
val parse_intf : info -> Parsetree.signature
val typecheck_intf : info -> Parsetree.signature -> Typedtree.signature
val emit_signature : info -> Parsetree.signature -> Typedtree.signature -> unit
val interface : info -> unit
val parse_impl : info -> Parsetree.structure
val typecheck_impl : info -> Parsetree.structure -> Typedtree.implementation
val implementation :
info ->
backend:(info -> Typedtree.implementation -> unit) ->
unit
val cmo : info -> string
val cmx : info -> string
val obj : info -> string
val annot : info -> string