Project

General

Profile

Revision 2fa10a44 src/c_backend.ml

View differences:

src/c_backend.ml
898 898
  print_version header_fmt;
899 899
  fprintf header_fmt "#ifndef _%s@.#define _%s@." baseNAME baseNAME;
900 900
  pp_print_newline header_fmt ();
901
  fprintf header_fmt "/* Types definitions */@.";
902
  (* Print the type definitions from the type table *)
903
  print_type_definitions header_fmt;
901 904
  (* Print the global constant declarations. *)
902 905
  fprintf header_fmt "/* Global constant (declarations, definitions are in C file) */@.";
903 906
  List.iter (fun c -> print_const_decl header_fmt c) (get_consts prog);
......
935 938
  fprintf source_fmt "@[<v>";
936 939
  List.iter (print_prototype source_fmt) prog;
937 940
  fprintf source_fmt "@]@.";
938
  (* Print the type definitions from the type table *)
939
  print_type_definitions source_fmt;
940 941
  (* Print consts *)
941 942
  fprintf source_fmt "/* Global constants (definitions) */@.";
942 943
  List.iter (fun c -> print_const_def source_fmt c) (get_consts prog);

Also available in: Unified diff