Project

General

Profile

Revision 27dc3869 src/main_lustre_compiler.ml

View differences:

src/main_lustre_compiler.ml
211 211
  
212 212
  (* Normalization phase *)
213 213
  Log.report ~level:1 (fun fmt -> fprintf fmt ".. normalization@,");
214
  (* Special treatment of arrows in lustre backend. We want to keep them *)
215
  if !Options.output = "lustre" then
216
    Normalization.unfold_arrow_active := false;
217
  let prog = Normalization.normalize_prog prog in
214
  let prog = Normalization.normalize_prog ~backend:!Options.output prog in
218 215
  Log.report ~level:2 (fun fmt -> fprintf fmt "@[<v 2>@ %a@]@," Printers.pp_prog prog);
219 216

  
220 217
  let prog =

Also available in: Unified diff