Project

General

Profile

Revision d3f0059e src/tools/importer/main_lustre_importer.ml

View differences:

src/tools/importer/main_lustre_importer.ml
14 14
open Vhdl_test
15 15
  *)
16 16
open Yojson.Safe
17
open Vhdl_ast_utils
18
open Vhdl_ast_map
17 19
open Vhdl_ast
20
open Ppxlib_traverse_builtins
18 21
open Printf
19 22

  
20 23
let _ =
......
24 27
  (* Create VHDL values *)
25 28
  let vhdl = vhdl_file_t_of_yojson vhdl_json in
26 29

  
30
  (* Simplify VHDL values *)
27 31
  match vhdl with
28 32
    Ok x ->
29
      Format.printf "Parsed VHDL: \n%s\n" (pretty_to_string (vhdl_file_t_to_yojson x))
33
      Format.printf "Parsed VHDL: \n%s\n" (pretty_to_string (vhdl_file_t_to_yojson x));
34
      let folded = replace_op_expr#vhdl_file_t x in
35
      Format.printf "PP VHDL: \n%s\n" (show_vhdl_file_t folded);
30 36
  | Error e -> Format.printf "Error: %s\n" e;
37

  

Also available in: Unified diff