Project

General

Profile

Revision 3d85297f src/backends/Ada/ada_backend_ads.ml

View differences:

src/backends/Ada/ada_backend_ads.ml
22 22
module Main =
23 23
struct
24 24

  
25
(** Print the package declaration(ads) of a lustre node.
25
(** Print the package declaration(ads) of a machine.
26 26
   @param fmt the formater to print on
27 27
   @param machine the machine
28 28
*)
29 29
let print fmt machine =
30 30
  let pp_record fmt = pp_record_definition fmt machine.mmemory in
31
  fprintf fmt "@[<v 2>%a;@,@,%a;@,@,%a;@,@,%a;@,@,%a;@,@,%a;@,@,private@,@,%a;@,@]@,%a@."
31
  fprintf fmt "%a@,  @[<v>@,%a;@,@,%a;@,@,%a;@,@,%a;@,@,%a;@,@,private@,@,%a;@,@]@,%a;@."
32 32
    (pp_begin_package false) machine (*Begin the package*)
33 33
    pp_private_type_decl pp_state_type (*Declare the state type*)
34 34
    pp_init_prototype machine (*Declare the init procedure*)
......
37 37
    pp_clear_prototype machine (*Declare the clear procedure*)
38 38
    pp_type_decl (pp_state_type, pp_record) (*Define the state type*)
39 39
    pp_end_package machine  (*End the package*)
40
    (*(Utils.fprintf_list ~sep:"@," pp_var_decl) machine.mmemory*)
41 40

  
42 41
end

Also available in: Unified diff