Project

General

Profile

Revision 2fa10a44

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);
test/src/clocks/clocks2.lus
4 4

  
5 5
const PI = 3;
6 6

  
7
const choix = one;
8

  
7 9
node toto (x:int) returns (a:int;y:int)
8 10
var c : choice;b1, b2:entier;
9 11
let

Also available in: Unified diff