Location.input_name := sourcefile;

Compmisc.init_path true;

let modulename =

String.capitalize(Filename.basename(chop_extension_if_any sourcefile)) in

check_unit_name ppf sourcefile modulename;

Env.set_unit_name modulename;

let inputfile = Pparse.preprocess sourcefile in

let initial_env = Compmisc.initial_env() in

try

let ast =

Pparse.file ppf inputfile Parse.interface ast_intf_magic_number in

if !Clflags.dump_parsetree then fprintf ppf "%a@." Printast.interface ast;

if !Clflags.dump_source then fprintf ppf "%a@." Pprintast.signature ast;

let tsg = Typemod.transl_signature initial_env ast in

if !Clflags.dump_typedtree then fprintf ppf "%a@." Printtyped.interface tsg;

let sg = tsg.sig_type in

if !Clflags.print_types then

fprintf std_formatter "%a@." Printtyp.signature

(Typemod.simplify_signature sg);

ignore (Includemod.signatures initial_env sg sg);

Typecore.force_delayed_checks ();

Warnings.check_fatal ();

if not !Clflags.print_types then begin

let sg = Env.save_signature sg modulename (outputprefix ^ ".cmi") in

Typemod.save_signature modulename tsg outputprefix sourcefile

initial_env sg ;

end;

Pparse.remove_preprocessed inputfile;

Stypes.dump (Some (outputprefix ^ ".annot"))

with e ->

Pparse.remove_preprocessed inputfile;

Stypes.dump (Some (outputprefix ^ ".annot"));

Location.input_name := sourcefile;

Compmisc.init_path true;

let modulename =

String.capitalize(Filename.basename(chop_extension_if_any sourcefile)) in

check_unit_name ppf sourcefile modulename;

Env.set_unit_name modulename;

let inputfile = Pparse.preprocess sourcefile in

let env = Compmisc.initial_env() in

Compilenv.reset ?packname:!Clflags.for_package modulename;

let cmxfile = outputprefix ^ ".cmx" in

let objfile = outputprefix ^ ext_obj in

try

if !Clflags.print_types then ignore begin

Pparse.file ppf inputfile Parse.implementation ast_impl_magic_number

++ print_if ppf Clflags.dump_parsetree Printast.implementation

++ print_if ppf Clflags.dump_source Pprintast.structure

++ (fun ptree ->

(* Prevent inferred .mli file from being written twice *)

let wf = !Clflags.dont_write_files in

Clflags.dont_write_files := true;

let str = Typemod.type_implementation sourcefile outputprefix modulename env ptree in

Clflags.dont_write_files := wf;

str

)

++ (fun (str, _) -> Mod.structure str)

++ (fun str ->

let ptree = Untypeast.untype_structure str in

Format.eprintf "%a@." Pprintast.structure ptree;

ptree)

++ (fun str -> Mod.splice_in str)

++ (fun ptree ->

Format.eprintf "%a@." Pprintast.structure ptree;

ptree)

++ Typemod.type_implementation sourcefile outputprefix modulename env

++ print_if ppf Clflags.dump_typedtree

Printtyped.implementation_with_coercion

end else begin

Pparse.file ppf inputfile Parse.implementation ast_impl_magic_number

++ print_if ppf Clflags.dump_parsetree Printast.implementation

++ print_if ppf Clflags.dump_source Pprintast.structure

++ (fun ptree ->

(* Prevent inferred .mli file from being written twice *)

let wf = !Clflags.dont_write_files in

Clflags.dont_write_files := true;

let str = Typemod.type_implementation sourcefile outputprefix modulename env ptree in

Clflags.dont_write_files := wf;

str

)

++ (fun (str, _) -> Mod.structure str)

++ (fun str ->

let ptree = Untypeast.untype_structure str in

Format.eprintf "%a@." Pprintast.structure ptree;

ptree)

++ (fun str -> Mod.splice_in str)

++ (fun ptree ->

Format.eprintf "%a@." Pprintast.structure ptree;

ptree)

++ Typemod.type_implementation sourcefile outputprefix modulename env

++ print_if ppf Clflags.dump_typedtree

Printtyped.implementation_with_coercion

++ Translmod.transl_store_implementation modulename

+++ print_if ppf Clflags.dump_rawlambda Printlambda.lambda

+++ Simplif.simplify_lambda

+++ print_if ppf Clflags.dump_lambda Printlambda.lambda

++ Asmgen.compile_implementation outputprefix ppf;

Compilenv.save_unit_info cmxfile;

end;

Warnings.check_fatal ();

Pparse.remove_preprocessed inputfile;

Stypes.dump (Some (outputprefix ^ ".annot"));

with x ->

remove_file objfile;

remove_file cmxfile;

Pparse.remove_preprocessed inputfile;

Stypes.dump (Some (outputprefix ^ ".annot"));