Revision 4fda48d3 src/tools/importer/main_lustre_importer.ml
src/tools/importer/main_lustre_importer.ml | ||
---|---|---|
33 | 33 |
match vhdl with |
34 | 34 |
Ok x -> |
35 | 35 |
(* Parsed VHDL JSON value *) |
36 |
Format.printf "Parsed VHDL: \n%s\n" (pretty_to_string (vhdl_file_t_to_yojson x));
|
|
36 |
(* Format.printf "Parsed VHDL: \n%s\n" (pretty_to_string (vhdl_file_t_to_yojson x)); *)
|
|
37 | 37 |
(* Fold Op vhdl_expr_t values *) |
38 | 38 |
let folded = replace_op_expr#vhdl_file_t x in |
39 | 39 |
(* Translate vhdl_file_t value as lustre value *) |
40 | 40 |
let program = to_lustre#vhdl_file_t folded in |
41 |
Format.printf "PP VHDL: \n%s\n" (show_vhdl_file_t program);
|
|
41 |
Format.printf "%s\n" (show_vhdl_file_t program); |
|
42 | 42 |
(* Pretty print lustre value *) |
43 | 43 |
(* Printers.pp_prog std_formatter program; *) |
44 | 44 |
|
Also available in: Unified diff