From 1cf00d305efcd66e5261d97a9774b813a15ac1b1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?L=C3=A9onard=20G=C3=A9rard?= Date: Thu, 2 Sep 2010 17:52:42 +0200 Subject: [PATCH] verbose printing on std_err... --- compiler/minils/main/mls2seq.ml | 15 +++++---------- 1 file changed, 5 insertions(+), 10 deletions(-) diff --git a/compiler/minils/main/mls2seq.ml b/compiler/minils/main/mls2seq.ml index 66f9d78..7657ee6 100644 --- a/compiler/minils/main/mls2seq.ml +++ b/compiler/minils/main/mls2seq.ml @@ -44,11 +44,8 @@ let targets = [ "c", Obc_no_params Cmain.program; let generate_target p s = let print_unfolded p_list = - if !Misc.verbose then - begin - Format.eprintf "** Unfolding done **@."; - List.iter (Mls_printer.print stderr) p_list; - end in + comment "Unfolding"; + if !Misc.verbose then List.iter (Mls_printer.print stderr) p_list in let target = (try List.assoc s targets @@ -66,12 +63,10 @@ let generate_target p s = let p_list = Callgraph.program p in let o_list = List.map Mls2obc.program p_list in print_unfolded p_list; + comment "Translation to Obc"; if !Misc.verbose then - begin - Format.eprintf "** Translation to Obc done **@."; - List.iter (Obc_printer.print_prog Format.err_formatter) o_list; - end; - List.iter convert_fun o_list + List.iter (Obc_printer.print_prog Format.std_formatter) o_list; + List.iter convert_fun o_list let program p = (* Translation into dataflow and sequential languages *)