Project

General

Profile

Revision 4fda48d3 src/tools/importer/main_lustre_importer.ml

View differences:

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