Project

General

Profile

Revision 8e6cab20 src/main_lustre_compiler.ml

View differences:

src/main_lustre_compiler.ml
88 88
        assert false
89 89
    )
90 90
  in
91
  Log.report ~level:1 (fun fmt -> fprintf fmt "@]@,");
92 91
  Log.report ~level:3 (fun fmt -> fprintf fmt ".. Normalized program:@ %a@ "Printers.pp_prog prog);
92
  Log.report ~level:1 (fun fmt -> fprintf fmt "@]@,");
93 93

  
94 94
  Log.report ~level:1 (fun fmt -> fprintf fmt "@[<v 2>.. Phase 2 : Machines generation@,");
95 95

  
......
97 97
    Compiler_stages.stage2 prog 
98 98
  in
99 99

  
100
  Log.report ~level:1 (fun fmt -> fprintf fmt "@]@ ");
101 100
  Log.report ~level:3 (fun fmt -> fprintf fmt ".. Generated machines:@ %a@ " Machine_code_common.pp_machines machine_code);
102 101

  
103 102
  if Scopes.Plugin.show_scopes () then
......
110 109
      exit 0
111 110
	
112 111
    end;
113

  
114 112
  let machine_code = Plugins.refine_machine_code prog machine_code in
113
  Log.report ~level:1 (fun fmt -> fprintf fmt "xxx@]@ yyy@ ");
115 114
  
116 115
  Compiler_stages.stage3 prog machine_code dependencies basename;
117 116
  begin

Also available in: Unified diff