Project

General

Profile

Revision b84a138e src/main_lustre_compiler.ml

View differences:

src/main_lustre_compiler.ml
253 253

  
254 254
  (* Normalization phase *)
255 255
  report ~level:1 (fun fmt -> fprintf fmt ".. normalization@,");
256
  (* Special treatment of arrows in lustre backend. We want to keep them *)
257
  if !Options.output = "lustre" then
258
    Normalization.unfold_arrow_active := false;
256 259
  let prog = Normalization.normalize_prog prog in
257 260
  report ~level:2 (fun fmt -> fprintf fmt "@[<v 2>@ %a@]@," Printers.pp_prog prog);
258 261

  
......
350 353
	let fmt = formatter_of_out_channel source_out in
351 354
	Horn_backend.translate fmt basename prog machine_code
352 355
      end
353
    | "lustre" -> assert false (*
356
    | "lustre" -> 
354 357
      begin
355 358
	let source_file = destname ^ ".lustrec.lus" in (* Could be changed *)
356 359
	let source_out = open_out source_file in
357 360
	let fmt = formatter_of_out_channel source_out in
361
	Printers.pp_prog fmt prog;
358 362
(*	Lustre_backend.translate fmt basename normalized_prog machine_code *)
359 363
	()
360
      end*)
364
      end
361 365

  
362 366
    | _ -> assert false
363 367
  in

Also available in: Unified diff