Project

General

Profile

« Previous | Next » 

Revision 7ee5f69e

Added by LĂ©lio Brun 9 months ago

corrections on loggers + spec in AST

View differences:

src/main_lustre_compiler.ml
77 77
        assert false
78 78
    )
79 79
  in
80
  Log.report ~level:3 (fun fmt -> fprintf fmt ".. Normalized program:@ %a@ "Printers.pp_prog prog);
81
  Log.report ~level:1 (fun fmt -> fprintf fmt "@]@,");
80
  Log.report ~level:3 (fun fmt -> fprintf fmt "@ @[<v 2>.. Normalized program:@ %a@]"
81
                          Printers.pp_prog prog);
82 82

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

  
85 85
  let prog, machine_code = 
86 86
    Compiler_stages.stage2 params prog 
87 87
  in
88 88

  
89
  Log.report ~level:3 (fun fmt -> fprintf fmt ".. Generated machines:@ %a@ " Machine_code_common.pp_machines machine_code);
89
  Log.report ~level:3 (fun fmt -> fprintf fmt "@ @[<v 2>.. Generated machines:@ %a@]"
90
                          Machine_code_common.pp_machines machine_code);
90 91

  
91 92
  if Scopes.Plugin.show_scopes () then
92 93
    begin
......
103 104
  
104 105
  Compiler_stages.stage3 prog machine_code dependencies basename extension;
105 106
  begin
106
    Log.report ~level:1 (fun fmt -> fprintf fmt ".. done !@ @]@.");
107
    Log.report ~level:1 (fun fmt -> fprintf fmt "@ .. done !@]@.");
107 108
    (* We stop the process here *)
108 109
    exit 0
109 110
  end

Also available in: Unified diff