Project

General

Profile

Revision 49d364b8 src/compiler_stages.ml

View differences:

src/compiler_stages.ml
67 67

  
68 68
  (* Importing source *)
69 69
  let prog, dependencies, (typ_env, clk_env) = Modules.load ~is_header:(extension = ".lusi") prog in
70

  
71 70
  (* Registering types and clocks for future checks *)
72 71
  Global.type_env := Env.overwrite !Global.type_env typ_env;
73 72
  Global.clock_env := Env.overwrite !Global.clock_env clk_env;
......
77 76

  
78 77
  (* Sorting nodes *)
79 78
  let prog = SortProg.sort prog in
80
Format.eprintf "ok1@.";
81 79
  (* Consolidating contracts *)
82 80
  let prog = resolve_contracts prog in
83
Format.eprintf "ok2@.";
84 81
  let prog = SortProg.sort prog in
85
Format.eprintf "ok3@.";
86 82
  Log.report ~level:3 (fun fmt ->
87 83
      Format.fprintf fmt "@[<v 0>Contracts resolved:@ %a@ @]@ " Printers.pp_prog prog);
88 84
  

Also available in: Unified diff