jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

verbose printing on std_err...

Browse source
This commit is contained in:
Léonard Gérard 2010-09-02 17:52:42 +02:00
parent aad7b29c30
commit 1cf00d305e
1 changed files with 5 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
compiler/minils/main/mls2seq.ml
View file

@ -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 *)