Project

General

Profile

Revision 89137ae1 src/printers.ml

View differences:

src/printers.ml
332 332
  fprintf fmt "(* by Lustre-C compiler version %s, %a *)@." Version.number pp_date (Unix.gmtime (Unix.time ()));
333 333
  fprintf fmt "(* Feel free to mask some of the definitions by removing them from this file. *)@.@.";
334 334
  List.iter (fprintf fmt "%a@." pp_lusi) prog    
335
  
335

  
336
let pp_offset fmt offset =
337
  match offset with
338
  | Index i -> fprintf fmt "[%a]" Dimension.pp_dimension i
339
  | Field f -> fprintf fmt ".%s" f
340

  
336 341
(* Local Variables: *)
337 342
(* compile-command:"make -C .." *)
338 343
(* End: *)

Also available in: Unified diff