Commit 11b36a3d authored by Raphael Rieu-Helft's avatar Raphael Rieu-Helft

extraction: print driver prelude before dependencies preludes

parent 2e08c89a
......@@ -184,10 +184,10 @@ let print_mdecls ?fname m mdecls deps =
if iout <> stdout then close_out iout end;
let cout, old = get_cout_old fg m ?fname in
let fmt = formatter_of_out_channel cout in
(* print module prelude *)
printer.Pdriver.prelude_printer pargs ?old ?fname ~flat deps fmt m;
(* print driver prelude *)
Printer.print_prelude fmt pargs.Pdriver.prelude;
(* print module prelude *)
printer.Pdriver.prelude_printer pargs ?old ?fname ~flat deps fmt m;
let pm = pargs.Pdriver.thprelude in
print_preludes tname fmt pm;
(* print decls *)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment